Serversai.specproof/specproof-mcp
M

SpecProof

ai.specproof/specproof-mcp · v1.0.0
● Remote
v1.0.0remote🌐 https://mcp.specproof.ai/↗ Website↗ Repository
</>Install in any client

One CLI for five MCP hosts. Pick your client on the right — the right config file is written for you, and we tell you how to reload.

$ indusmcp install ai.specproof/specproof-mcp --client claude-code
Managed by `claude mcp add -s user`
Picked up on next `claude` session — no restart needed.