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 2 days ago (2026-09-27 20:00 UTC)

  11

  8,716 npm

  415

  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 10 days 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 a month 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 23 days 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 2 days ago (2026-09-27 20:00 UTC)

  481 npm

  1

  Apache 2.0

• Ackrite

  mshanghai570

  A

  license

  B

  quality

  C

  maintenance

  Enables AI agents to verify technical claims against supplied evidence, identify unsupported assumptions and contradictions, and recommend the smallest next check before acting.

  Updated a month ago (2026-08-27 20:59 UTC)

  5

  MIT