Chiasmus
Chiasmus is an MCP server that gives language models access to formal verification
Power your agent
Add this server
Install from the publisher. Not a PlugMCP endpoint.
No packaged release in the registry yet. Follow the repository README.
Provider
Remote URL or a command on your machine? How the two installs differ
Run on PlugMCP
Host a copy with our keys and logs.
A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.
LaunchRelated MCP
View more- EditorOpen-source 3D architectural editor with a local CLI, MCP tools, and practical workflows for humans and AI agents.
- Trigger.devTrigger.dev β build and deploy durable AI agents and workflows
- Hexstrike AiHexStrike AI MCP Agents is an advanced MCP server that lets AI agents (Claude, GPT, Copilot, etc.) autonomously run 150+ cybersecurity tools for automated pentesting, vulnerability discovery, bug boun
Related skills
View all- reaReverse engineer anything with agents, from app behavior down to native binaries.
- rea-changelog-updatePrepare or rewrite REA release changelogs and GitHub release notes from pinned Git history, with verified contributor thanks and Release Please synchronization.
- rea-tool-designDesign or change REA investigation tools, CLI/MCP contracts, provider capabilities, and Evidence semantics.
Chiasmus is an MCP server that gives language models access to formal verification
README is not crawled yet. Open the repository
- How do I install Chiasmus?
- Copy the stdio config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.
- Does Chiasmus need an API key?
- No required environment variable is listed on this record.
- What transport does Chiasmus use?
- Chiasmus runs locally over stdio.
- When was Chiasmus last checked?
- Last checked 2026-10-16. Chiasmus is an MCP server that gives language models access to formal verification
No tool list yet. Remote servers get one after the first health check.