chiasmus (yogthos/chiasmus) is an MCP server listed on the M8ven Trust Index. It scores 87 out of 100, grade B. It declares 11 tools. No publisher has claimed this listing.

Back to MCP Trust IndexM8ven
B
Caution
87/100
1 month ago

chiasmus

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

→ yogthos/chiasmus· listed on github_topic

Caution. Specific findings reduced this grade. They are listed on the page. Grades reflect the full trust pyramid: code, verification depth, and reputation. New projects cap at C until adoption is earned.

How we verified

Code Verified⚡ Live Monitored: not connected

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

yogthos

Source: github_topic · also listed on Glama

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. Or connect your repo for our deepest verification, Live Monitored: read-only, revoke anytime. What we access →

⚡ Connect GitHub for Live Monitored

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, 1 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 critical1 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-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 →
// environment variables
To run this server yourself, you supply these values. They go in your own MCP client configuration and stay on your machine. The secret label means the value is sensitive, not that the server mishandles it.
🔐 secretANTHROPIC_API_KEYOptional: 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_URLper 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_REPO67108864 (64 MB) Per-repo cache byte budget — LRU eviction above this
configCHIASMUS_EMBED_DIMdiscovered Embedding dimension (else learned on first call; local skips the first-call cache miss)
configCHIASMUS_EMBED_MODELtext-embedding-3-small Embedding model name (cloud providers)
configCHIASMUS_EMBED_URLper provider Embedding API base URL
configCHIASMUS_HOME~/.chiasmus/ Database, skill storage, and config
configCHIASMUS_MODELper provider Override model name
🔐 secretDEEPSEEK_API_KEYOptional: DeepSeek provider for autonomous mode
🔐 secretOPENAI_API_KEYOptional: OpenAI provider for autonomous mode
🔐 secretOPENROUTER_API_KEY
// quality suggestions

Tool 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

11/11 tools missing one or more hints — chiasmus_verify (missing: readOnlyHint, destructiveHint, idempotentHint, openWorldHint); chiasmus_skills (missing: readOnlyHint, destructiveHint, idempotentHint, openWorldHint); chiasmus_formalize (missing: readOnlyHint, destructiveHint, idempotentHint, openWorldHint), +8 more. 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 test coverage

Only 0/11 tools referenced in tests (0%)

Write tests that reference each tool by name so every tool has at least one test.

Shell command execution

2 child_process calls — runs shell commands

Prefer library functions over shell-outs. If you must shell out, ensure all inputs are properly escaped.

Production dependencies are patched

0 critical, 1 high severity in production deps — @modelcontextprotocol/sdk@1.0.0 (high)

Run npm audit fix, or upgrade the affected packages to a non-vulnerable version.

Dev dependencies

1 critical/high in dev-only deps (does not ship to users)

Upgrade dev dependencies when convenient.

Dependency freshness

1/17 production deps stale: proper-lockfile@2022-06-24 (4.1y)

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.

// full audit trail
The findings above are the summary. The full trail, every check we ran, each deduction, the network hosts observed and the dependency advisories, goes to verified publishers, along with an alert whenever a new one lands. Verified publishers can also review each finding and dispute it in one click. Publisher corrections have sharpened several of our checks this month, because the maintainer knows the codebase better than any scanner.
// improvement guidance — verified publishers only
We have 6 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 Verified](https://m8ven.ai/badge/mcp/yogthos/chiasmus?variant=verified)](https://m8ven.ai/mcp/yogthos/chiasmus)
Shows verification status without the grade. Want the grade badge instead? Remove ?variant=verified from the URL.
commit: d1f1291e14e8459465d722662eb6bb997c2d648d
code hash: be521b295e8943e00651c3f03a1d982464f22eb8a5db48ee2a3355e221377740
verified: 8/7/2026, 2:14:47 AM
view raw JSON →
Check MCPs from inside your assistant
Tool Check · MCP

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
check_toolsearch_toolscompare_toolsrecommend_alternativescheck_publisherreport_concern
How to add it →Free · no account needed · works in any MCP client