prooftrail

ProofTrail MCP Install For Agent Shells

This file is the shortest honest install path for agent shells that want the repo-native ProofTrail MCP surface.

What This Installs

• a governed stdio MCP surface
• backed by the local ProofTrail checkout
• optional live backend token forwarding
• not a hosted HTTP endpoint
• not a published npm install today

Current Working Path

1. Clone the repository.
2. Install dependencies from the repo root:

pnpm install

1. Start the MCP surface from the repo root:

pnpm mcp:start

MCP Client Snippet

{
  "mcpServers": {
    "prooftrail": {
      "command": "pnpm",
      "args": ["mcp:start"],
      "cwd": "/absolute/path/to/prooftrail"
    }
  }
}

Optional live-backend forwarding:

{
  "mcpServers": {
    "prooftrail": {
      "command": "pnpm",
      "args": ["mcp:start"],
      "cwd": "/absolute/path/to/prooftrail",
      "env": {
        "UIQ_MCP_API_BASE_URL": "http://127.0.0.1:18080",
        "UIQ_MCP_AUTOMATION_TOKEN": "optional-backend-token"
      }
    }
  }
}

Verification

The repo-owned smoke path that works today is:

pnpm mcp:check
pnpm mcp:smoke

Truth Boundary

• usable today: local checkout + stdio
• publish-ready but blocked upstream today:
  • @prooftrail/mcp-server
  • Official MCP Registry listing
• not evidenced today:
  • public GHCR listing
  • hosted HTTP MCP runtime
  • Smithery listing

This site is open source. Improve this page.