Jacobian: an MCP server, CLI, and Python library that gives AI agents a composable toolbox of mathematical capabilities with inspectable artifacts and independent verification.
Executable mathematics for agents. Evidence an independent checker can replay.
An MCP server, CLI, and Python library for conjectures, counterexamples, exact computation, and formal proof.
Quickstart · Verification · Capabilities · Documentation · Contributing
Jacobian gives AI agents small, composable mathematical operations rather than one opaque solver. An agent can construct an object, compute an invariant, search for a witness, and submit exact evidence to a separate checker. Every step remains visible as a typed result or artifact.
The trust boundary is deliberate: a search result, solver status, model answer, timeout, or score is never promoted directly to VERIFIED. Only an operator-authorized checker may emit a verified record, bound to the exact claim, candidate, scope, semantics, certificate format, and checker identity.
The npm launcher installs Jacobian and configures supported MCP clients:
The launcher supports Claude, Codex, Cursor, Gemini, and OpenCode. It requires Node.js 18 or newer, Python 3.12, and uv. Run jacobian mcp to start the server directly.
Use uv run jacobian --help to inspect the CLI or uv run jacobian-mcp to start the MCP adapter.
Jacobian separates finding evidence from deciding what that evidence proves. Suppose an agent is testing the claim “F is injective.”
Claim → candidate witness → independent check → verification record
Stage Output What it establishes --- --- --- Claim F is injective The statement to investigate; not yet trusted Search A candidate witness (F, p, q) Inspectable evidence, not a conclusion Independent check Conf
From the project README.
Add the radar badge to your README — it shows your project was picked up by MCP Radar and links to this page:
[](https://mcp.liqiwa.com/s/morluto--jacobian.html)
MCP server serving Apple Human Interface Guidelines as structured design tokens for AI coding agents — post-WWDC25 system colors, Liquid Glass constraints, SwiftUI mappings.
taurus42119-stack/godkiller-mcpYour coding agent gaslights you. GODKILLER doesn't. Disk gates > vibes. claim_done only after verify.
korovin-aa97/talkthrough-mcpMCP server: turn narrated screen recordings into agent-ready data — local Whisper transcript, scene keyframes, OCR, wall-clock anchoring. Record your screen, talk — your AI agent files the bugs.
chris-asmussen/wardenOne MCP server that fronts many MCP servers + Skills behind a small tool set and routes to the best one, keeping an agent's context tiny. Migrate your Claude Code MCPs/skills behind it.
tygryso/hypotreeMemory that forgets: a persistent, self-revising belief-state MCP server for agentic R&D. Uses a hypothesis DAG to auto-prune dead ends and deduce truth without extra probes.
KernelLord/pickysteveSkill router and context picker for Claude Code, Cursor, and Aider. Auto-picks the right skill for every prompt, with prompt-injection filtering for MCP.
The top new MCP servers of the week, every Monday. No spam, unsubscribe anytime.