io.github.Isagoge-Labs/leanwarp
LeanWarp
Is the LeanWarp MCP server down? No. It is up and needs args, probed 2026-11-06.
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
needs args probed 2026-11-14 · unchanged since 2026-11-06
requires --project
- Run it
- uvx leanwarp@0.2.5 (stdio, probed in a container with the network off)
- Host
- pypi.org
- Repository
- https://github.com/Isagoge-Labs/LeanWarp-SDK
- Website
- https://isagoge.in/leanwarp
- Registry
- active, updated 2026-11-06 · registry entry
Compare this server with others.
More servers
Other registry entries on pypi.org, the ones next to this name; all of them.
- io.github.Indhar01/memograph · needs args
- io.github.Inflectra/mcp-server-spira · install failed
- Two-Key io.github.Insomniac-VibeLabs/two-key · needs args
- Persome io.github.Intuition-Lab/personal-model · needs mcp<2
- io.github.Isometric-Architect/ai-objective-index · crashed on start
- SONAR: KYB due diligence io.github.Ivanolegvak/sonar-mcp · alive
- io.github.IvanRublev/keyphrases-mcp · needs args
- io.github.IvanSFlowGit/paypilot-ach-returns-mcp · alive
Servers that mention mathlib or workers.
- Business Contact Finder agency.ottobot/business-contact-finder · alive
- Contractor Licence Changes agency.ottobot/contractor-license-changes · alive
- Auxen ai.auxen/auxen · needs auth
- ai.gigaverse/gigaverse · alive
- SOAR Record Gateway ai.lateos/soar-record-gateway · needs auth
- Tanjiren MCP Server app.tanjiren/tanjiren-mcp · no DNS
- app.tinkrr/intelligence · not found
- STILL art.thisisstill/still-mcp · alive
Badge for the README
The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.
A mail when this server changes
Stops answering, comes back, tool set or cost changes. One confirmation mail first, a stop link in every mail.
For the publisher
- The server needs command line arguments that the registry entry does not list. Add them to the package arguments in the registry entry.