exhaustive

exhaustive is a skill for Claude Code, Codex from OutlineDriven/odin-claude-plugin. It costs 77 tokens per session (1,255 once invoked), scanned A, original, Apache-2.0.

A method for proving that every case in a defined decision, state, requirement, or behaviour space has been checked. Each case is marked as covered, a gap, or deferred with an executed check.

In plain words
What is it for?
Use it to enumerate state-machine outcomes, design choices, requirements, exported symbols, or reachable paths during audits and refactors.
Why use it?
It replaces informal confidence with a traceable list showing what was checked and what remains unresolved.

Skill for Claude CodeCodex

Written for Claude Code and Codex: shipped in a Claude Code plugin, but also agents/openai.yaml present.

Part of the odin-code-advanced plugin — 30 skills shipped together

Good fit Use it to enumerate state-machine outcomes, design choices, requirements, exported symbols, or reachable paths during audits and refactors.

Compare 6 skills from other repositories ↓
Install with agentmods
npx agentmods add skills/outlinedriven/odin-claude-plugin/exhaustive
Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

Any agent
npx skills add OutlineDriven/odin-claude-plugin --skill exhaustive
Clone the repo
git clone --depth 1 https://github.com/OutlineDriven/odin-claude-plugin

Made for: Claude Code, Codex.

Or install odin-code-advanced, the plugin that ships this one along with the rest of its 30 skills.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for exhaustive

README.md
[![agentmods](https://agentmods.dev/badge/skills/outlinedriven/odin-claude-plugin/exhaustive/github.svg)](https://agentmods.dev/skills/outlinedriven/odin-claude-plugin/exhaustive)
Your own site
<a href="https://agentmods.dev/skills/outlinedriven/odin-claude-plugin/exhaustive"><img src="https://agentmods.dev/badge/skills/outlinedriven/odin-claude-plugin/exhaustive/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for exhaustive

Your own site · 80×15
<a href="https://agentmods.dev/skills/outlinedriven/odin-claude-plugin/exhaustive"><img src="https://agentmods.dev/badge/skills/outlinedriven/odin-claude-plugin/exhaustive.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 77 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 1,255 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe. Third-party audits
  • NVIDIA SkillSpector pass 7 Sept 2026
How audits are shown
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00077 $0.01255
Opus 5 $0.00039 $0.00628
Sonnet 5 $0.00015 $0.00251
Haiku 4.5 $0.00008 $0.00126

Measured 6d ago against content hash 9f8ef33f1ac3, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-10, from the pricing page.

Security

Grade A, and why

exhaustive scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 6d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

plugins/odin-code-advanced/skills/exhaustive/SKILL.md · 55 lines

How it starts

The opening of the file, as written. The whole thing — 55 lines — stays where its author put it; the contents beside it link to each section on GitHub.

Exhaustive

Contract

Field Bound contract
Trigger The user says "exhaustive", "prove coverage", "did I miss any case", "enumerate the state space", or asks for a completeness audit before done.
Authority Reversible-local: read-only on the target source; the only write is the coverage manifest artifact, whose rollback is discarding or deleting that file.
Side effect Writes one classified coverage manifest (human-readable or exhaustive-manifest/v1 YAML) with gaps prepared in dependency order; no source, VCS, config, or remote mutation.
Done The manifest has zero unclassified cells and a one-line tally; for code state spaces the wildcard-catch-all assertion holds.

Inputs

  • Must be supplied: the target surface to audit — a code area, a spec or feature, a design with open forks, or a refactor/deletion scope.
  • Optional: a request for machine-readable exhaustive-manifest/v1 output; user-applied fixes to individual gap cells (each triggers exactly one re-enumeration).
  • If the target space is unbounded or unidentifiable after one read, stop and ask one question to bound it; do not enumerate an infinite space.

Procedure

  1. Choose and name the enumeration that fits the target; restate the choice in the output so the reader knows which space was covered:

    • State space — code with lifecycle, state machines, or error paths: the State × Event × Outcome Cartesian matrix.
    • Decision space — a design with open forks: the dependency-respecting set of decision axes.
    • Requirement space — a spec or feature: the requirement-to-symbol map, each acceptance criterion traced to a code or test symbol.
    • Behavior surface — a refactor or deletion: every exported symbol and reachable path in scope.

    Enumeration is algorithmic and single-pass; it is not round-based questioning or hypothesis sampling. Done when: the enumeration type is chosen, named, and restated.

  2. Enumerate the full cell list for the chosen space with tool-backed discovery: structural search for code constructors and match arms, reference search for symbols and callsites, direct reads for spec criteria. Every cell carries an id and a one-line description. The list is the universe: nothing outside it is in scope, and nothing inside it may be silently dropped. Done when: the full cell list is enumerated with every cell carrying an id and description.

Read the full file on GitHub · 55 lines

Files

What ships with it

1 file beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 6d ago Changed · +16 lines · -11 tokens per session 9f8ef33f1ac3
  2. 10d ago First seen · 39 lines · 88 tokens per session scan A f7a1117151f6

Subscribe to this mod's changes

exhaustive is a skill published in the GitHub repository OutlineDriven/odin-claude-plugin (35 stars, last pushed yesterday), licensed Apache-2.0. It adds 77 tokens to every session and 1,255 once invoked, about $0.0004 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.

Related

Other skills, from other repositories

systematic-debugging

Use when encountering any bug, test failure, or unexpected behavior, before proposing fixes.

obra/superpowers · 21 tokens

local-ai-agents

Build local-first AI agents that run entirely on a developer workstation with Microsoft Foundry Local and Qwen function-calling models. Covers Small Language Models (SLMs), the OpenAI-compatible local endpoint, sandboxed local tools, local RAG with Chroma, local MCP servers, hybrid cloud/local routing, and the…

microsoft/ai-agents-for-beginners · 200 tokens

next-cache-components-adoption

Turn on Cache Components in a Next.js app and resolve the blocking routes it surfaces. Use when the user wants to enable, adopt, or migrate to Cache Components, flip the cacheComponents flag, work through a flood of blocking-prerender / instant validation errors, run the cache-components-instant-false codemod, or…

vercel/next.js · 95 tokens

insight-error-page

Write or audit an insight-kind error page for the Next.js dev overlay. Use when creating a new errors/ .mdx page, auditing an existing one, or checking that a page matches the framework fix cards. Covers page structure, title alignment, FixCard cards with Copy prompt button, code snippets, terminology verification…

vercel/next.js · 83 tokens

next-cache-components-optimizer

Drive a Next.js route to instant navigation by setting up an agentic loop, under Cache Components / PPR, on initial load (hard navigation) and client-side navigation (soft navigation). Encode the goal as a failing @next/playwright instant() e2e and work it to green, one verified route at a time; the shipped test then…

vercel/next.js · 170 tokens

next-partial-prefetching-adoption

Turn on Partial Prefetching in a Next.js app and work through the insights it surfaces. Use when the user wants to enable or adopt Partial Prefetching, flip the partialPrefetching flag, opt routes in with export const prefetch = 'partial', audit Link prefetch={true} behavior, preserve existing prefetched UI with…

vercel/next.js · 103 tokens