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

github_topic Glama

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.

// 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: 07bbf4ab3bd24494e6b195c168ddb764387ca3b3

code hash: d81a1527ddd67862f7fb0d2f6edd61c35afdd7ebc5a916bbf4d66df47feb7238

verified: 6/4/2026, 11:31:30 AM

view raw JSON →