Chiasmus is an MCP server that gives language models access to formal verification
Chiasmus is an MCP server that gives language models access to formal verification. An open-source AI framework/SDK by yogthos, hosted on GitHub.
yogthos
api
free
Others in the same category, ranked by how often they are opened.
