certified-mcp

nickharris808/certified-mcp
★ 0 stars Python AI/LLM Updated today
MCP server giving AI agents a verifier they cannot argue with
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": {
    "certified-mcp": {
      "command": "uvx",
      "args": [
        "certified-mcp"
      ]
    }
  }
}

Or install with pip: pip install certified-mcp

README Excerpt

**Give your agent something it cannot talk its way past.** An MCP server exposing certificate verification, equivalence proving, and pre-registration sealing as tools. An agent that edits a design, a proof, or a benchmark config has no way to check its own work — so it reports success. These tools return a verdict **re-derived from the artifact**, not

Tools (8)

check_dratcheck_sealexplain_defectprove_equivalencescore_verifierseal_criteriaverify_certificateverify_receipt

Topics

agentsllm-toolsmcpmodel-context-protocolverification