MCP server · #335 @leanspec/mcp
1rigs use it
0%of all rigs
~2.5kest. schema tokens
Install
$ claude mcp add leanspec -- npx -y @leanspec/mcp@latest
Most common configuration seen across rigs · project home ↗.
Often used together with
Rigs using @leanspec/mcp (1)
