Chiasmus MCP Server

by yogthos• 218•• Scanned•Claim this listing•Request removal

Data Science & MLai agentsai assistantai toolsformalmethodsllm

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

Chiasmus is an open-source mcp server by yogthos, written mainly in TypeScript, with 218 GitHub stars and the Apache-2.0 license. Its code was last updated Oct 18, 2026. The latest npm release is chiasmus 0.1.40, published Oct 18, 2026, with 128 downloads last week.

Scan summary: scanned Nov 5, 2026 at commit e3e8aa5. No capabilities flagged by our checks. Scan policy

about README security reviews

How to install Chiasmus

Built from the start command in the project's README: npx -y chiasmus. Check the README for required keys or settings.

Claude Code · Terminal

claude mcp add chiasmus -- npx -y chiasmus

Claude Desktop · claude_desktop_config.json

{
  "mcpServers": {
    "chiasmus": {
      "command": "npx",
      "args": [
        "-y",
        "chiasmus"
      ]
    }
  }
}

Cursor · .cursor/mcp.json

{
  "mcpServers": {
    "chiasmus": {
      "command": "npx",
      "args": [
        "-y",
        "chiasmus"
      ]
    }
  }
}

VS Code · Terminal

code --add-mcp '{"name":"chiasmus","command":"npx","args":["-y","chiasmus"]}'

What Chiasmus can touch

Run shell commandsNot seen in this scan
Run dynamic codeNot seen in this scan
Read or write filesNot seen in this scan
Read environment and secretsNot seen in this scan
Control a web browserNot seen in this scan
Connect to databasesNot seen in this scan
Read or send messagesNot seen in this scan
Touch money or tradingNot seen in this scan
Connect to the internetNo connections seen while running

"Not seen" means our checks did not find it, and the tool may still do it. Covers commit e3e8aa5, Nov 5, 2026. See the scan policy.

Before you install Chiasmus

AgenticMart scanned Chiasmus on Nov 5, 2026 with automated checks for hidden code, known-malicious packages, leaked secrets and vulnerable dependencies. The result covers one commit under our scan policy, so review what access you give it and check any advisories shown here.

What it can access

An MCP server is a program your AI app starts and talks to. A local one runs with your user's permissions: it can see the files, environment variables and network your account can.

Before you install

Pin the version you reviewed instead of always installing the latest release.
Read the tool list or scripts before the first run, and keep approval prompts on for actions that write, send or delete.

Maintained by yogthos on GitHub, 218 stars and 12 forks. Popularity is not proof of safety.
Last code change: Oct 18, 2026.
Open-source license: Apache-2.0.

Read the scan report What our scan checks

Tools Chiasmus exposes (9)

Listed by the server itself during our scan of commit e3e8aa5.

chiasmus_verify
Submit formal logic to solver. Returns verified result. SOLVERS: z3 — SMT-LIB format → SAT + model | UNSAT + unsatCore | error prolog — facts/rules + query goal → answers | error FORMAT (optional, prolog only): mermaid — parse Mermaid flowchart/stateDiagram → Prolog facts + reachability
chiasmus_skills
Search/list formalization templates. Returns skeletons, slots, normalization recipes, usage metadata. Find template before chiasmus_verify or chiasmus_formalize. query: "access control policies conflict" → search solver: "prolog" → filter by solver name: "policy-contradiction" → exact lookup
chiasmus_formalize
Find best template for problem → return skeleton + slot-filling instructions + tips. Guided workflow: 1. chiasmus_formalize → get template + slots + tips 2. Fill slots using your context 3. chiasmus_verify → verified result
chiasmus_solve
End-to-end: select template → fill slots → lint → verify → correction loop. Needs ANTHROPIC_API_KEY | DEEPSEEK_API_KEY | OPENAI_API_KEY. Without key → falls back to chiasmus_formalize. Returns: solver result + template used + correction history. NOTE: `converged: true` means the correction loop rea
chiasmus_lint
Fast structural validation of formal spec without running solver. Auto-fixes: markdown fences, (check-sat)/(get-model), (set-logic). Checks: balanced parens, unfilled {{SLOT:}} markers, missing periods (Prolog). Returns cleaned spec + fixes applied + remaining errors.
chiasmus_graph
Analyze source-code call graphs (tree-sitter + Prolog). Absolute paths only. Languages: TypeScript, JavaScript, Python, Go, Rust, Clojure, Scheme, Racket, Common Lisp. ANALYSES: summary overview counts callers who calls target (needs target) callees what target calls (
chiasmus_craft
Create a new formalization template and add it to the skill library. The calling LLM designs the template — no API key needed. Describe your problem, then submit a template with a skeleton (formal spec with {{SLOT:name}} markers), slot definitions, and normalization recipes. After creation, the te
chiasmus_review
Phased code-review recipe — which tools to run, in what order, what to flag. Pure plan, no side effects. Execute phases sequentially; each action carries 'interpret' guidance. End with a numbered issue list per the reporting section. FOCUS: all structural → architecture → security → res
chiasmus_map
Pre-built codebase map — read before bulk file reads. Returns a compact outline derived from the tree-sitter call graph: per-file headlines with exports, signatures, token estimates, leading doc. Lets you answer "what is in this repo" / "what does this file expose" / "where is X defined" without op

Chiasmus is an open-source mcp server by yogthos, written mainly in TypeScript. Chiasmus is an MCP server that gives language models access to formal verification

At a glance

Stars: 218
Forks: 12
Language: TypeScript
License: Apache-2.0
Created: Apr 2026
Last update: Oct 18, 2026
Type: MCP Server
Price: Free

Topics

ai-agentsai-assistantai-toolsformalmethodsllmmcpmcp-serverprologz3-smt-solver

Questions about Chiasmus

What is Chiasmus?

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

Who maintains Chiasmus?

Chiasmus is maintained by yogthos on GitHub (yogthos/chiasmus). AgenticMart lists it from public repository data.

Is Chiasmus safe to use?

What license does Chiasmus use?

It is published under the Apache-2.0 license.

Guides

Chiasmus alternatives

View more →

Similar mcp servers in Data Science & ML, ranked by GitHub stars. Compare licence, recent activity and scan status before you choose.

Name	Stars	Licence	Last updated	Scan
Chiasmus (this page) yogthos	218	Apache-2.0	Oct 18, 2026	Scanned, no flagged issues
MaxKB 1Panel-dev	23k	GPL-3.0	Nov 1, 2026	Scanned, no flagged issues
FunASR modelscope	21k	MIT	Nov 1, 2026	Scanned, no flagged issues
Ida Pro MCP mrexodia	13k	MIT	Sep 26, 2026	Scanned, no flagged issues
Pal MCP Server BeehiveInnovations	12k	None found	Dec 15, 2025	Not scanned yet
Osaurus osaurus-ai	8.1k	MIT	Nov 1, 2026	Scanned, no flagged issues