Chiasmus is an MCP server that gives language models access to formal verification - View it on GitHub