misanthropic-ai/lean-docker-mcp

MCP Lean 4 dockerised execution environment

2Stars on the repository
3Mods indexed here, across every type
1y agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

misanthropic-ai/lean-docker-mcp

Instructions file

Instructions for misanthropic-ai/lean-docker-mcp, covering claude.md, build & test commands, code style guidelines, docker & mcp guidelines and todo list.

not rated 2 1y ago A 539 tokens original MIT