This skill should be used when the user asks about "verification slots", "integrating a linter", "adding a deterministic tool", "harness-enforcer", "constraint enforcement interface", "wrapping a…

Custom licenceAuto-check passedDevelopment

Install Verification Slots

skills CLI
$ npx skills add Habitat-Thinking/ai-literacy-superpowers --skill verification-slots -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install Habitat-Thinking/ai-literacy-superpowers verification-slots --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/Habitat-Thinking/ai-literacy-superpowers.git skills-src && mkdir -p .claude/skills && cp -r skills-src/ai-literacy-superpowers/skills/verification-slots .claude/skills/verification-slots && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
verification-slots
GitHub stars
114
Token cost
~1.1k tokens
SKILL.md length
533 words
Files
2 (incl. references)
Skills in repo
42
Repo updated
First seen
Licence
Custom licence

At a glance

This skill should be used when the user asks about "verification slots", "integrating a linter", "adding a deterministic tool", "harness-enforcer", "constraint enforcement interface", "wrapping a…

  • Works in 4 steps: Identify a tool that checks the… → Verify it runs locally and produces… → Update the constraint in HARNESS.md: set… → …
  • Asks about verification slots
  • SKILL.md covers The Contract, How the Enforcer Decides, Deterministic Tool Integration and Agent-Based Verification, plus 3 more sections
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Verification Slots is an agent skill from Habitat-Thinking/ai-literacy-superpowers. This skill should be used when the user asks about "verification slots", "integrating a linter", "adding a deterministic tool", "harness-enforcer", "constraint enforcement interface", "wrapping a tool", or needs the technical reference for how deterministic and agent-based checks work in the harness framework.

Its SKILL.md is about 1.1k tokens, which your agent loads only when the skill is triggered. The skill folder holds 2 other files, including reference files (for example `references/tool-integration.md`).

It sits in Development, covering Linting and formatting. The repository describes itself as: A set of Claude Code and GitHub Copilot plugins providing the AI Literacy framework's complete development workflow — harness engineering, agent orchestration, literate….

When your agent uses it

  • Asks about verification slots
  • Integrating a linter
  • Adding a deterministic tool
  • Harness-enforcer

Example prompts

  • “verification slots”
  • “integrating a linter”
  • “adding a deterministic tool”
  • “/verification-slots”

Workflow steps

4 steps, taken from the first numbered list in SKILL.md.

  1. Identify a tool that checks the constraint (linter, formatter,
  2. Verify it runs locally and produces usable output
  3. Update the constraint in HARNESS.md: set enforcement to
  4. Run /harness-audit to confirm the tool works in the harness

What it can do on your machine

Read from SKILL.md and the folder at commit 9d35995. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md.

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Verification Slots loads about 1.1k tokens when it runs, and up to ~1.7k if it reads all its reference files. Until then it costs about 83 tokens; SKILL.md has 533 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~83
When it runs · the whole SKILL.md, loaded when a task matches
~1.1k
With references · SKILL.md plus every file in references/, read only if the agent opens them
~1.7k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

Its licence (Custom licence) doesn't allow us to republish the file, so here is its outline and opening line. It has 533 words (~1,090 tokens).

“The verification slot is the harness framework's core technical abstraction. Every constraint — whether backed by a linter, a formatter, a structural test, or an LLM agent — is checked through the same interface. This uniformity means the rest of…”

— opening of SKILL.md by Habitat-Thinking, Custom licence
name
verification-slots

Read the full SKILL.md on GitHub

Files

SKILL.md and 1 other file (references) in ai-literacy-superpowers/skills/verification-slots of Habitat-Thinking/ai-literacy-superpowers.

  • SKILL.md
  • references/tool-integration.md

Open the folder on GitHubat commit 9d35995

Compare with similar skills

Verification Slots next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Verification Slots compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Verification Slots this skillHabitat-Thinking/ai-literacy-superpowers114—~1.1kAutomated safety check: PassCustom licence
Minimizing Ty Ecosystem Changesastral-sh/ruff50k—~4.6kAutomated safety check: PassMIT
Install Anti-Slop Oxlint Rulesdmmulroy/anti-slop5.3k—~2.2kAutomated safety check: PassMIT
Babysit PR To Pass CIsgl-project/sglang37k2 repos~3kAutomated safety check: PassApache-2.0
Rust Best Practicesfarm-fe/farm5.6k3 repos~1.1kAutomated safety check: PassMIT
Summarise Ecosystem Resultsastral-sh/ruff50k—~2.2kAutomated safety check: PassMIT

Similar skills

  • Official

    A skill your agent uses when a user says "minimize this ty ecosystem change", "reproduce this ecosystem result", "investigate a primer difference", "investigate a mypyprimer difference"…

    50k GitHub stars~4.6k tokensUpdated today
    DevelopmentAuto-check passed
  • Installs, updates or migrates the vendored anti-slop Oxlint plugin in a repository, keeping local rule changes and the plugin's license and provenance files.

    5.3k GitHub stars~2.2k tokensUpdated 29 days ago
    DevelopmentAuto-check passed
  • Babysit PR To Pass CI

    sgl-project/sglang

    Start and persistently pursue a goal to babysit an SGLang pull request until selected GitHub Actions workflows pass on the latest PR head.

    37k GitHub starsUsed in 2 repos~3k tokens
    DevelopmentAuto-check passed
  • Guide for writing idiomatic Rust code based on Apollo GraphQL's best practices handbook.

    5.6k GitHub starsUsed in 3 repos~1.1k tokens
    DevelopmentAuto-check passed
  • Official

    A skill your agent uses when a user says "summarise ecosystem results", "summarize this ty ecosystem report", "what changed in this ecosystem run?", or asks to summarise or summarize ty ecosystem…

    50k GitHub stars~2.2k tokensUpdated today
    DevelopmentAuto-check passed
  • Go Pedantry

    chromedp/chromedp

    This skill should be used when the user is writing Go code and needs guidance on Go-specific pedantry: error wrapping with fmt.Errorf and %w, interface design (accept interfaces return structs)…

    13k GitHub stars~3.7k tokensUpdated 4 days ago
    DevelopmentAuto-check passed

More from Habitat-Thinking/ai-literacy-superpowers

All 42 skills in this repo
  • Advocatus Diaboli

    Habitat-Thinking/ai-literacy-superpowers

    A skill your agent uses when acting as the adversarial spec reviewer — raises steel-manned objections across six categories before plan approval, requires evidence per objection, and discloses what…

    114 GitHub stars~4.2k tokensUpdated 19 days ago
    Auto-check passed
  • AI Literacy Assessment

    Habitat-Thinking/ai-literacy-superpowers

    This skill should be used when the user asks to "assess AI literacy", "run an assessment", "check literacy level", "evaluate our AI collaboration", "where are we on the framework", or wants to…

    114 GitHub stars~3.7k tokensUpdated 19 days ago
    Auto-check passed
  • Carpaccio

    Habitat-Thinking/ai-literacy-superpowers

    A skill your agent uses when acting as the cadence governor — slices a raw task description into thin, end-to-end-complete pieces before any spec is written; produces a structured slicing record for…

    114 GitHub stars~1.8k tokensUpdated 19 days ago
    Auto-check passed
  • Choice Cartographer

    Habitat-Thinking/ai-literacy-superpowers

    A skill your agent uses when acting as the decision-archaeology agent — surfaces decisions a spec has made (including the silent ones), emits each material choice as a Henney-style pattern story for…

    114 GitHub stars~4.1k tokensUpdated 19 days ago
    Auto-check passed
  • Constraint Design

    Habitat-Thinking/ai-literacy-superpowers

    This skill should be used when the user asks to "add a constraint", "design a constraint", "write a harness rule", "choose enforcement type", "promote a constraint", "configure a verification slot"…

    114 GitHub stars~1.8k tokensUpdated 19 days ago
    Auto-check passed
  • Cost Tracking

    Habitat-Thinking/ai-literacy-superpowers

    A skill your agent uses when the user wants to capture AI tool costs, review spending trends, set cost budgets, or integrate cost data into health snapshots — guides quarterly cost capture, records…

    114 GitHub stars~1.7k tokensUpdated 19 days ago
    Auto-check passed

Categories

Questions about Verification Slots

What does Verification Slots do?

This skill should be used when the user asks about "verification slots", "integrating a linter", "adding a deterministic tool", "harness-enforcer", "constraint enforcement interface", "wrapping a…. Verification Slots is an agent skill from Habitat-Thinking/ai-literacy-superpowers. This skill should be used when the user asks about "verification slots", "integrating a linter", "adding a deterministic tool", "harness-enforcer", "constraint enforcement interface", "wrapping a tool", or needs the technical reference for how deterministic and agent-based checks work in the harness framework.

When should I use Verification Slots?

Verification Slots fits situations like: asks about verification slots; integrating a linter; adding a deterministic tool; harness-enforcer.

How do I install Verification Slots in Claude Code?

Run `npx skills add Habitat-Thinking/ai-literacy-superpowers --skill verification-slots -a claude-code`. Or copy the skill folder (ai-literacy-superpowers/skills/verification-slots in Habitat-Thinking/ai-literacy-superpowers) into .claude/skills/verification-slots in your project. Claude Code loads it when a task matches its description.

How do I install Verification Slots in Codex?

Run `npx skills add Habitat-Thinking/ai-literacy-superpowers --skill verification-slots -a codex`. Or copy the skill folder (ai-literacy-superpowers/skills/verification-slots in Habitat-Thinking/ai-literacy-superpowers) into .agents/skills/verification-slots in your project. Codex loads it when a task matches its description.

Can I use Verification Slots in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add Habitat-Thinking/ai-literacy-superpowers --skill verification-slots -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/verification-slots, .gemini/skills/verification-slots, .github/skills/verification-slots and .opencode/skills/verification-slots in your project.

What does Verification Slots need to run?

SKILL.md names no scripts, command-line tools or credentials: Verification Slots is instructions for the agent only.

Does Verification Slots access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Verification Slots safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Verification Slots use?

Verification Slots has a licence file (the repository's licence) that doesn't match a standard licence. Read it on GitHub before reusing the skill.

How many tokens does Verification Slots use?

About 1.1k tokens (SKILL.md is roughly 4.4k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 624 tokens, read only when the agent opens those files.

What are the alternatives to Verification Slots?

Skills that share tags, products or a category with Verification Slots: Minimizing Ty Ecosystem Changes (astral-sh/ruff, 50k stars), Install Anti-Slop Oxlint Rules (dmmulroy/anti-slop, 5.3k stars), Babysit PR To Pass CI (sgl-project/sglang, 37k stars) and Rust Best Practices (farm-fe/farm, 5.6k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Verification Slots?

Habitat-Thinking (a GitHub organization) maintains it in Habitat-Thinking/ai-literacy-superpowers, which has 114 GitHub stars. The repository holds 42 skills in this directory. The repository was last updated on September 20, 2026.

Source: Habitat-Thinking/ai-literacy-superpowers on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.