Loading MCP servers…
Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.
This server publishes no hosted endpoint. Run one of its packages locally.
@toremlabs/proof-mcp · npm 1.0.0 · stdio
claude mcp add --transport stdio proof -- npx -y @toremlabs/proof-mcp@1.0.0