claudecodexplugins
Claude
Codex
Marketplaces
Add plugin
Plugins
/
AdaCore
1 repository with Claude Code or Codex plugins.
adacore-skills
28
1 plugin · AdaCore/skills