MCPs › formal-proof-mcp
MCP server that provides six verification tools (Lean proof checking, axiom audit, bound, gridlock check, certificate verification, residency check) with honest status reporting (ok/failed/unavailable) to prevent agents from claiming unchecked proofs passed.
Not monetized yet
Turn formal-proof-mcp’s tool calls into revenue: one disclosed sponsored slot, 70% revenue share, fail-open by design.
Install formal-proof-mcp
For anyone using formal-proof-mcp — no Lulu account needed# stdio server — install per the repository README: https://github.com/nickharris808/formal-proof-mcp
Real-time weather for any city, built on the lulu-ads widget gallery. First-party, free forever.
View server →FAQ
formal-proof-mcp installs from source — follow the repository README.
Unrated out of 100, computed from cross-registry traction signals (installs, stars, registry presence) — never influenced by sponsorship.
Similar servers
Your server?
This is for the person who owns formal-proof-mcp — adds Lulu Ads to your own code. Not the install steps above, those are for your users.
Copies a ready prompt: your coding agent installs the lulu-ads SDK, wires the slot, and applies the widget design guide.
or set up manually at getlulu.dev/publishers
Get verified so you can edit the page. Your badge is already live below — no claim needed for that.
Managed hosting with monetization built in — waitlist.
[](https://getlulu.dev/mcps/formal-proof-mcp)