leanstudio
Level FSourceThe Lean 4 IDE that checks the checker. A native desktop IDE for macOS, Windows, and Linux with an independent kernel re-verifying all proofs.
Installation
View source repo →Related servers
n8nFair-code workflow automation platform with native AI capabilities. Combine visumarkitdown-mcpPython tool for converting files and office documents to Markdown.@oh-my-opencode/ast-grep-mcpOmO: Just type "mass ulw" keyword with your prompt. Now you are the master of groh-my-openagentOmO: Just type "mass ulw" keyword with your prompt. Now you are the master of gr@oh-my-opencode/git-bash-mcpOmO: Just type "mass ulw" keyword with your prompt. Now you are the master of grnanobotUltra-lightweight, open-source, self-hosted personal AI agent framework in Pytho