Loading the registry…
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
The publisher performed an authenticated act of publication — proving control of a namespace in the official MCP registry, or appearing in a first-party catalogue an operator curates. That establishes WHO published it. It is not a security finding, and attested artifacts carry Flagged verdicts too.
71 critical findings reported by cisco-skill-scanner, agent-audit-kit, 10 of them in the installed artifact. The composite score alone does not reflect this — read the per-scanner reports below.
github: https://github.com/tufantunc/axiom-advanced-math-mcp, 190 findings
Choose your runtime: the CLI writes the mcpServers config entry for that target.
nerlo install --target claude-code -- axiom-math
Install respects the composite badge: Clean proceeds, Caution prompts for confirmation, and Flagged is refused. Write operations require an API token.
5 of 11 scanners examined this package. The rest do not apply to it — language, ecosystem and packaging decide which analyzers can say anything, and a scanner that cannot examine an artifact reports nothing rather than passing it.
v1.4.0
0 findings · 0.8s
v2.0.11
56 findings · 24.2s
v0.3.26
88 findings · 7.9s
v0.1.0
0 findings · 5.4s
v0.1.0
0 findings · 5.4s
vv0.3.2
No Go packages were found in this artifact. What each scanner covers
0 findings · 0.2s
No report in this scan: govulncheck, osv-scanner, trivy, trivy_image, nerlo-multi-source.
1 scan on record. Every scan's full results are retained immutably for 24 months.
| Completed | Composite | Change | Scanners | Status |
|---|---|---|---|---|
| Aug 11, 2026 | Scan Halted | — | agentshield: completecisco-skill-scanner: completeagent-audit-kit: completenerlo-behavioral: completenerlo-install-instruction: completecapslock ·n/a: not applicable | rejected |
Findings in files this artifact installs stand as reported; a model re-read the rest and said which ones it believes are false positives. This is a second opinion published beside the evidence, not a correction to it: the per-scanner reports above are unchanged, every dismissed finding is still listed there at its original severity, and the score and the Flagged badge are computed from those raw severities alone. Nothing below moved them.
Out of 144 findings across every scanner that examined this package. 61 of 71 findings rated critical by their scanner were among the dismissals.
Two keys had to turn. The model had to name a reason from a fixed list of six, and a deterministic check of ours — over which files this artifact actually installs — had to independently agree. Anything it could not corroborate is in “not reviewed” above, at full severity.
60 Agent instruction file — The match is in a file that instructs an AI coding agent — a CLAUDE.md or similar. It is documentation of intent, and our own check confirmed it is not part of what gets installed.
Rules: AAK-AGENT-001, AAK-AGENT-002 · Files: AGENTS.md · reported by agent-audit-kit
11 Test or fixture file — The match is in a test or fixture. Our own check confirmed the file is not part of what gets installed.
Rules: AAK-TAINT-001, AAK-MCP-STATELESS-001, AAK-ANTHROPIC-SDK-001 and 3 more · Files: test/http-contract.test.ts, test/http-app.test.ts, test/integration.test.ts and 2 more · reported by agent-audit-kit, cisco-skill-scanner
10 Documentation or example — The match is in documentation or sample code, confirmed by our own check to be outside the installed artifact.
Rules: AAK-HEALTHCARE-AI-004, SOCIAL_ENG_VAGUE_DESCRIPTION, MANIFEST_MISSING_LICENSE · Files: docs/superpowers/plans/2026-05-08-v2-default-cleanup.md, docs/superpowers/plans/2026-05-08-phase-2-output-hygiene.md, docs/superpowers/specs/2026-06-11-claude-code-provider-design.md and 5 more · reported by agent-audit-kit, cisco-skill-scanner
1 CI or editor configuration — The match is in build, CI or editor configuration, confirmed by our own check to be outside the installed artifact.
Rules: AAK-GHA-IMMUTABLE-001 · Files: .github/workflows/ci.yml · reported by agent-audit-kit
These findings are in files this artifact installs and are not placeholder values. No false-positive basis can be corroborated for such a finding, so this review never dismisses one; they were not sent to the model and stand at their scanner's severity.
23 HIDDEN_DATA_FILE
Files: /repo/.review-pro/node/db.md, /repo/.review-pro/ai-ml/correctness.md, /repo/.review-pro/axiom-cas/performance.md and 20 more · reported by cisco-skill-scanner
6 MANIFEST_MISSING_LICENSE
Files: /repo/skills/axiom-math/SKILL.md, /repo/SKILL.md, /repo/.review-pro/ai-ml/SKILL.md and 3 more · reported by cisco-skill-scanner
5 AAK-MCP-018
Files: src/http.ts, src/server/index.ts, src/server/prompts/index.ts and 2 more · reported by agent-audit-kit
5 SOCIAL_ENG_VAGUE_DESCRIPTION
Files: /repo/SKILL.md, /repo/.review-pro/ai-ml/SKILL.md, /repo/.review-pro/axiom-cas/SKILL.md and 2 more · reported by cisco-skill-scanner
4 COMMAND_INJECTION_JS_CHILD_PROCESS
Files: /repo/src/server/giac/worker-host.ts, /repo/src/server/giac/giac.wasm.js · reported by cisco-skill-scanner
Critical command injection vulnerabilities detected.
The artifact contains critical command injection vulnerabilities, allowing shell execution via child processes in `giac.wasm.js` and `worker-host.ts`. Arbitrary code execution is possible through `eval` in `wasm-types.d.ts` and `Function` constructor usage in `wasm-wrapper.ts`. Additionally, the artifact uses the Anthropic SDK in multiple locations, which may involve credential access or data egress to a third-party service.
Concern level assessed by the review: Critical. This is the review's scale, not the registry badge.
Reviewed by gemini-2.5-flash. The model sees the findings, not your code, and cannot change a score.
Files: /repo/src/server/giac/wasm-wrapper.ts · reported by cisco-skill-scanner
3 AAK-ANTHROPIC-SDK-001
Files: src/cli.ts, benchmark/runners/mcp-proxy.ts, src/server/transports/stdio.ts · reported by agent-audit-kit
2 COMMAND_INJECTION_EVAL
Files: /repo/src/server/giac/wasm-types.d.ts · reported by cisco-skill-scanner
2 LOW_ANALYZABILITY
Files: /repo, /repo/src/server/giac · reported by cisco-skill-scanner
2 OVERSIZED_FILE
Files: /repo/src/server/giac/giac.wasm.js · reported by cisco-skill-scanner
1 AAK-LEGAL-001
Files: package.json · reported by agent-audit-kit
1 AAK-LEGAL-002
Files: benchmark/package.json · reported by agent-audit-kit
1 AAK-OAUTH-3P-001
Files: package.json · reported by agent-audit-kit
1 AAK-SUPPLY-005
Files: package-lock.json · reported by agent-audit-kit
1 DATA_EXFIL_JS_NETWORK
Files: /repo/benchmark/datasets/loader.ts · reported by cisco-skill-scanner
1 EXCESSIVE_FILE_COUNT
Files: /repo/. · reported by cisco-skill-scanner