Skill Claude CodeCodex
Verify and backfill cited claims in research output.
0 6d ago A 15 tokens
original MIT
Proofworks — deterministic verification oracle for AI agents. An MCP server that computes arithmetic/ratios/dates and matches claims against sources, returning a confidence ladder (certain/source-backed/unverifiable).
Skill Claude CodeCodex
Verify and backfill cited claims in research output.