https://github.com/yogthos/chiasmus

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

ai-agents ai-assistant ai-tools formalmethods llm mcp mcp-server prolog z3-smt-solver

Last synced: 28 May 2026