[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_129":130},"routes/modules.$creator.$moduleId",{"_14":15,"_16":17,"_18":19,"_20":21},"routes/modules.$creator.$moduleId.endpoints",{"_11":12,"_13":-5},"error","Module not found","tools","module",{"_20":22,"_23":24,"_25":26,"_27":28,"_29":30,"_31":32,"_33":34,"_35":26,"_36":37,"_38":-5,"_39":-5,"_40":-5,"_41":42,"_43":44,"_45":46,"_47":48,"_49":50,"_51":52,"_53":54,"_55":-5,"_56":48,"_57":58,"_59":60,"_61":-5,"_62":-5,"_63":-5,"_64":-5,"_65":66,"_67":68,"_69":70,"_71":72,"_73":74,"_75":-5,"_76":-5,"_77":-5,"_78":48,"_79":-5,"_80":81,"_82":83,"_84":85,"_86":87,"_88":89,"_90":91},"apiUrl","https://odel.app/api","creator","morluto","moduleId","jacobian","@morluto/jacobian","displayName","Jacobian","tagline","Executable mathematics and independent verification for AI agents.","iconKey","https://avatars.githubusercontent.com/u/76467478?v=4","category","local","status","published","visibility","public","metaDescription","deploymentType","external","workerName","bindingName","mcpConfig","pricingModel","free","creatorUserId","system:external-import","createdAt",1785645248000,"updatedAt",1788413123000,"sourceRegistry","official-mcp-registry","sourceUrl","https://registry.modelcontextprotocol.io/v0/servers?search=io.github.morluto%2Fjacobian","sourceVerified",true,"sourceMissingSince","importedAt","upstreamStars",121,"upstreamUpdatedAt",1788411473000,"detectedTransport","detectedAuthType","probeStatus","lastProbedAt","githubRepoUrl","https://github.com/morluto/jacobian","githubRepoFullName","morluto/jacobian","releaseId","ext-morluto-jacobian","version","0.14.0","descriptionMarkdown","**English** · [简体中文](https://github.com/morluto/jacobian/blob/main/README.zh-CN.md)\n\n

\n $\"An$ \n

\n\n

Jacobian

\n\n

\n An executable mathematical vocabulary for agents: discover one typed operation, run it, and compose its result.\n

\n\n

\n $\"CI\"$ \n $\"PyPI\"$ \n $\"npm\"$ \n $\"Supported$ \n $\"MIT$ \n

\n\nJacobian is an MCP server that gives AI agents a searchable vocabulary of typed\nmathematical operations. `math.find` matches a mathematical need or inspects one\nexact contract, and `math.run` executes it and returns its typed result. The same\nmathematical library is also available through a CLI and native Python API.\n\nEach operation establishes one stable, reusable mathematical postcondition\nrather than prescribing a workflow or proof strategy. Results are exact where\nclaimed and make approximation, incompleteness, or uncertainty explicit.\n\n**Jacobian's hypothesis is that mathematical reasoning benefits from an\nexecutable vocabulary of semantically scoped, bounded operations.** Rather than\nexposing large domain solvers or precomposed workflows, Jacobian exposes\nmathematical primitives that agents can search for and compose into solutions\nbeyond what any individual operation was designed to solve. The library\nsupplies trustworthy mathematical moves; the reasoning model decides which\nmoves to make, how to combine their results, and when to stop. Keeping the\noperations semantically narrow and domain-owned preserves that search space\ninstead of baking one proof strategy or workflow into the tools themselves.\n\nSee [Executable mathematical vocabulary](https://github.com/morluto/jacobian/blob/main/docs/explanation/executable-mathematical-vocabulary.md)\nfor what semantic atomicity means and how the operation vocabulary grows.\n\n## Quickstart\n\nSet up Jacobian for your agents with a single command. The setup command\nrequires Node.js 20.17+, 22.13+, or 23.5+ and `uvx` on your `PATH`.\n\n```sh\nnpx jacobian@latest setup\n```\n\nChoose detected agents and review the changes before they are written. Setup\ndoes not install Node.js, Python, `uv`, or an agent. For automation, preview\nan explicit plan with `npx jacobian@latest setup --codex --dry-run`; use\n`--yes` only with explicit agent flags or `--all`.\n\nRun the canonical Python MCP command without installing Jacobian globally:\n\n```sh\nuvx --from jacobian jacobian-mcp\n```\n\nWhere an MCP host requires an npm command, the npm package is a deterministic\ncarrier for that same command:\n\n```sh\nnpx jacobian mcp\n```\n\nFor a persistent installation:\n\n```sh\npython -m pip install jacobian\njacobian-mcp\n```\n\nThat package includes Jacobian's exact maintained Python backend stack: SymPy,\nNetworkX, Z3, and Python-FLINT. A normal Python or npm installation\ntherefore exposes the same built-in Python-backed operation portfolio. The\ntested binary-install contract is CPython 3.12 or 3.13 on glibc Linux x86-64;\nthe release gate installs the built wheel and starts Jacobian on both Python\nversions. Other systems may have compatible upstream wheels, but are not part\nof the tested release contract yet. In particular, Alpine/musl cannot install\nthe complete mandatory stack from PyPI.\n\nThe Python distribution contains the mathematical kernel, CLI, and MCP server.\nThe npm package deterministically maps its exact package version to the\ncorresponding `uvx` invocation.\n\n## Compute one bounded result\n\nAn ordinary operation returns mathematics first. For example,\n`matrix.determinant.compute` accepts one exact rational matrix and returns its\ndeterminant directly. Callers compose results by passing their typed values to a\nsubsequent operation.\n\nFor a local terminal workflow, inspect the exact installed contract and run one\nof its examples with the CLI:\n\n```sh\njacobian inspect integer.compute.extended_gcd\njacobian run integer.compute.extended_gcd --json '{\"left\":\"84\",\"right\":\"30\"}'\n```\n\nThe second command returns the gcd and Bézout coefficients as JSON. In an MCP\nhost, use `math.find` in inspection mode to read the same contract and `math.run`\nwith the same payload shape. See [Discover and invoke operations](https://github.com/morluto/jacobian/blob/main/docs/how-to/invoke-domain-operations.md)\nfor that agent workflow.\n\n## Available mathematics\n\nThe built-in portfolio covers work in:\n\n- polynomial maps and polynomial algebra;\n- exact linear algebra;\n- graphs, paths, colorings, and isomorphism;\n- bounded SAT and SMT solving;\n- finite algebra, probability, geometry, and topology.\n\nSAT and SMT operations use the maintained Z3 Python binding directly. Use\n`math.find` to match the mathematical result needed, then use its inspection\nmode on a promising operation before calling `math.run` once.\n\nSee the [domain operation library](https://github.com/morluto/jacobian/blob/main/docs/reference/domain-operation-library.md)\nfor the maintained operation portfolio and\n[backend requirements](https://github.com/morluto/jacobian/blob/main/docs/how-to/backend-requirements.md).\n\n## Status\n\nJacobian 0.16.0 is pre-stable. Its published package and operation contracts\ndescribe the supported surface; experimental operation contracts may change\nbetween releases.\n\n## Documentation\n\n- [Documentation home](https://github.com/morluto/jacobian/blob/main/docs/index.md): tutorials, how-to guides, reference,\n and explanations\n- [Architecture](https://github.com/morluto/jacobian/blob/main/docs/explanation/architecture.md): runtime structure and\n trust boundaries\n- [Product model](https://github.com/morluto/jacobian/blob/main/docs/explanation/product-blueprint.md): operation contracts,\n ownership, and project boundaries\n- [Tool reference](https://github.com/morluto/jacobian/blob/main/docs/reference/tools.md): MCP resources and invocation\n contracts\n- [Backend requirements](https://github.com/morluto/jacobian/blob/main/docs/how-to/backend-requirements.md):\n maintained Python backends\n- [Remote deployment](https://github.com/morluto/jacobian/blob/main/docs/how-to/deploy-remote-mcp.md): HTTP deployment and\n authentication\n\n## Contributing\n\nJacobian uses Python 3.12, `uv`, and a small `Makefile`:\n\n```sh\nmake setup\nmake handoff LANE=math TESTS=tests/math/graphs/test_graph_distance_matrix.py\n```\n\nRead [CONTRIBUTING.md](https://github.com/morluto/jacobian/blob/main/CONTRIBUTING.md) before changing code. It documents\nfocused test commands, verification rules, documentation placement, and\npull-request expectations.\n\n## License\n\n[MIT](https://github.com/morluto/jacobian/blob/main/LICENSE)\n","changelogMarkdown","videoKey","requiredSecretsJson","publishedAt","priceCents","trialDays",0,"upstream",{"_109":110,"_111":112,"_113":114,"_115":116,"_117":-5,"_118":119},"requiredSecrets",[],"tags",[94,95,96,97,98,99,100,101,102,103,104,105,106,107,108],"assets",[],"stats",{"_92":81,"_93":81},"ratingAvg","reviewCount","ai-agents","automated-theorem-proving","computer-algebra","cordis","dsh","dsh-plugin","formal-methods","formal-verification","lean4","math","proof-assistant","python","smt-solver","symbolic-math","sympy","topics",[94,95,96,97,98,99,100,101,102,103,124,125,126,104,105,106,107,108,127,128],"license","MIT","language","Python","registryName","io.github.morluto/jacobian","homepage","packages",[120],{"_121":122,"_123":21,"_71":72},"registryType","npm","identifier","mcp","mcp-server","model-context-protocol","theorem-proving","z3","ENV",{"_131":132,"_133":134,"_135":136},"ENVIRONMENT","production","TURNSTILE_SITE_KEY","0x4AAAAAAB8-rEI2gNDf_QhU","SENTRY_DSN","https://45fd1229f78089d5c3ee78be128030e1@o4510583261757440.ingest.de.sentry.io/4510584253448272"]