Composable mathematics tools for agents
Latest release jacobian-v0.23.0 — jacobian: v0.23.0 · 3 Oct 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,518 tokens loaded in every session.
AGENTS.md A 1,518 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 26 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.