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 24 days ago (2026-08-18 14:52 UTC)

  9

  Apache 2.0

• agent-gate

  Jott2121

  A

  license

  B

  quality

  B

  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 23 days ago (2026-08-19 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 5 months ago (2026-04-19 16:30 UTC)

  5

  MIT

• truth-anchor-agent

  cristiano-c1

  A

  license

  -Not graded

  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

  -Not graded

  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 16 days ago (2026-08-26 13:41 UTC)

  MIT

• rei-verify

  fc0web

  A

  license

  -Not graded

  quality

  B

  maintenance

  A verification infrastructure and MCP server that specializes in refutation (negation) rather than generation, providing tools for counterexample search, Lean verification, and audit chains with a 4-value verdict system.

  Updated 24 days ago (2026-08-19 01:33 UTC)

  MIT