Skill Claude CodeCodex
Verify and backfill cited claims in research output.
not rated 0 2mo 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.