QCP (Qualified C Programming), a C program verification tool
Latest release QCP-V2.1.4 — QCP-v2.1.4 · 15 Oct 2026
6 files for Claude Code, Codex and OpenCode: final-check, group-worker-proving, vc-checking, verification-orchestrator and 2 more — 114 tokens loaded in every session.
AGENTS.md A 114 tok .agents/skills-en/final-check/SKILL.md A 42 tok .agents/skills-en/group-worker-proving/SKILL.md A 75 tok .agents/skills-en/vc-checking/SKILL.md A 95 tok .agents/skills-en/verification-orchestrator/SKILL.md A 58 tok .agents/skills-en/annotation-designing/SKILL.md A 56 tok 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.