Executable mathematics and independent verification for AI agents.
Jacobian MCP server exists for a simple reason — assistants are far more useful when they can act on Jacobian directly instead of describing what you should do. Executable mathematics and independent verification for AI agents.
Executable mathematics for agents. Evidence an independent checker can replay.
Once Jacobian is connected, these are the calls the assistant has available:
Stage — OutputClaim — F is injectiveSearch — A candidate witness (F, p, q)Record — Bind the checked collision to the original claim and checker identityDomain — Agent-visible outcomesGraphs — Construct and inspect graphs, enumerate paths, realize degree sequences, test isomorphism, search coloringsPolytopes — Compute convex combinations and linear separationsLean — Discover declarations, retrieve premises, inspect proof states, and check proofs in pinned environmentsBeing a remote server, there is no local install. You register the endpoint with your client, authorise it once, and the tools appear.
Plenty of planning and project tracking servers cover similar ground. The differences that matter in practice are scope of access and how much setup stands between you and a working tool call. Jacobian's toolset — Stage, Claim, Search and 5 more — is a fair guide to whether it matches your workflow. It is maintained by morluto; worth a glance at recent repository activity before you build anything load-bearing on it.
We check each listing at SyncDev against the project's documentation before it goes live — if something here drifts out of date, it is a bug worth reporting.
| Tool | What it does |
|---|---|
| Stage | Output |
| Claim | F is injective |
| Search | A candidate witness (F, p, q) |
| Record | Bind the checked collision to the original claim and checker identity |
| Domain | Agent-visible outcomes |
| Graphs | Construct and inspect graphs, enumerate paths, realize degree sequences, test isomorphism, search colorings |
| Polytopes | Compute convex combinations and linear separations |
| Lean | Discover declarations, retrieve premises, inspect proof states, and check proofs in pinned environments |
{
"mcpServers": {
"jacobian": {
"command": "npx",
"args": ["-y", "jacobian"]
}
}
}Add to claude_desktop_config.json, then restart Claude Desktop.
Your workspace, on speaking terms with AI — search, read and write Notion pages and databases.
Issue tracking at the speed of conversation — Linear's official hosted server with OAuth and zero install.
Search and read your Drive — Docs, Sheets and files become context your assistant can actually use.
Your assistant inside the workspace — read channels, search history, post messages and tame the noise.
Metabase ships its own MCP endpoint — search your BI content, build and run queries, and save questions and dashboards without leaving the chat.
Stop letting your assistant hallucinate n8n node parameters — this server hands it the real schemas, templates and validation.