1
Published Tools
1
Total Stars
0
Weekly Downloads
32
GitHub Followers
37
Public Repos
100/100
Avg Security
Published Tools
1 MCP Serveracross 1 categoryPraveshKoirala
A
MCP server exposing exact optimization and SMT solvers (OR-Tools, Z3) as tools for LLMs
MCP Serveruncategorised
11 dir