Lambdapi vs Filesystem
Side-by-side comparison of two Model Context Protocol servers. Pick the right one for Claude Desktop, Claude Code, or Cursor.
MCP server exposing Lambdapi proof-assistant capabilities including type-checking, proof state inspection, tactic experimentation, and symbol navigation.
Secure file operations with configurable access controls.
Comparison
| Feature | Lambdapi | Filesystem |
|---|---|---|
| Pricing | Free | Free |
| Installs | — | 1 |
| Rating | — | — |
| Verified | — | |
| Hosted | — | — |
| Tools | — | — |
| Category | development | development |
| Author | ciaran-matthew-dunne | Community |
| Repo | ciaran-matthew-dunne/lambdapi-mcp | modelcontextprotocol/servers |
When to pick Lambdapi
MCP server exposing Lambdapi proof-assistant capabilities including type-checking, proof state inspection, tactic experimentation, and symbol navigation.
When to pick Filesystem
Secure file operations with configurable access controls.
Looking for something else? Browse all MCPs or check trending this week.