Back to MCP Trust Indexm8ven
75
/ 100
1 month ago
github_topic

chiasmus

Chiasmus is an MCP server that gives language models access to formal verification

→ yogthos/chiasmus· listed on github_topic
Is this your MCP?

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.

Install from

GitHubGlama

M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.

// key findings
🚨
Known vulnerabilities in dependencies: 1 critical, 2 high
Affects packages this MCP installs at runtime. Upgrade or remove the affected dependency.
🔐
You'll be asked for 5 credentials: ANTHROPIC_API_KEY, AZURE_OPENAI_API_KEY, DEEPSEEK_API_KEY, OPENAI_API_KEY, OPENROUTER_API_KEY
These are read from process.env at runtime. Make sure you trust where they’ll be sent.
// known CVEs in dependencies1 critical2 high

Disclosed vulnerabilities in this server's declared npm dependencies (via OSV). Whether each is reachable depends on the installed versions.

criticalvitest@4.0.17GHSA-5xrq-8626-4rwp

When Vitest UI server is listening, arbitrary file can be read and executed

high@modelcontextprotocol/sdk@1.0.0GHSA-8r9q-7v3j-jr4g

Anthropic's MCP TypeScript SDK has a ReDoS vulnerability

high@modelcontextprotocol/sdk@1.0.0GHSA-w48q-cv73-mx4w

Model Context Protocol (MCP) TypeScript SDK does not enable DNS rebinding protection by default

Depend on this server? Get alerted when its CVEs change.Watch this server free →
// required environment variables
This server reads these from process.env. You'll be asked to provide them before it can run.
🔐 secretANTHROPIC_API_KEY— Optional: Anthropic provider for autonomous mode
configAZURE_OPENAI_API_ENDPOINT
🔐 secretAZURE_OPENAI_API_KEY
configAZURE_OPENAI_API_VERSION
configAZURE_OPENAI_EMBED_DEPLOYMENT
configAZURE_OPENAI_ENDPOINT
configCHIASMUS_API_URL— per provider Override API base URL (e.g. for local models via Ollama)
configCHIASMUS_CACHE_DIR— ~/.cache/chiasmus Per-file extraction cache + graph snapshots (when cache=true)
configCHIASMUS_CACHE_MAX_PER_REPO— 67108864 (64 MB) Per-repo cache byte budget — LRU eviction above this
configCHIASMUS_EMBED_DIM
configCHIASMUS_EMBED_MODEL
configCHIASMUS_EMBED_URL
configCHIASMUS_HOME— ~/.chiasmus/ Database, skill storage, and config
configCHIASMUS_MODEL— per provider Override model name
🔐 secretDEEPSEEK_API_KEY— Optional: DeepSeek provider for autonomous mode
🔐 secretOPENAI_API_KEY— Optional: OpenAI provider for autonomous mode
🔐 secretOPENROUTER_API_KEY
// full audit trail
The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.
// improvement guidance — verified publishers only
We have 3 concrete improvements we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.
// embed badge in your README
[![M8ven Score](https://m8ven.ai/badge/mcp/yogthos-chiasmus-qmwe9q)](https://m8ven.ai/mcp/yogthos-chiasmus-qmwe9q)
commit: 576ed389d02ebf6a7dcd19ad024d17abe59bc70c
code hash: 0c2c04f68bc937cf2613f93f5664aa4cf8f63efa2043156822127aecc22d48a9
verified: 6/14/2026, 10:32:00 AM
view raw JSON →