> ## Documentation Index
> Fetch the complete documentation index at: https://docs.proofable.me/llms.txt
> Use this file to discover all available pages before exploring further.

# Setup

> Add the Proofable MCP endpoint to any MCP client, then connect and reuse the same proofs in each one.

Give your AI the existing [Proofable setup skill](https://raw.githubusercontent.com/proofable/mcp/main/skills/proofable-setup/SKILL.md), or choose your client below.

<Prompt description="Set up Proofable" actions={["copy", "cursor"]}>
  [https://raw.githubusercontent.com/proofable/mcp/main/skills/proofable-setup/SKILL.md](https://raw.githubusercontent.com/proofable/mcp/main/skills/proofable-setup/SKILL.md)
</Prompt>

## Connect your client

<Tabs>
  <Tab title="Cursor">
    [Add Proofable to Cursor](cursor://anysphere.cursor-deeplink/mcp/install?name=proofable\&config=eyJ1cmwiOiJodHRwczovL21jcC5wcm9vZmFibGUubWUvbWNwIn0%3D)

    Enable Proofable in Customize and complete the sign-in Cursor opens.
  </Tab>

  <Tab title="Claude Code">
    Run these in Claude Code to install the server and workflow skills:

    ```text theme={"system"}
    /plugin marketplace add proofable/mcp
    /plugin install proofable-mcp@proofable
    ```

    Run `/mcp`, select Proofable, and complete sign-in.
  </Tab>

  <Tab title="Claude">
    [Open Claude](https://claude.ai/)

    In Customize, open Connectors and add a custom connector with this URL:

    ```text theme={"system"}
    https://mcp.proofable.me/mcp
    ```

    Choose Connect and complete sign-in. On Team and Enterprise, an owner adds the connector first.
  </Tab>

  <Tab title="Codex">
    Run in your terminal:

    ```bash theme={"system"}
    npx -y @proofable/sdk setup --client codex
    codex mcp login proofable
    ```

    Codex opens browser sign-in.
  </Tab>

  <Tab title="ChatGPT">
    [Open ChatGPT](https://chatgpt.com/)

    Enable developer mode in Settings, add a custom MCP connection with the URL below, and complete the sign-in ChatGPT opens. Your plan or workspace policy must allow custom connections.

    ```text theme={"system"}
    https://mcp.proofable.me/mcp
    ```
  </Tab>

  <Tab title="VS Code">
    [Add Proofable to VS Code](vscode:mcp/install?%7B%22name%22%3A%22proofable%22%2C%22type%22%3A%22http%22%2C%22url%22%3A%22https%3A%2F%2Fmcp.proofable.me%2Fmcp%22%7D)

    Start Proofable from MCP: List Servers and complete the sign-in VS Code opens.
  </Tab>

  <Tab title="Other clients">
    Add this URL in your client's MCP settings, then complete its sign-in:

    ```text theme={"system"}
    https://mcp.proofable.me/mcp
    ```

    For terminal clients, use the setup skill above. [Authentication](/mcp/auth) covers clients that require a server key.
  </Tab>
</Tabs>

To bring an agent you already use, follow [Import an agent](/agents/import).

## From a terminal

```bash theme={"system"}
npx -y @proofable/sdk setup
```

The CLI registers the hosted server and installs the workflow skill for supported clients. It reuses existing plugin entries. [CLI reference](/sdks/cli)

## Building an app

<Prompt description="Integrate Proofable" actions={["copy", "cursor"]}>
  [https://raw.githubusercontent.com/proofable/mcp/main/skills/proofable-integrate/SKILL.md](https://raw.githubusercontent.com/proofable/mcp/main/skills/proofable-integrate/SKILL.md)
</Prompt>

Use the [JavaScript SDK](/sdks/javascript), [HTTP API](/api/overview), or [hosted verification](/verification/hosted) for your product. Servers and CI use [access keys](/deployment/access-keys).

## Troubleshooting

* No tools appear. Restart your client after adding Proofable.
* Session expired. Run `npx -y @proofable/sdk refresh` before signing in again.
* Confirm the connection. Run `npx -y @proofable/sdk doctor --live`.
* Two Proofable entries. Keep one plugin or manual server entry. Running setup again removes a leftover entry when the plugin already supplies it.
* Need agent context in a project. Run `npx -y @proofable/sdk mount <agentId> --apply <host>`. See [Load agent context](/agents/runtime-mount).
* Search-only endpoint. Use `https://mcp.proofable.me/mcp`. The docs MCP endpoint only searches documentation.

To disconnect, run `npx -y @proofable/sdk disconnect`. [MCP tools](/mcp/tools) and [authentication](/mcp/auth) cover the full reference.


This documentation is built and hosted on [Mintlify](https://mintlify.com), a developer documentation platform.