chiasmus
Chiasmus is an MCP server that gives language models access to formal verification
- 218 stars
- 12 forks
- 3 open issues
- Language: TypeScript
- License: Apache-2.0
- updated
Install
git clone https://github.com/yogthos/chiasmus{
"mcpServers": {
"chiasmus": {
"command": "node",
"args": ["/path/to/chiasmus/dist/index.js"]
}
}
}{
"mcpServers": {
"chiasmus": {
"command": "node",
"args": ["/path/to/chiasmus/dist/index.js"]
}
}
}- Run the command above in your terminal (Claude Code), or paste the JSON config into claude_desktop_config.json (Claude Desktop).
- Replace any <placeholder> values with your API keys or paths.
- Restart Claude. The MCP server and its tools appear automatically.
Clone https://github.com/yogthos/chiasmus and follow its README for install instructions.
MCP Servers overview
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 218 GitHub stars and its last recorded update is dated 2026-10-18.
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?
Our security agent has analyzed yogthos/chiasmus and assigned a Trust Score of 97/100 (tier: Verified). See the full breakdown of passed checks and flags on this page.
Who maintains yogthos/chiasmus?
yogthos/chiasmus is maintained by yogthos. The last recorded GitHub activity is dated 2026-10-18, with 3 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.