Axiomize MCP server
io.github.Furox-Art/axiomize·v1.12.4·3 starsVersioned scientific models with units and SBML, CellML, Modelica export.
3 stars91 downloads/wk
Reviews
Write oneNobody has reviewed Axiomize yet.
If you have run it, two minutes of your experience saves the next person an afternoon.
Axiomize tools
No tool declarations could be read from the package source. They show once the server is installed.
Public scan report
scanner v0.1.10 · 2026-10-02 · same rubric, same numbers if you re-run it
- Code scan107 source files scanned20/25
- –Live reliabilityno gateway calls yet and no remote to proben/a
- –Tool poisoningtools not inspected (local package is not executed); not countedn/a
- Auth qualitylocal package, no credentials required12/15
- Maintenancelast push 0 days ago15/15
- Maintainer identityregistry namespace matches repository owner; GitHub account older than a year8/10
Findings (1)
- mediumeval / new Function used
exec.evalaxiomize-1.12.4/src/axiomize/tools/logic/z3_tool.py: … name: _z3_number_to_float(model.eval(scope[name], model_completion=True)) …
How Axiomize compares
Against every graded MCP server, from our own scans and uptime checks. Updated after each scan run.
- Safety score
- 85/100
- higher than 70% of 48,255 servers
- GitHub stars
- 3
- more than 80% of 28,688 servers
- Downloads a week
- 91
- more than 61% of 12,191 servers with a package
Install Axiomize in Claude Code, Cursor or VS Code
claude mcp add axiomize -- uvx axiomize
What the publisher says
From the Axiomize repository's README, as published. We do not edit it. Read it on GitHub
Axiomize
Reproducible scientific modeling that survives contact with reality. Axiomize turns a vague idea into an explicit, versioned mathematical model, validates it dimensionally and numerically, and exports an artifact someone else can re-run years from now.
This is not the numerical-methods library. That door is scientific-computing-system. Axiomize is the modeling layer: mandatory units, a versioned Model IR, and export to SBML, CellML, and Modelica. The MCP server is axiomize mcp.
mcp-name: io.github.Furox-Art/axiomize
Current package line: 1.12.4 (PyPI is the supported install path; see npm)
Documentation: furox-art.github.io/axiomize · Changelog: CHANGELOG.md · Roadmap: ROADMAP.md · Security: SECURITY.md · Contributing: CONTRIBUTING.md · Code of conduct: CODEOFCONDUCT.md · Cite: CITATION.cff
There is deliberately still no npm version badge: the fix for the npm entry point has landed in this repository but has not been published yet, so the registry and this README disagree on the version (see npm).
Why
I got tired of scientific models that live in Jupyter notebooks and die there.
Someone writes a beautiful simulation, it works on their machine, they graduate or change jobs, and six months later nobody can run it. The dependencies are broken, the data is missing, and the "documentation" is a 47-cell notebook with no explanation.
Axiomize forces models to be explicit, versioned, testable code instead of exploratory spaghetti. Every assumption is written down. Every parameter carries a unit. Every result carries enough provenance that another person, on another machine, can reproduce it.
Who it is for
Not a fit: if you want a black-box predictor with no inspectable assumptions, or if you need the engine to make scientific claims for you without a human in the loop.
Install
pip install axiomizeOptional extras: pip install "axiomize[full]" (PyMC/JAX Bayesian sampling), pip install "axiomize[playground]" (the Gradio playground).
Python in five minutes
Declare the model, then let Axiomize check it. Units are mandatory, so dimensional mistakes fail loudly instead of producing a meaningless number.
from axiomize.general_engine import simulate_model
from axiomize.model_ir import ModelIRShortened. The full README is on GitHub.
Nothing above is checked by us. What we check is on the safety report.
Axiomize: common questions
- Is Axiomize MCP server safe?
- Yes, by our scan: it is graded A (85/100). Read the Axiomize safety report
- How do I install Axiomize?
- It runs on your machine. Copy the Claude Code, Cursor, VS Code or Claude Desktop config from the install section.
- Does Axiomize need an API key?
- Not as far as the registry entry and our scan can tell: no credentials are declared or required.
- Is Axiomize maintained?
- The last commit was 32 days ago (2026-10-02). The latest release is v1.12.4.
- How does Axiomize compare with other MCP servers?
- safety score 85/100 (higher than 70% of 48,255 servers); github stars 3 (more than 80% of 28,688 servers); downloads a week 91 (more than 61% of 12,191 servers with a package). Full comparison.