Lambdapi
Rank #135,844pulsemcp/ciaran-matthew-dunne-lambdapi
MCP server exposing Lambdapi proof-assistant capabilities including type-checking, proof state inspection, tactic experimentation, and symbol navigation.
Lambdapi is a Model Context Protocol (MCP) server published by ciaran-matthew-dunne. It ranks #135,844 of 137,492 servers tracked on MCP Toplist. Lambdapi is listed on PulseMCP, and ships as a single rolling release with no explicit version metadata. It was first listed on Jun 9, 2026.
Ranks ahead of 1,648 of 137,492 servers on MCP Toplist.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/pulsemcp%2Fciaran-matthew-dunne-lambdapi)<a href="https://mcptoplist.com/server/pulsemcp%2Fciaran-matthew-dunne-lambdapi"><img src="https://mcptoplist.com/badge/pulsemcp%2Fciaran-matthew-dunne-lambdapi.svg" alt="MCP Toplist: #135,844 of 137,492" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
ciaran-matthew-dunne
Not versioned
This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- Who maintains Lambdapi?
- Lambdapi is maintained by ciaran-matthew-dunne, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
- Is Lambdapi listed on the Official MCP Registry?
- Lambdapi is not on the Official MCP Registry. It is listed on PulseMCP.
- How many versions does Lambdapi have?
- Lambdapi ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for Lambdapi?
- The source code for Lambdapi is hosted at github.com/ciaran-matthew-dunne/lambdapi-mcp.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.