1
Published Tools
1
Total Stars
0
Weekly Downloads
2
GitHub Followers
13
Public Repos
Published Tools
1 MCP Serveracross 1 categoryr-irbe
Standalone Lean 4 + C FFI Model Context Protocol (MCP) server
MCP Serveruncategorised
11 dir
1
Published Tools
1
Total Stars
0
Weekly Downloads
2
GitHub Followers
13
Public Repos
r-irbe
Standalone Lean 4 + C FFI Model Context Protocol (MCP) server