Composable mathematics tools for agents
Latest release jacobian-v0.20.0 — jacobian: v0.20.0 · 8 Sept 2026
11 files for Claude Code, Codex and OpenCode: audit-mathematical-vocabulary, audit-mcp-tool-friction, audit-public-operation-contracts, decompose-mathematical-solution-corpora and 7 more — 1,156 tokens loaded in every session.
AGENTS.md A 1,156 tok .agents/skills/audit-mathematical-vocabulary/SKILL.md A 28 tok .agents/skills/audit-mcp-tool-friction/SKILL.md A 26 tok .agents/skills/audit-public-operation-contracts/SKILL.md A 24 tok .agents/skills/decompose-mathematical-solution-corpora/SKILL.md A 29 tok .agents/skills/evaluate-mcp-tool-adoption/SKILL.md A 23 tok .agents/skills/harbor-benchmarks/SKILL.md A 22 tok .agents/skills/jacobian-math/SKILL.md A 24 tok .agents/skills/learn-from-math-agent-trajectories/SKILL.md A 25 tok .agents/skills/recent-conjecture-evaluations/SKILL.md A 22 tok .agents/skills/verifier-evaluations/SKILL.md A 23 tok These files are morluto/jacobian's own configuration — they tell Claude Code, Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.