1
Published Tools
8
Total Stars
0
Weekly Downloads
4
GitHub Followers
114
Public Repos
Published Tools
1 MCP Serveracross 1 categorykeithadler
A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub built in.
...moreMCP Serverdevtools
81 dir