crs-mcp

nickharris808/crs-mcp

★ 0 stars Python AI/LLM Updated today

The agent that wrote your patch cannot mark its own homework. An MCP server giving AI coding agents a proof-backed verdict surface.

View on GitHub → 🔍 Audit Wallet Slippage →

Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "crs-mcp": {
      "command": "uvx",
      "args": [
        "crs-mcp"
      ]
    }
  }
}

Or install with pip: pip install crs-mcp

README Excerpt

**The agent that wrote your patch cannot mark its own homework.** > **Try it now, no install:** [open the browser demo](https://huggingface.co/spaces/nickh007/certkit-demo) and press **Load a forgery** — the checker refuses it, client-side. An MCP server that gives AI coding agents a verdict surface they cannot talk their way past. The

Tools (8)

CERTIFIEDOUT_OF_SCOPEPROVEN_UNSOUNDcertify_guardcount_exploitabilitydecide_guardexplain_refusalverify_certificate

Topics

ai-agentsclaudecode-reviewformal-verificationmcpmodel-context-protocol

crs-mcp

Quick Install

README Excerpt

Tools (8)

Topics

Related AI/LLM Servers