Search for a command to run...
1 MCPs · 0 installs total
MCP server hosting Lean 4 via a supervised lean-rs-worker child
Unyly