1
Published Tools
1
Total Stars
0
Weekly Downloads
0
GitHub Followers
28
Public Repos
Published Tools
1 MCP Serveracross 1 categorydududuguo
MCP server for fast local Lean and Mathlib theorem search with tree-sitter indexing and proof probes
MCP Serversearch
11 dir