Chiasmus

Overview

Chiasmus is an MCP server that enables language models to access formal verification tools. It is designed for developers and researchers working with AI and formal methods who need robust verification capabilities.