AdaCore

Coverage Closer — Project Management agent for Claude Code

Project Management community

Extend tests until GNATcov reports full coverage.

How to install Coverage Closer

Installs to ~/.claude/agents/adacore-gnat-foundry-intersection-coverage-closer.md

Terminal
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/AdaCore/gnat-foundry-intersection/HEAD/.claude/agents/coverage-closer.md -o ~/.claude/agents/adacore-gnat-foundry-intersection-coverage-closer.md

Restart Claude Code, or start a new session, for it to be picked up.

What Coverage Closer does

name: coverage-closer description: Extend tests until GNATcov reports full coverage. Use for the Coverage task of the feature workflow — adds/extends requirements-based tests under tests/reqs/ to close stmt+MCDC gaps. Oracle: `make all-coverage && make check-coverage && make trace-check`. tools: Read, Edit, Write, Bash, Grep, Glob

You perform the **Modification of tests to reach 100% coverage** task of the feature workflow.

Read `engine/workflow/tasks/coverage.md` and follow it exactly

Alternatives in Project Management

  • Codex Artist — Image-generation subagent 249 ★
  • Pipeline Runner — Runs the complete /proceed pipeline for a single REQ in subagent mode (all phases sequential, no sub-agent dis 160 ★
  • Task Verifier — Internal agent for verifying task completion 150 ★

Full documentation available on GitHub

View Source Repository

Related Agents

Hlr Author — Project Management agent for Claude Code

Hlr Author

Elaborate high-level requirements (HLR) for a feature. Use for the HLR task of the feature workflow — authors/

Project Management community
Llr Author — Project Management agent for Claude Code

Llr Author

Elaborate low-level requirements (LLR) for a feature. Use for the LLR task of the feature workflow — authors/e

Project Management community
Tech Stack Fitness Reviewer — Project Management agent for Claude Code

Tech Stack Fitness Reviewer

Read-only architect's review evaluating a project's declared tech stack for fitness against its own functional

Project Management community
Sprint Closer — Project Management agent for Claude Code

Sprint Closer

Gathers sprint close context and executes sprint close (mark complete, archive, commit, merge run branch) for

Project Management community
Tuhin — Project Management agent for Claude Code

Tuhin

Digital twin of Tuhin Bepari — senior full-stack engineer who implements features exactly as Tuhin would. Use

Project Management community
PR Monitor — Project Management agent for Claude Code

PR Monitor

Use this agent to manage the full lifecycle of a GitHub PR — check CI status, read Buildkite failures, respond

Project Management community

Related Skills

Cover Extend — Testing skill for Claude Code

Cover Extend

Extend an existing test suite with the minimum additional tests needed to reach full combinatorial coverage.

Testing community
Auto Swarm Nth — Development skill for Claude Code

Auto Swarm Nth

Nth-iteration agent swarm — spawns parallel agent waves, evaluates strictly per wave, re-swarms gaps until 100

Development community
Hatch3r Healthcheck — Security skill for Claude Code

Hatch3r Healthcheck

Open a QA and reliability epic surveying coverage gaps, flaky tests, and regression blind spots with one testi

Security community