1
Published Tools
4
Total Stars
0
Weekly Downloads
2
GitHub Followers
18
Public Repos
Published Tools
1 MCP Serveracross 1 categoryiiis-lean
Unified Lean tool server with MCP, HTTP API, remote CLI, local shell, and configurable backends for diagnostics, declarations, LSP, and search
...moreMCP Serveruncategorised
41 dir