skills: Instructions file for Claude Code

CLAUDE.md

What This Repository Is

A plugin marketplace of agent skills for AdaCore tools. The whole toolchain ships as a single adacore plugin that bundles five skills (alire, gnatdoc, gnatfuzz, gnatprove, gnattest). Users install once and get the full set of Ada/SPARK skills.

Repository Structure

skills/
├── .claude-plugin/
│   └── marketplace.json          # Claude Code marketplace catalog
├── .agents/plugins/
│   └── marketplace.json          # OpenAI Codex marketplace catalog
├── .cursor-plugin/
│   └── marketplace.json          # Cursor marketplace catalog
├── plugins/
│   └── adacore/
│       ├── .claude-plugin/
│       │   └── plugin.json       # Per-plugin manifest (Claude Code)
│       ├── .codex-plugin/
│       │   └── plugin.json       # Per-plugin manifest (Codex; mirror of above)
│       ├── .cursor-plugin/
│       │   └── plugin.json       # Per-plugin manifest (Cursor; mirror of above)
│       └── skills/
│           └── <skill-name>/
│               ├── SKILL.md      # Mandatory entry point for the skill
│               ├── README.md     # User-facing overview (optional)
│               └── references/   # Topic-focused reference guides
├── CLAUDE.md
└── README.md

The three marketplaces and three per-plugin manifests exist because each agent looks for its config at a different path. The SKILL.md content itself follows the Agent Skills open standard and is shared across all agents — only the surrounding manifest files are duplicated.

Source path conventions differ slightly between marketplace formats:

• Claude Code: "source": "./plugins/adacore"
• Codex: "source": "./plugins/adacore"
• Cursor: "source": "plugins/adacore" (no leading ./)

Keep the three plugin.json files under plugins/adacore/ in sync — they are content-identical mirrors. The marketplace entries differ structurally: Codex requires policy.installation, policy.authentication, and category per entry; Cursor and Claude Code use description, category, and tags.