Related Servers

No user-submitted related servers found.

Related Servers

• jev-mcp

  jkudish

  A

  license

  A

  quality

  A

  maintenance

  Enables agents to verify claims against cited evidence, screen content for prompt injection and relevance before reading it, and rank candidates by meaning, all with calibrated probability verdicts.

  Updated 4 days ago (2026-10-26 03:22 UTC)

  12

  4,226 npm

  549

  MIT
• 

  jevbook MCPofficial

  jevbook

  A

  license

  -Not graded

  quality

  C

  maintenance

  Enables agents to fact-check claims, conduct verified research, make typed decisions with calibrated probabilities, and scan token risks through a hosted server with no API key required.

  Updated a month ago (2026-09-19 21:43 UTC)

  MIT

• Proofworks

  0x06cf

  A

  license

  -Not graded

  quality

  B

  maintenance

  Enables AI agents to verify claims deterministically by computing arithmetic, ratios, and dates and matching statements against provided sources, returning a confidence ladder of certain, source-backed, or unverifiable.

  Updated 2 months ago (2026-08-26 17:09 UTC)

  MIT

• double-check-mcp

  jonathanxuu

  A

  license

  A

  quality

  B

  maintenance

  Enables production-grade answer verification for LLM agents by independently re-checking answers with a configurable verifier model, enforcing confidence policies, and producing Ed25519-signed, auditable verification results with optional web search and knowledge-base evidence.

  Updated 2 months ago (2026-09-06 15:15 UTC)

  3

  MIT
• 

  Lemma Oracle MCP Serverofficial

  lemmaoracle

  A

  license

  -Not graded

  quality

  A

  maintenance

  Enables AI agents to query cryptographically verified facts with zero-knowledge proofs, selective disclosure, and tamper-evident provenance.

  Updated 8 hours ago (2026-10-29 17:12 UTC)

  117 npm

  1

  Apache 2.0

• zeroH MCP

  khurramcr7

  A

  license

  B

  quality

  C

  maintenance

  Enables AI assistants and autonomous agents to intercept arithmetic and algebraic hallucinations via exact rational verification, seal multi-step reasoning chains with SHA-256 Merkle commitments, and optionally bridge deep verification to a remote sovereign enclave. It also supports BFT epistemic consensus across multi-agent proposals and tamper-evident session sealing.

  Updated 14 days ago (2026-10-15 21:40 UTC)

  9

  MIT