Register ada-spark plugin in marketplace (25 -> 26 plugins)#362
Conversation
Add the ada-spark skill plugin (agent-sh/ada-spark v0.1.0) to the
marketplace, pinned to tag v0.1.0 / commit d84e4ef. Mirror the name in
plugins.txt and represent it in generated docs.
Skill teaches agents to write idiomatic, correct, current Ada and SPARK
(Ada 2022) and blocks stale pre-2022 advice (GNAT Community, pragma
contracts, CodePeer); links to upstream docs (no bundled deep-dive).
Sync all plugin-count stat surfaces in lockstep (25 -> 26 plugins,
46 -> 47 skills; agents unchanged at 50):
- generate-docs.js: add 'ada-spark' to STATIC_PLUGIN_AGENT_COUNTS (count
-> 26), CATEGORY_MAP ('Languages'), and STATIC_SKILLS (skill -> 47).
- marketplace.json root description 25 -> 26 plugins + Ada/SPARK support.
- Regenerate GEN blocks (AGENTS.md, docs/reference/AGENTS.md,
site/content.json) and refresh hand-maintained count surfaces (README,
site/index.html, site/ux-spec.md, docs/ARCHITECTURE.md,
docs/CROSS_PLATFORM.md); add ada-spark to the README Languages table.
Full suite green (3518 passed); gen-docs --check fresh.
There was a problem hiding this comment.
Pull request overview
Registers the external ada-spark skill plugin in the AgentSys marketplace and updates generated/hand-maintained docs and site metadata so global plugin/skill counts remain consistent.
Changes:
- Add
ada-sparkto.claude-plugin/marketplace.json(URL source withref+ immutablecommitpin). - Update docs generation inputs (
scripts/generate-docs.js,scripts/plugins.txt) to includeada-sparkand reflect 26 plugins / 47 skills. - Refresh site + documentation count surfaces (
README.md,AGENTS.md,docs/*,site/*) to match regenerated totals.
Reviewed changes
Copilot reviewed 11 out of 11 changed files in this pull request and generated 1 comment.
Show a summary per file
| File | Description |
|---|---|
site/ux-spec.md |
Updates UX-spec copy for plugin/skill counts and meta description strings. |
site/index.html |
Updates meta descriptions and hero badge counts to 26/47. |
site/content.json |
Updates site metadata description and stats counters (plugins/skills). |
scripts/plugins.txt |
Adds ada-spark to the marketplace plugin-name manifest. |
scripts/generate-docs.js |
Adds ada-spark to category mapping, static skills list, and static plugin agent-count map. |
README.md |
Updates global counts and adds ada-spark to the Languages skills table. |
docs/reference/AGENTS.md |
Updates plugin count and notes ada-spark as a skill-only plugin. |
docs/CROSS_PLATFORM.md |
Updates the OpenCode skills count to 47. |
docs/ARCHITECTURE.md |
Updates architecture note from 25 -> 26 plugins. |
AGENTS.md |
Updates architecture block counts and adds ada-spark row; updates agents summary line. |
.claude-plugin/marketplace.json |
Adds ada-spark plugin entry and updates root description to 26 plugins. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
| ## Agents | ||
|
|
||
| 50 agents across 25 plugins (18 have agents; gate-and-ship is commands-only; axiom, banthis, skill-curator, and system-prompt-curator are skill/command-only; zig-lsp is config-only with no commands or agents; mojo is skill-only). Key agents by model: | ||
| 50 agents across 26 plugins (18 have agents; gate-and-ship is commands-only; axiom, banthis, skill-curator, and system-prompt-curator are skill/command-only; zig-lsp is config-only with no commands or agents; mojo and ada-spark are skill-only). Key agents by model: |
There was a problem hiding this comment.
Fixed in 0c454e8. You're right - agnix has 0 agents since v5.13.5, so 17 plugins have agents. Updated AGENTS.md to '17 have agents' and added agnix to the skill/command-only list, matching the generated docs/reference/AGENTS.md.
Bump 5.13.5 -> 5.14.0 (minor: two new marketplace plugins). Stamp
version across package.json, .claude-plugin/{plugin,marketplace}.json,
and site/content.json. Document the ada-spark and mojo registrations in
CHANGELOG (plugins 24 -> 26, skills 45 -> 47).
Addresses Copilot review on #362: agnix has 0 agents since v5.13.5, so 17 plugins have agents, matching the generated docs/reference/AGENTS.md agents-counts. Add agnix to the skill/command-only list.
There was a problem hiding this comment.
Code Review
This pull request adds the ada-spark plugin to the agentsys marketplace, updating descriptions, counts, and tables across documentation and website files to reflect 26 plugins and 47 skills. Feedback highlights the need to correct the count of plugins with agents in AGENTS.md, update the documentation generator script's purpose map for the new plugin, and synchronize stale hardcoded statistics in the website's stats bar.
| ## Agents | ||
|
|
||
| 50 agents across 25 plugins (18 have agents; gate-and-ship is commands-only; axiom, banthis, skill-curator, and system-prompt-curator are skill/command-only; zig-lsp is config-only with no commands or agents; mojo is skill-only). Key agents by model: | ||
| 50 agents across 26 plugins (17 have agents; gate-and-ship is commands-only; axiom, banthis, skill-curator, system-prompt-curator, and agnix are skill/command-only; zig-lsp is config-only with no commands or agents; mojo and ada-spark are skill-only). Key agents by model: |
There was a problem hiding this comment.
The count of plugins with agents is incorrect. Based on the project metadata and the update in docs/reference/AGENTS.md, there are 17 plugins with agents, not 18. Additionally, agnix (which has 0 agents in STATIC_PLUGIN_AGENT_COUNTS) is missing from the list of plugins without agents.
| 50 agents across 26 plugins (17 have agents; gate-and-ship is commands-only; axiom, banthis, skill-curator, system-prompt-curator, and agnix are skill/command-only; zig-lsp is config-only with no commands or agents; mojo and ada-spark are skill-only). Key agents by model: | |
| 50 agents across 26 plugins (17 have agents; gate-and-ship is commands-only; axiom, banthis, agnix, skill-curator, and system-prompt-curator are skill/command-only; zig-lsp is config-only with no commands or agents; mojo and ada-spark are skill-only). Key agents by model: |
References
- When presenting statistics, ensure the labels and counts are precise. For example, a plugin with zero skills should not be counted in a total of 'skill-contributing plugins'.
| | can-i-help | 1 | 1 | Contributor guidance | | ||
| | zig-lsp | 0 | 0 | | | ||
| | mojo | 0 | 1 | | | ||
| | ada-spark | 0 | 1 | | |
There was a problem hiding this comment.
| <div class="hero__content"> | ||
| <div class="hero__badge anim-fade-in" data-delay="100"> | ||
| 25 plugins · 50 agents · 46 skills | ||
| 26 plugins · 50 agents · 47 skills |
There was a problem hiding this comment.
While the hero badge has been updated, the hardcoded statistics in the Stats Bar section (lines 159, 163, and 167) still contain stale data-target values (24, 49, 45). These should be updated to 26, 50, and 47 respectively to maintain consistency across the landing page.
References
- When presenting statistics, ensure the labels and counts are precise.
| - Registered the `mojo` skill plugin (`agent-sh/mojo` v0.2.0, pinned `v0.2.0` / `4d6f5fe`) in the marketplace. Teaches agents to write idiomatic, current Mojo (v1.0.0b1) - syntax, ownership and CPU/memory optimization, GPU kernels, and Mojo/Python interop; prevents stale pre-2025 syntax. Mapped to the `Languages` skill category. | ||
|
|
||
| ### Changed | ||
| - Synced plugin/skill count surfaces across `README.md`, `AGENTS.md`, `docs/reference/AGENTS.md`, `docs/ARCHITECTURE.md`, `docs/CROSS_PLATFORM.md`, `site/content.json`, `site/index.html`, and `site/ux-spec.md` for the two new language plugins: plugins `24 -> 26`, skills `45 -> 47` (agents unchanged at 50). Added `ada-spark` and `mojo` to `STATIC_PLUGIN_AGENT_COUNTS`, `CATEGORY_MAP`, and `STATIC_SKILLS` in `scripts/generate-docs.js`, and to `scripts/plugins.txt`. |
| lib/ → Shared library (vendored to plugins) | ||
| plugins/ → 25 plugins, 50 agents (40 file-based + 10 role-based), 46 skills | ||
| plugins/ → 26 plugins, 50 agents (40 file-based + 10 role-based), 47 skills | ||
| adapters/ → Platform adapters (opencode-plugin/, opencode/, codex/) |
| { | ||
| "name": "agentsys", | ||
| "version": "5.13.5", | ||
| "version": "5.14.0", | ||
| "description": "A modular runtime and orchestration system for AI agents - works with Claude Code, OpenCode, and Codex CLI", |
Adds the ada-spark skill plugin (agent-sh/ada-spark v0.1.0) to the marketplace, pinned to tag
v0.1.0/ commitd84e4ef. Mirrors the established external-plugin flow used formojo(#358, #361).What it adds
Skill teaches agents to write idiomatic, correct, current Ada and SPARK (Ada 2022) and blocks stale pre-2022 advice (GNAT Community, pragma contracts, CodePeer). Links to upstream docs; no bundled deep-dive.
Changes
marketplace.json: ada-spark entry (url source, ref + commit pin) + root description25 -> 26plugins, Ada/SPARK support.scripts/generate-docs.js:ada-sparkadded toSTATIC_PLUGIN_AGENT_COUNTS(-> 26),CATEGORY_MAP(Languages),STATIC_SKILLS(-> 47).scripts/plugins.txt:ada-sparkadded.AGENTS.md,docs/reference/AGENTS.md,site/content.json) and refreshed hand-maintained count surfaces (README.md,site/index.html,site/ux-spec.md,docs/ARCHITECTURE.md,docs/CROSS_PLATFORM.md); ada-spark added to README Languages table.All stat surfaces synced in lockstep: 25 -> 26 plugins, 46 -> 47 skills; agents unchanged at 50.
Validation
npm test: 3518 passed, 39 skipped (87 suites).npm run gen-docs:check: fresh.marketplace.json: valid JSON.Note: README/AGENTS site listings updated; the agentsys version bump/release is left to maintainers.