yogthos/chiasmus

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

These files are yogthos/chiasmus's own configuration. They tell Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.