MPC Server by yogthos
Chiasmus is an MCP server that gives language models access to formal verification