Latest release v0.0.1 — v0.0.1 — Initial release · 15 Apr 2026
2 files for GitHub Copilot, Claude Code, Codex and OpenCode: prove-it copilot-instructions.md, prove-it AGENTS.md — 4,075 tokens loaded in every session.
.github/copilot-instructions.md A 375 tok AGENTS.md B 3,700 tok These files are MeenakshiSundaram-MS/prove-it's own configuration — they tell GitHub Copilot, 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.