1
Published Tools
0
Total Stars
0
Weekly Downloads
0
GitHub Followers
0
Public Repos
100/100
Avg Security
Published Tools
1 MCP Serveracross 1 categorybodohonggo
A
FALSIFY 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.
...moreMCP Servermcp
1 dir