AdaCore/skills

2 files for Codex, OpenCode and Claude Code: skills AGENTS.md, skills CLAUDE.md — 1,556 tokens loaded in every session.

28Stars on the repository

2Files it configures its agents with

1,556Tokens loaded in every session

3Agents configured

Instructions

skills AGENTS.md AGENTS.md A 6 tok
skills CLAUDE.md CLAUDE.md A 1,550 tok

These files are AdaCore/skills's own configuration — they tell Codex, OpenCode and Claude Code 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.