Related Servers

No user-submitted related servers found.

Related Servers

• certified-mcp

  nickharris808

  A

  license

  A

  quality

  A

  maintenance

  An MCP server that provides tools for certificate verification, equivalence proving, and pre-registration sealing, enabling AI agents to re-derive verdicts from artifacts rather than trust assertions.

  Updated 22 days ago (2026-07-29 03:43 UTC)

  9

  Apache 2.0

• agent-gate

  Jott2121

  A

  license

  B

  quality

  A

  maintenance

  An MCP server that enforces fail-closed deterministic checks, independent refute-first review, and tamper-evident hash-chained receipts for AI agent outputs before claiming completion.

  Updated 7 days ago (2026-08-12 12:07 UTC)

  4

  3

  MIT

• prova-mcp

  insinuateai

  A

  license

  A

  quality

  D

  maintenance

  An MCP server that exposes the Prova reasoning verifier, enabling AI agents to verify their own reasoning and kernel-check Lean 4 proofs before outputting answers.

  Updated 4 months ago (2026-04-19 16:30 UTC)

  5

  MIT

• truth-anchor-agent

  cristiano-c1

  A

  license

  -

  quality

  C

  maintenance

  An MCP server that provides fact-checking capabilities and truth anchoring for AI agents using verified data sources.

  Updated 5 months ago (2026-04-02 20:46 UTC)

  MIT

• RIGForge

  mrodgersjs-web

  A

  license

  -

  quality

  B

  maintenance

  MCP server enabling AI coding agents to seal work into cryptographically signed ProofPackets and verify them, catching forged completion claims and enforcing spec-bound acceptance criteria.

  Updated 9 days ago (2026-08-11 00:14 UTC)

  MIT
• 

  Agent-Townofficial

  agenttown

  A

  license

  -

  quality

  C

  maintenance

  A neutral verification court for AI tools that ranks MCP servers by executing them against ground truth and recording results. Enables agents to consult execution records, contribute verdicts, and challenge claims.

  Updated a month ago (2026-07-07 11:18 UTC)

  Apache 2.0