proof

Proof Code-validated pattern intelligence from pydantic-ai's actual source code.

CommunityRequires local installNo sign-inGlobalFreeCan modify data
This server only runs on your computer. It cannot be added to Claude or ChatGPT web. See the project docs for installation.

What it can do

    What data it sees

    Do you need an account

    No: the server works without sign-in

    Proof

     Code-validated pattern intelligence from pydantic-ai's actual source code.

 ## What It Does

 Proof extracts working patterns from real library code via analysis — not from documentation, blog posts, or human guesses. 391 patterns from pydantic-ai and pydantic, mapped to a knowledge graph of 
 1,251 nodes and 8,911 edges.

 When you ask Proof to build an agent, it assembles code from patterns the library's own code structure validates. If a pattern fails, your feedback makes the network smarter.

 ## Quick Start

 No API keys. No auth. No configuration needed.
Connect via Smithery CLI
npx -y @smithery/cli add proof --transport streamable-http https://mcp.aigentys.com


 Then in your AI assistant: *"Run catalog() to see what's available."*

 ## Tools (5)

 | Tool | Description |
 |------|-------------|
 | **catalog()** | List all libraries, pattern counts, and available data. Start here. |
 | **search(query)** | Find

    Requires a local install: run the server on your machine, then point your client at it.

    Tools not fetched yet: the server requires sign-in; the list appears after a manual check.