Chiasmus MCP Server
Chiasmus is an MCP server that gives language models access to formal verification
About
Chiasmus is an MCP server that gives language models access to formal verification
Features
- Chiasmus is an MCP server that gives language models access
Use Cases
Maintainer
Works with
Installation
Manual Installation
npx chiasmusExamples
Basic Configuration
Configure Chiasmus MCP Server
npx chiasmusConfiguration
Configuration Details
claude_desktop_config.json
Not available
Security
Authentication
Features
Performance
Response Metrics
Resource Usage
Similar AI/ML Servers
Other popular servers in the same category.
N8N MCP Server
★ 188.9kFair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.
Ecc MCP Server
★ 187.8kThe agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
Dify MCP Server
★ 142.1kProduction-ready platform for agentic workflow development.
Open Webui MCP Server
★ 138.0kUser-friendly AI Interface (Supports Ollama, OpenAI API, ...)
Gemini Cli MCP Server
★ 104.4kAn open-source AI agent that brings the power of Gemini directly into your terminal.
Awesome Mcp Servers MCP Server
★ 87.2kA collection of MCP servers.
Set Up Chiasmus MCP Server in Your Editor
Choose your AI client for step-by-step setup instructions.
Quick Config Preview
Add this to your claude_desktop_config.json or .cursor/mcp.json
Ready to use Chiasmus MCP Server?
Browse our complete directory of 60+ MCP servers, read setup guides for your editor, and start building with the Model Context Protocol.