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.

    How to connect

    How to connect proof to Claude

    1. Open Claude (claude.ai or the desktop app).
    2. Go to Settings → Connectors.
    3. Click Add custom connector.
    4. Paste the server address copied below into Remote MCP server URL and click Add.
    5. In a chat, click + → Connectors and switch the new connector on.

    Custom connectors are available on Free, Pro, Max, Team and Enterprise plans (Free is limited to one). On Team and Enterprise an organization Owner adds the connector first under Organization settings → Connectors.

    Authorization

    After you click Add, a sign-in window for the service opens. Sign in with your own account and approve access. Claude never sees your password.

    This server runs locally: it is wired up through the client config, and the project documentation carries the steps.

    How to connect proof to ChatGPT

    1. Open ChatGPT in a browser (chatgpt.com). A Plus, Pro, Business, Enterprise or Edu plan is required.
    2. Turn on developer mode once: Settings → Apps → Advanced settings → Developer mode.
    3. Open Settings → Connectors and click Create.
    4. Fill in the form: Name (anything), Description (one line about what the service does), MCP server URL (copy it below).
    5. Under Authentication choose OAuth if the service requires sign-in, otherwise None. Click Create.
    6. In a new chat open + → Apps/Connectors and enable the connector.

    OpenAI has renamed this section before (Connectors → Apps/Plugins). If the label differs, search settings for "developer mode". On Business/Enterprise workspaces an admin must allow custom connectors first.

    Authorization

    On first use ChatGPT opens the service's sign-in window. Sign in and approve access.

    This server runs locally: it is wired up through the client config, and the project documentation carries the steps.

    How to connect proof to Cursor

    Fastest: click Open in Cursor below and confirm the prompt.

    Manually:

    1. In Cursor open Settings → Cursor Settings → MCP and click Add new global MCP server.
    2. Paste the JSON copied below into ~/.cursor/mcp.json (per project: .cursor/mcp.json in the repo root).
    3. Save the file. The server appears in the MCP list; authorize it there if asked.

    Authorization

    If the service needs sign-in, an authorize button appears next to the server in the MCP list.

    This server runs locally: it is wired up through the client config, and the project documentation carries the steps.

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