falsify-mcp
MITFALSIFY MCP server — deterministic auditing of mathematical assertions with replayable evidence (the verifier's verifier). Path-allowlisted, zero-dependency, bundled offline demo core. Windows & macOS/Linux.
100
Security score
0 known advisories in v0.2.3
Weekly downloads
19
Unpacked size
51.4 kB
Dependencies
0
Last publish
14 days ago
Security advisories
No known vulnerabilities affect v0.2.3.
Downloads — last 30 days
335 total▼ 90.1% vs prior week
Jul 20Aug 18