Search for a command to run...
1 MCPs · 0 installs total
MCP server exposing Lambdapi proof-assistant capabilities including type-checking, proof state inspection, tactic experimentation, and symbol navigation.
Unyly