Search / io.github.tufantunc/axiom-math
Axiom — Advanced Math
L0· runs locallyExact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
v1.0.5 · active · repository · website · descriptor JSON · versions
Search / io.github.tufantunc/axiom-math
L0· runs locallyExact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
v1.0.5 · active · repository · website · descriptor JSON · versions
{
"mcpServers": {
"axiom-math": {
"command": "npx",
"args": [
"-y",
"[email protected]"
]
}
}
}claude mcp add axiom-math -- npx -y [email protected][mcp_servers.axiom-math]
command = "npx"
args = ["-y", "[email protected]"]
{
"$schema": "https://opencode.ai/config.json",
"mcp": {
"axiom-math": {
"type": "local",
"command": [
"npx",
"-y",
"[email protected]"
],
"enabled": true
}
}
}{
"mcpServers": {
"axiom-math": {
"command": "npx",
"args": [
"-y",
"[email protected]"
]
}
},
"deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=axiom-math&config=eyJjb21tYW5kIjoibnB4IiwiYXJncyI6WyIteSIsImF4aW9tLW1hdGhAMS4wLjUiXX0%3D"
}{
"servers": {
"axiom-math": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"[email protected]"
]
}
}
}{
"mcpServers": {
"axiom-math": {
"command": "npx",
"args": [
"-y",
"[email protected]"
]
}
}
}extensions:
"axiom-math":
enabled: true
name: "axiom-math"
type: stdio
cmd: "npx"
args:
- "-y"
- "[email protected]"
timeout: 300
This is a local package: the command runs on your machine.
Not scored: fewer than three checks apply, usually because no remote answered a credential-free probe or the server is a local package.
protocol.modern, protocol.stateless, protocol.transport, protocol.list_ttlno remote answered a protocol handshake (not probed yet, unreachable, or local-only)auth.prm, auth.as_metadata, auth.cimdno remote uses OAuthauth.secret_in_urlno templated URLtools.descriptions, tools.description_length, tools.schemas, tools.annotations, tools.directory_hints, tools.token_cost, tools.api_dumptool list unknown (behind auth, not probed, or empty)stability.changes, stability.rug_pulltool list unknowndeps.known_vulns4 advisories of lower severity or without a published fix: GHSA-crvj-82cr-hjcx in [email protected] (direct, fixed in 4.13.5), GHSA-g6gw-c38x-mqfc in [email protected] (direct, fixed in 4.13.5), GHSA-gqvv-2mrq-wpjv in [email protected] (direct, fixed in 4.13.5), ...deps.mcp_sdk_version@modelcontextprotocol/sdk 1.30.1 has 1 known advisory (GHSA-6qxp-vccf-f47h); update @modelcontextprotocol/sdk to 1.31.0 or laterdeps.resolvable[email protected] resolved: 108 packagesNo tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.
Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.
+repository +namespace-matches-repo +website ~liveness-unmeasured ~updated-72d-ago
Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.
[email protected] npm107 dependencies, resolved · MCP SDK @modelcontextprotocol/sdk 1.30.1 · advisories checked 2026-10-19
| advisory | severity | package | fixed in |
|---|---|---|---|
| GHSA-6qxp-vccf-f47hMCP TypeScript SDK: OAuth client could send credentials to an authorization server chosen by the MCP server | high | @modelcontextprotocol/[email protected]MCP SDK, direct | fixed in 1.31.0 |
| GHSA-crvj-82cr-hjcxHono: Query parser reads parameters after the URL fragment, causing cache-key and proxy interpretation differentials | moderate | [email protected]direct | fixed in 4.13.5 |
| GHSA-g6gw-c38x-mqfcHono: Unbounded dot-notation nesting in `parseBody()` can cause memory exhaustion | moderate | [email protected]direct | fixed in 4.13.5 |
| GHSA-gqvv-2mrq-wpjvHono: Incomplete fix for CVE-2026-39408: `toSSG()` still writes files outside the output directory | moderate | [email protected]direct | fixed in 4.13.5 |
| GHSA-hxh3-vqpv-xpqvhono/jsx renders plain strings unescaped in boundary components, leading to XSS | moderate | [email protected]direct | fixed in 4.13.7 |
Dependency graphs from deps.dev; advisories from OSV.dev, including the GitHub Advisory Database and the PyPI Advisory Database; all CC BY 4.0. The graph is what a clean install of this version resolves today; nothing was installed or run. How it is checked.
| package | registry | version | runtime | secrets |
|---|---|---|---|---|
axiom-math | npm | 1.0.5 | – |
No tools observed. Local packages are never executed by the registry.
Schemas: list_tools.
{
"name": "io.github.tufantunc/axiom-math",
"title": "Axiom — Advanced Math",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"version": "1.0.5",
"packages": [
{
"version": "1.0.5",
"transport": {
"type": "stdio"
},
"identifier": "axiom-math",
"registryType": "npm"
}
],
"repository": {
"url": "https://github.com/tufantunc/axiom-advanced-math-mcp",
"source": "github"
},
"websiteUrl": "https://github.com/tufantunc/axiom-advanced-math-mcp",
"description": "Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas"
}