A
licenseNot graded
qualityB
maintenanceEnables agents to verify claims with evidence-based truth scores and confidence levels by running a deterministic pipeline of evidence lanes and adversarial checks.
26
MIT
Proofworks
by 0x06cf
Related Servers
Alternatives to Proofworks
No user-submitted related servers found.
Related Servers
- AlicenseNot gradedqualityBmaintenanceEnables AI agents to perform precise arithmetic—including fractions, decimals, irrationals, and large integers—by cross-checking every result against two independently written engines and returning only agreed-upon answers.1MIT
- AlicenseBqualityCmaintenanceEnables AI agents to verify technical claims against supplied evidence, identify unsupported assumptions and contradictions, and recommend the smallest next check before acting.5MIT
- AlicenseNot gradedqualityBmaintenanceEnables agents to verify their own output mid-task by checking every claim against provided sources, returning supported, partial, unsupported, or contradicted verdicts with exact citations.MIT
- FlicenseNot gradedqualityBmaintenanceEnables autonomous agents and MCP clients to decompose text into atomic claims and verify them against reference knowledge, detecting ungrounded claims, numerical contradictions, and hallucinated entities.7-
- FlicenseNot gradedqualityBmaintenanceEnables AI agents and MCP clients to decompose text into atomic claims and cross-verify them against reference knowledge to flag ungrounded claims, numerical contradictions, and hallucinated entities. Runs deterministically with zero dependencies over JSON-RPC stdio, avoiding LLM round-trips for routine verification tasks.7-
This server cannot be deployed
Maintenance
ActivitySlowing
ResponsivenessNo issues