QCP (Qualified C Programming), a C program verification tool
These files are QinxiangCao/QualifiedCProgramming's own configuration. They tell Claude Code, 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.
AGENTS.md A 4,998 tok .agents/skills-en/annotation-checking/SKILL.md A 75 tok .agents/skills-en/annotation-filling/SKILL.md A 78 tok .agents/skills-en/final-check/SKILL.md A 45 tok .agents/skills-en/group-worker-proving/SKILL.md A 67 tok .agents/skills-en/vc-checking/SKILL.md A 91 tok .agents/skills-en/verification-orchestrator/SKILL.md A 70 tok