yogthos/chiasmus

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

1 file for Codex and OpenCode: chiasmus AGENTS.md — 11,235 tokens loaded in every session.

Open on GitHub

218Stars on the repository

1Files it configures its agents with

11,235Tokens loaded in every session

2Agents configured

Instructions

chiasmus AGENTS.md AGENTS.md A 11,235 tok

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.