Explore
MCP servers and skills: search, filter by where they run, and compare.
MCP servers and skills: search, filter by where they run, and compare.
Retirement planner with great wisdom
in the readmefrom first, and how to minimize lifetime taxes. It uses mixed-integer linear programming to *optimize* withdrawal strategies rather than merely simulate them, finding the mathematically
PythonGPL-3.0★ 86No key
MCP server for Universal Robots control
in the readmeand robot health - **Joint Motion Control** - Precise angular movement with safety limits - **Linear Motion Control** - Cartesian path planning and execution - **Simulation Mode** - Test and develop without
PythonGPL-3.0★ 6No key
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas. MCP server + CLI.
in the readmeCalculus | `diff`, `int`, `limit`, `taylor`, `desolve` (ODEs of any order, and linear constant-coefficient systems) | | Multivariable calculus | `gradient`, `hessian`, `jacobian`, `divergence`, `curl`, `partial`, `iint`/`iiint` (multiple
Node.jsGPL-3.0★ 3Few starsNo key
Who stands behind it
Who stands behind it