Magma Handbook MCP Server
mcp-magma-handbook
npm
v3.0.0
Published by legenai — no publish provenance, so origin is unverified, but the source is public: the repository link below is self-declared yet readable, so you can inspect the code before adopting it.
Enhanced MCP server with multi-query search, hybrid search, and collections for MAGMA computational algebra system
The grade answers one question — how safe is this server for you to adopt — so it is computed in two auditable stages. Nothing below is an opinion or an LLM's guess; every line is a real term the deterministic engine applied, and the same input always yields the same number.
1. Threat score — 100 − 3.3 = 97. What the published surface and source actually contain:
| Points | What was found | Category |
|---|---|---|
| −2.1 | Hardcoded JSON Web Token in server code ×3 MTC-SRC-008 | exfiltration |
| −1.2 | Package runs install-time scripts MTC-SUP-010 | supply-chain |
2. Client adoption risk — 97 − 1 = 96. Three small, subtract-only factors that reflect your risk in adopting it — a clean scan proves less on a powerful, unverified or barely-inspectable package, so the grade says so plainly:
| Points | Adoption-risk factor |
|---|---|
| −1 | publisher verification (public source) — no provenance, but the source is public and inspectable |
Capability observations and info notes are shown under Findings but never scored.
Open any row's finding below for the file, line and evidence behind a deduction.
Findings 4
low Hardcoded JSON Web Token in server code (dist/smithery-index-backup.js)MTC-SRC-008
A hardcoded JSON Web Token (a public-by-design (anon/publishable) key — RLS, not secrecy, protects it) appears in `dist/smithery-index-backup.js:21`. Verify whether this is a real credential; if so, remove and rotate it.
Evidence: JSON Web Token: eyJh…(redacted)
Fix: Remove the secret, rotate it, and load credentials from the environment or a secret store.
Location: server dist/smithery-index-backup.js
low Hardcoded JSON Web Token in server code (dist/smithery-index.js)MTC-SRC-008
A hardcoded JSON Web Token (a public-by-design (anon/publishable) key — RLS, not secrecy, protects it) appears in `dist/smithery-index.js:21`. Verify whether this is a real credential; if so, remove and rotate it.
Evidence: JSON Web Token: eyJh…(redacted)
Fix: Remove the secret, rotate it, and load credentials from the environment or a secret store.
Location: server dist/smithery-index.js
low Hardcoded JSON Web Token in server code (dist/src/smithery-index.js)MTC-SRC-008
A hardcoded JSON Web Token (a public-by-design (anon/publishable) key — RLS, not secrecy, protects it) appears in `dist/src/smithery-index.js:21`. Verify whether this is a real credential; if so, remove and rotate it.
Evidence: JSON Web Token: eyJh…(redacted)
Fix: Remove the secret, rotate it, and load credentials from the environment or a secret store.
Location: server dist/src/smithery-index.js
low Package runs install-time scripts (postinstall)MTC-SUP-010
"mcp-magma-handbook" executes postinstall script(s) at install time. An install hook runs at install time; most are routine build/setup, but review what it does before trusting it.
Evidence: echo '
🚀 Enhanced MAGMA Handbook MCP Server v3.0 installed!
✨ NEW Features:
- Multi-query search for better results
- Hybrid search (semantic + keyword)
- Col
Fix: Review the scripts; install with --ignore-scripts where possible and vet what they do.
Location: package mcp-magma-handbook
Tools 16
Each tool and what it can reach — statically extracted from the published source.
add_documentno sensitive capabilitybenchmark_qualityno sensitive capabilitycreate_collectionno sensitive capabilitydelete_collectionno sensitive capabilityexplain_magma_codeno sensitive capabilityexplain_magma_code_advancedno sensitive capabilityget_health_statusno sensitive capabilityget_magma_exampleno sensitive capabilityget_magma_example_advancedno sensitive capabilitylist_collectionsno sensitive capability
Show 6 more tools ↓
magma_infono sensitive capabilitysave_conversationno sensitive capabilitysearch_functionsno sensitive capabilitysearch_magmano sensitive capabilitysearch_magma_advancedno sensitive capabilityvalidate_api_keyno sensitive capability
What this scan could not see
- Tools were statically extracted from the published source (16 recovered), not enumerated from a running server. Tool-poisoning, Unicode-smuggling, capability and toxic-flow analysis ran on this inferred surface, but a mis-parsed registration could be missed or mis-attributed, so tool-derived findings are capped below “confirmed”. To grade the real runtime surface, scan the running server: --command "npx -y <package>".
Versions 1
Scan history per published version. The engine is deterministic — the same version always yields the same score, so a changed score means the package itself changed.
| Version | Score | Findings | Engine | Scanned |
|---|---|---|---|---|
v3.0.0 latest |
A 96/100 | 4 | 1.13.0 | 2026-09-07 |
Embed this score
Show this server's live Trust Score in your README, docs or website. The badge is served straight from the registry and updates automatically after every rescan — no API key needed. It links back to this page, so anyone who sees the grade can also read the findings behind it instead of taking a number on faith.
Verify this score yourself
The score above is reproducible: the same package version always yields the same result. Run it locally or over the free API — no account, no LLM, fully deterministic.
npx mcptrustchecker scan mcp-magma-handbook --onlineMore in Learning & Documentation
stdio compatibility bridge for the hosted AgentMail MCP server
MCP server for Alfa documentation retrieval
MCP server providing Alpine.js documentation and reference
Search the official Astro framework documentation.
MCP server providing ATAG 2.0 (Authoring Tool Accessibility Guidelines) guidance for authoring tool developers
Aurais Research Reader as an MCP server — paste a paper or article, get a structured read with verbatim-verified quotes + a signed Vorion proof chain (via @vorionsys/aurais-core).