Provides an MCP server exposing compute, verify, and plot tools backed by Giac/Xcas for exact symbolic and numerical mathematics, enabling LLMs to solve calculus, algebra, geometry, and more with verified results.
Warning. Serious findings were identified. Review the full report before connecting. Grades reflect the full trust pyramid: code, verification depth, and reputation. New projects cap at C until adoption is earned.
How we verified
Verified is a snapshot. Live keeps it current, and builds your track record.
⚡ Connect GitHub → continuous verification on every pushwhy connect →Who stands behind it
tufantunc
Source: Glama
Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find. Or connect your repo for our deepest verification, Live Monitored: read-only, revoke anytime. What we access →
Install from
M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.
Disclosed vulnerabilities in this server's declared npm dependencies (via OSV). Whether each is reachable depends on the installed versions.
@modelcontextprotocol/sdk has cross-client data leak via shared server/transport instance reuse
ANTHROPIC_API_KEYexport =...AXIOM_COMPUTE_HYGIENEunset Set to 1 to enable compute output post-processingAXIOM_EVAL_TIMEOUT_MS10000 Per-evaluation CAS timeout, in millisecondsAXIOM_GRADER_V3AXIOM_SC_NAXIOM_SC_TEMPLOCAL_API_KEYLOCAL_BASE_URLMCP_ALLOWED_HOSTSor every POST /mcp request will get a 403. ThisMCP_HOST0.0.0.0. If you expose the port, put it behind a reverse proxy thatMCP_PORT3000 HTTP server portMCP_SERVER_CMDOPENROUTER_API_KEYexport =...OPENROUTER_APP_NAMEOPENROUTER_BASE_URLOPENROUTER_SITE_URLZAI_API_KEYexport =...ZAI_BASE_URLTool annotations
No tools have read-only/destructive annotations
Add readOnlyHint or destructiveHint annotations to every tool so hosts can warn users before invoking.
All four hints declared on every tool
3/3 tools missing one or more hints — plot (missing: readOnlyHint, destructiveHint, idempotentHint, openWorldHint); compute (missing: readOnlyHint, destructiveHint, idempotentHint, openWorldHint); verify (missing: readOnlyHint, destructiveHint, idempotentHint, openWorldHint). OpenAI's directory rejects tools where any of the four hints are missing or non-boolean.
For every tool, set all four hints (readOnlyHint, destructiveHint, idempotentHint, openWorldHint) to explicit true/false values that match the handler’s actual behaviour.
Tool inputs are validated
Only 0/1 tool handlers declare input schemas (0%)
Declare an inputSchema with zod/joi/yup on every tool definition.
No eval / new Function
1 eval() or new Function() call — dynamic code execution
Replace eval / Function with explicit parsing or safer alternatives.
Shell command execution
1 child_process call — runs shell commands
Prefer library functions over shell-outs. If you must shell out, ensure all inputs are properly escaped.
Readable source code
1 file appear obfuscated
Ship unminified, readable source.
Production dependencies are patched
0 critical, 1 high severity in production deps — @modelcontextprotocol/sdk@1.25.3 (high)
Run npm audit fix, or upgrade the affected packages to a non-vulnerable version.
Claim the listing to review these findings one by one and send us a correction where you disagree, straight to the team. Claiming also means we tell you when the grade moves, and reach you first if we find anything urgent.
[](https://m8ven.ai/mcp/tufantunc-axiom-advanced-math-mcp-1oaewn)?variant=verified from the URL.Vetting this one by hand? Tool Check is an MCP that scores other MCPs. Add it once and ask Claude, ChatGPT, or any MCP client to grade a server, surface CVEs, check the publisher, and suggest safer alternatives — before you install.
https://m8ven.ai/api/mcp/tool-check