1
Published Tools
0
Total Stars
0
Weekly Downloads
7
GitHub Followers
15
Public Repos
Published Tools
1 MCP Serveracross 1 categoryKrystian Silva
MCP server and client for Lean 4 + Mathlib formal verification
MCP Serveruncategorised
1 dir
1
Published Tools
0
Total Stars
0
Weekly Downloads
7
GitHub Followers
15
Public Repos
Krystian Silva
MCP server and client for Lean 4 + Mathlib formal verification