chiasmus

Name: yogthos/chiasmus
Author: yogthos

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

MCP Servers162 stars7 forks● TypeScriptApache-2.0Updated 4d ago

Install in Claude Desktop

Method detected: Manual

{
  "mcpServers": {
    "chiasmus": {
      "command": "node",
      "args": ["/path/to/chiasmus/dist/index.js"]
    }
  }
}

1. Copy the snippet above.

2. Paste into ~/Library/Application Support/Claude/claude_desktop_config.json (Mac) or %APPDATA%\Claude\claude_desktop_config.json (Windows).

3. Replace any <placeholder> values with your API keys or paths.

4. Restart Claude Desktop. The MCP server appears automatically.

💡 Clone https://github.com/yogthos/chiasmus and follow its README for install instructions.

Use cases

🧠 AI / ML

About

MCP Servers overview

README preview not available. Visit the repo on GitHub for full documentation.

Topics

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

Frequently asked

What people ask about chiasmus

What is yogthos/chiasmus?

yogthos/chiasmus is mcp servers for the Claude AI ecosystem. Chiasmus is an MCP server that gives language models access to formal verification It has 162 GitHub stars and was last updated 4d ago.

How do I install chiasmus?

You can install chiasmus by cloning the repository (https://github.com/yogthos/chiasmus) or following the README instructions on GitHub. ClaudeWave also provides quick install blocks on this page.

Is yogthos/chiasmus safe to use?

yogthos/chiasmus has not been audited yet by our security agent. Review the original repository on GitHub before using it in production.

Who maintains yogthos/chiasmus?

yogthos/chiasmus is maintained by yogthos. The last recorded GitHub activity is from 4d ago, with 4 open issues.

Are there alternatives to chiasmus?

Yes. On ClaudeWave you can browse similar mcp servers at /categories/mcp, sorted by popularity or recent activity.

1-click deploy

Deploy chiasmus to your cloud

Ship this repo to production in minutes. Each platform spins up its own environment with editable env vars.

Vercel Railway Render

Embeddable badge

Maintain this repo? Add a badge to your README

Drop the badge into your GitHub README to show it's tracked on ClaudeWave. Each badge links back to this page and reflects the live Trust Score.

Markdown (README)

[![Featured on ClaudeWave](https://claudewave.com/api/badge/yogthos-chiasmus)](https://claudewave.com/repo/yogthos-chiasmus)

HTML

<a href="https://claudewave.com/repo/yogthos-chiasmus"><img src="https://claudewave.com/api/badge/yogthos-chiasmus" alt="Featured on ClaudeWave: yogthos/chiasmus" width="320" height="64" /></a>