jacobian-math

Use Jacobian's MCP operations for nontrivial mathematical computation, finite search, structural analysis, formal checking, probability, or optimization.

Jump to install

Repository: morluto/jacobian
Last source activity: August 24, 2026 at 14:31
Detected SKILL.md language: English
Stars: 60
Forks: 9

Install options

The review-first prompt is selected by default. You can switch to a direct command or download a local copy.

Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.

A direct command skips the review prompt. Inspect the source before running it.

npx skills add https://github.com/morluto/jacobian --skill jacobian-math

The command stays on one line. Scroll horizontally to inspect it before copying.

Prefer a local copy? Download the files currently available to SkillsMP.

Review the source files

Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.

SKILL.md

Source instructions · Read-only preview

Back to search Back to installation

decompose-mathematical-solution-corpora

Decompose a bounded corpus of mathematical proofs, formalizations, scripts, and certificates into recurring solution techniques and the smallest reusable Jacobian postconditions. Use for repository- or corpus-level “what can Jacobian learn?” audits; do not use for one operation contract or one agent trajectory.

2026-08-23

learn-from-math-agent-trajectories

Review completed or paused mathematical agent transcripts, visible reasoning, code, searches, tool calls, corrections, and final claims to extract evidence-backed lessons for Jacobian operations, discovery, contracts, skills, evaluations, and documentation. Use for mathematical workflow retrospectives and "what should we learn from this trajectory?" requests. Do not use to continue solving the problem or infer hidden chain-of-thought.

2026-08-23

audit-mathematical-vocabulary

Audit one bounded Jacobian mathematical slice for missing or unusable executable vocabulary using source demand, catalog composition, contract evidence, and maintained-backend feasibility. Use for proactive gap audits that are broader than one operation but narrower than a repository-wide inventory; do not use for reviewing one changed operation or running a full conjecture evaluation.

2026-08-23

View all from this repository

name	jacobian-math
description	Use Jacobian's MCP operations for nontrivial mathematical computation, finite search, structural analysis, formal checking, probability, or optimization.

Jacobian mathematics

Use Jacobian when a mathematical task benefits from exact computation or a bounded check. Search with math.find, then execute a selected operation with math.run.

Keep the mathematical reasoning in the agent. Treat operations as atomic instruments: compose their typed results yourself rather than asking discovery to prescribe a proof strategy or workflow.

Before running an operation:

Inspect its exact request schema and mathematical scope with math.find.
Supply canonical mathematical values without backend-specific expressions or ambient contexts.
Respect the operation's declared bounds and distinguish exact results from incomplete, unknown, unavailable, or transport outcomes.

Use returned values and certificates only for the conclusion they establish. Absence of a witness, a timeout, or an incomplete search is not a proof of a global mathematical claim.

jacobian-math

Source facts

Install options

Review the source files

More from this repository

More from this repository

Jacobian mathematics

Jacobian mathematics