claudecodex

ada-spark

Teach agents to write idiomatic, correct, current Ada and SPARK (Ada 2022) - contracts (aspects, Pre'Class), the Alire ecosystem, SPARK proof (AoRTE, assurance levels, ownership/borrow), embedded (Ravenscar/Jorvik), and GNAT/GNAT SAS tooling; blocks stale pre-2022 advice (GNAT Community, pragma contracts, CodePeer)

1,015 on GitHubby Avi Feneshv0.2.0MITupdated 3 days agodevelopment
/

Plugin ada-spark from marketplace agentsys in agent-sh/agentsys. Commands read from the repo's manifest — 3 days ago.

What it installs

Skills (1)

  • ada-spark

    Use when writing, porting, reviewing or proving Ada or SPARK code (.adb, .ads, .gpr, alire.toml), including contracts, GNATprove, Alire projects and embedded runtimes. Not for Apache Spark or other languages.

View source on GitHub agent-sh.github.io

More from agent-sh/agentsys

All 11 plugins →

skillers

claude

Learn from workflow patterns across sessions and suggest skills, hooks, and agents to automate repetitive work

2 skills · 1 command · 2 agents

1,015

agnix

claude

Lint agent configuration files (SKILL.md, CLAUDE.md, hooks, MCP) against 455 rules across 10+ AI tools

1 skill · 1 command · 1 agent

1,015

deslop

claude

3-phase AI slop detection: regex patterns (HIGH), multi-pass analyzers (MEDIUM), CLI tools (LOW)

1 skill · 1 command · 1 agent

1,015

learn

claude

Research topics online and create comprehensive learning guides with RAG-optimized indexes

1 skill · 1 command · 1 agent

1,015

banthis

claudecodex

Durable negative behavior memory: persist user-defined banned agent behaviors into CLAUDE.md or AGENTS.md

1 skill · 1 command

1,015

foreman

claude

GitHub issues as a task queue for native agents: pick, claim, worktree workers, Revuto findings, land through the repo's own land command

1 skill · 1 command

1,015

Similar plugins

superpowers

claudecodex

Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques

15 skills · hooks

obra/superpowers 316,836

context7

claudecodex

Up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.

1 MCP server

upstash/context7 64,709

cli-anything

claude

Build powerful, stateful CLI interfaces for any GUI application using the cli-anything harness methodology.

5 commands

HKUDS/CLI-Anything 58,665

agent-browser

claude

Automates browser interactions for web testing, form filling, screenshots, and data extraction

12 skills

vercel-labs/agent-browser 50,373

Open Code Review

codex

Use Alibaba Open Code Review from local Codex.

2 skills

alibaba/open-code-review 50,068

slidev

claude

Claude Code skill for creating and presenting Slidev slidedecks

1 skill

slidevjs/slidev 49,452

Maintain ada-spark?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex plugins11 plugins