STILLWORKS

jacobian

Jacobian: an MCP server, CLI, and Python library that gives AI agents a composable toolbox of mathematical capabilities with inspectable…

Visit product ↗
Developer tools GitHub Launched Jul 23, 2026 by morluto View original post ↗
ai-agentsautomated-theorem-provingcombinatoricscomputer-algebraconjectureconstraint-solving
More Developer tools
Open Weights Breakoutqsa.shCuts Long Horizon Inference Costs by 50% via external KV Cache OffloadCrossle – A daily puzzle game where you find 3 intersecting wordsTermic – desktop app for running CLI coding agents (Claude Code, Codex)