AgentUni
Developer ToolsAI Models & Agents

proof

by @ToremLabs / v1.0.0

Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.

Install

npm / stdio

npx -y @toremlabs/proof-mcp

Client config (Claude Desktop, Cursor, Windsurf and most MCP clients)

{
  "mcpServers": {
    "io-github-toremlabs-proof": {
      "command": "npx",
      "args": [
        "-y",
        "@toremlabs/proof-mcp"
      ]
    }
  }
}

Source: official MCP Registry record · registry name io.github.ToremLabs/proof · published 2026-07-28 · updated 2026-07-28. Not an endorsement; review the code before connecting it to anything sensitive.

Similar

More Developer Tools servers

Browse category

BuildPulse

Remote

@BuildPulseLLC / Developer Tools

BuildPulse CI test analytics for AI agents — flaky tests, CI failures, flakiness, and code coverage.

npm

LiveVariant

Remote

@livevariant / Developer Tools

Build, inspect and read adaptive A/B tests. Config travels in the URL; no account or API key needed.

npm

authshore

Remote

@jyswee / Developer Tools

Auth infrastructure for coding agents. User pools, secrets vault, token management. As easy as git.

npm

GitHits

Remote

com.githits / Developer Tools

Search public open-source code, documentation, metadata, vulnerabilities, changelogs, and examples.

npm

Marigold

Remote

@immuneeb / Developer Tools

Comment on AI-generated webpages; feedback flows back to your coding agent. Free, MIT, local-first.

npm

MockHero

Remote

@dinosaur24 / Developer Tools

Generate realistic relational test data — 156 field types, 22 locales, JSON/CSV/SQL, free previews.

npm