Agent skill

Model Zoo Discipline

Protocol for building and maintaining the finite-structure model zoo and running bounded expansion search (Warp W2).

MITAuto-check passed

Install Model Zoo Discipline

skills CLI

$ npx skills add AHepi/DeepReason --skill model-zoo-discipline -a claude-code

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

GitHub CLI

$ gh skill install AHepi/DeepReason model-zoo-discipline --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/AHepi/DeepReason.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/model-zoo-discipline .claude/skills/model-zoo-discipline && 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/

Paste into Claude Code

Install the "model-zoo-discipline" agent skill from https://github.com/AHepi/DeepReason/tree/main/skills/model-zoo-discipline into .claude/skills/model-zoo-discipline/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "model-zoo-discipline", then confirm the skill loads.

Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

$skill-installer

$skill-installer install https://github.com/AHepi/DeepReason/tree/main/skills/model-zoo-discipline

Type this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.

skills CLI

$ npx skills add AHepi/DeepReason --skill model-zoo-discipline -a codex

Project install goes to .agents/skills/; add -g for ~/.codex/skills/.

GitHub CLI

$ gh skill install AHepi/DeepReason model-zoo-discipline --agent codex

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/model-zoo-discipline .agents/skills/model-zoo-discipline && rm -rf skills-src

Use ~/.agents/skills/ instead of .agents/skills for a personal install.

Codex skills documentation · loads skills from .agents/skills/

Paste into Codex

Install the "model-zoo-discipline" agent skill from https://github.com/AHepi/DeepReason/tree/main/skills/model-zoo-discipline into .agents/skills/model-zoo-discipline/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "model-zoo-discipline", then confirm the skill loads.

Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

skills CLI

$ npx skills add AHepi/DeepReason --skill model-zoo-discipline -a cursor

Project install goes to .agents/skills/; add -g for ~/.cursor/skills/.

GitHub CLI

$ gh skill install AHepi/DeepReason model-zoo-discipline --agent cursor

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/model-zoo-discipline .cursor/skills/model-zoo-discipline && rm -rf skills-src

Use ~/.cursor/skills/ instead of .cursor/skills for a personal install.

Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/

Paste into Cursor

Install the "model-zoo-discipline" agent skill from https://github.com/AHepi/DeepReason/tree/main/skills/model-zoo-discipline into .cursor/skills/model-zoo-discipline/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "model-zoo-discipline", then confirm the skill loads.

Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

gemini skills install

$ gemini skills install https://github.com/AHepi/DeepReason.git --path skills/model-zoo-discipline

--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.

skills CLI

$ npx skills add AHepi/DeepReason --skill model-zoo-discipline -a gemini-cli

Project install goes to .agents/skills/; add -g for ~/.gemini/skills/.

GitHub CLI

$ gh skill install AHepi/DeepReason model-zoo-discipline --agent gemini-cli

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/model-zoo-discipline .gemini/skills/model-zoo-discipline && rm -rf skills-src

Use ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.

Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/

Paste into Gemini CLI

Install the "model-zoo-discipline" agent skill from https://github.com/AHepi/DeepReason/tree/main/skills/model-zoo-discipline into .gemini/skills/model-zoo-discipline/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "model-zoo-discipline", then confirm the skill loads.

Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

GitHub CLI

$ gh skill install AHepi/DeepReason model-zoo-discipline

Installs for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).

skills CLI

$ npx skills add AHepi/DeepReason --skill model-zoo-discipline -a github-copilot

Project install goes to .agents/skills/; add -g for ~/.copilot/skills/.

Manual copy

$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/model-zoo-discipline .github/skills/model-zoo-discipline && rm -rf skills-src

Use ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.

GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/

Paste into GitHub Copilot

Install the "model-zoo-discipline" agent skill from https://github.com/AHepi/DeepReason/tree/main/skills/model-zoo-discipline into .github/skills/model-zoo-discipline/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "model-zoo-discipline", then confirm the skill loads.

GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

skills CLI

$ npx skills add AHepi/DeepReason --skill model-zoo-discipline -a opencode

OpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.

GitHub CLI

$ gh skill install AHepi/DeepReason model-zoo-discipline --agent opencode

Project scope by default (.agents/skills/); add --scope user for a personal install.

Manual copy

$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/model-zoo-discipline .opencode/skills/model-zoo-discipline && rm -rf skills-src

Use ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.

OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/

Paste into OpenCode

Install the "model-zoo-discipline" agent skill from https://github.com/AHepi/DeepReason/tree/main/skills/model-zoo-discipline into .opencode/skills/model-zoo-discipline/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "model-zoo-discipline", then confirm the skill loads.

OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.

Facts

Skill name: model-zoo-discipline
GitHub stars: 141
Token cost: ~499 tokens
SKILL.md length: 240 words
Files: 1
Skills in repo: 30
Repo updated: Sep 10, 2026
First seen: Oct 7, 2026
Licence: MIT

At a glance

Protocol for building and maintaining the finite-structure model zoo and running bounded expansion search (Warp W2).

Works in 7 steps: A structure enters the zoo only with a… → Soundness side: on any zoo change,… → Tightness side: every distinction the… → …
Constructing candidate countermodels
Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
Verifying member certificates

What it does

Model Zoo Discipline is an agent skill from AHepi/DeepReason. Protocol for building and maintaining the finite-structure model zoo and running bounded expansion search (Warp W2). Use when constructing candidate countermodels, verifying member certificates, adding separation witnesses, or attempting a total expansion for an acceptance gate such as DSF-A1.

Its SKILL.md is about 500 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

The licence is MIT.

When your agent uses it

Constructing candidate countermodels
Verifying member certificates
Adding separation witnesses
Attempting a total expansion for an acceptance gate such as DSF-A1

Example prompts

“/model-zoo-discipline”

Workflow steps

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

A structure enters the zoo only with a member certificate: member id,
Soundness side: on any zoo change, re-run the twin over every member;
Tightness side: every distinction the calculus asserts in prose needs
Expansion search: to discharge a non-entailment, search for a TOTAL
Bounds are part of the result. "No expansion within bounds B" is a
A partial fragment structure is never a model of the whole theory by
Class looseness is specified, not accidental: when you rely on

What it can do on your machine

Read from SKILL.md and the folder at commit 9607fba. 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

Model Zoo Discipline loads about 499 tokens when it runs. Until then it costs about 79 tokens; SKILL.md has 240 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it: ~79
When it runs · the whole SKILL.md, loaded when a task matches: ~499

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

The full file from AHepi/DeepReason at commit 9607fba, republished under its MIT licence (© AHepi). 240 words, ~499 tokens.

Download SKILL.mdSave it as .claude/skills/model-zoo-discipline/SKILL.md (or your agent's skills folder).

name: model-zoo-discipline
description: Protocol for building and maintaining the finite-structure model zoo and running bounded expansion search (Warp W2). Use when constructing candidate countermodels, verifying member certificates, adding separation witnesses, or attempting a total expansion for an acceptance gate such as DSF-A1.

Model Zoo Discipline (Warp W2)

<!-- PROMPT-CORE-BEGIN -->

You are building or checking finite structures for a frozen theory whose axiom rows have executable evaluators (the twin).

A structure enters the zoo only with a member certificate: member id, sorts and bounds, twin verdict for EVERY axiom row, distinctions it witnesses, construction provenance, content hashes. No certificate, no member.
Soundness side: on any zoo change, re-run the twin over every member; a member failing any axiom row is quarantined, never silently edited.
Tightness side: every distinction the calculus asserts in prose needs a separation witness pair - two members alike except for that distinction. Record which distinctions still lack witnesses.
Expansion search: to discharge a non-entailment, search for a TOTAL expansion satisfying every axiom row while falsifying the target row, within DECLARED bounds. Encode rows as constraints and let the finite search run; do not hand-assemble a 70-component structure from memory.
Bounds are part of the result. "No expansion within bounds B" is a typed negative; NEVER report it as "no expansion exists". "Expansion found" ships the structure, its certificate, and an independent replay command.
A partial fragment structure is never a model of the whole theory by fiat; only an accepted total expansion counts, per the acceptance gate.
Class looseness is specified, not accidental: when you rely on perturbing a member, cite the frozen variation criterion that keeps the perturbation in-class, or file the criterion first.

<!-- PROMPT-CORE-END -->

Files

Just SKILL.md in skills/model-zoo-discipline of AHepi/DeepReason.

Open the folder on GitHubat commit 9607fba

Compare with similar skills

Model Zoo Discipline 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.

Model Zoo Discipline compared with similar skills
Skill	Stars	Used in	Tokens	Auto-check	Licence	Repo updated
Model Zoo Discipline this skillAHepi/DeepReason	141	—	~499	Automated safety check: Pass	MIT	1 mo ago
Wiki Maintaineropenclaw/openclaw	392k	1 repos	~462	Automated safety check: Pass	MIT	today
Obsidian Vault Maintaineropenclaw/openclaw	392k	1 repos	~262	Automated safety check: Pass	MIT	today
Openclaw PR Maintaineropenclaw/openclaw	392k	—	~2.3k	Automated safety check: Pass	MIT	today
Open Source Maintainer Assistantslopus/happy	24k	—	~1.9k	Automated safety check: Pass	MIT	today
Maintainer Reviewopenai/openai-agents-python	30k	—	~8.9k	Automated safety check: Pass	MIT	2 days ago

Similar skills

Wiki Maintainer
openclaw/openclaw
Maintain the OpenClaw memory wiki vault with deterministic pages, managed blocks, and source-backed updates.
392k GitHub starsUsed in 1 repo~462 tokens
Knowledge ManagementAuto-check passed
Obsidian Vault Maintainer
openclaw/openclaw
Maintain an Obsidian-friendly memory wiki vault with wikilinks, frontmatter, and official Obsidian CLI awareness.
392k GitHub starsUsed in 1 repo~262 tokens
Knowledge ManagementAuto-check passed
Openclaw PR Maintainer
openclaw/openclaw
Review, triage, repair, or land OpenClaw issues and pull requests with current-source evidence and the native maintainer workflow.
392k GitHub stars~2.3k tokensUpdated today
DevelopmentAuto-check passed
Open Source Maintainer Assistant
slopus/happy
Helps maintain the slopus/happy open source project by triaging issues, drafting closing comments, finding duplicates and checking fixes, with approval before anything is posted.
24k GitHub stars~1.9k tokensUpdated today
DevelopmentAuto-check passed
Maintainer Review
openai/openai-agents-python
Official
Assess a GitHub issue or PR for demonstrated need, supported alternatives, correctness, and maintainer action.
30k GitHub stars~8.9k tokensUpdated 2 days ago
DevelopmentAuto-check passed
Deerflow Maintainer Orchestrator
bytedance/deer-flow
A skill your agent uses when a DeerFlow maintainer needs comment-only GitHub issue or PR handling: resolve issue/PR scopes with gh, analyze issues, post or draft issue comments, perform PR review…
84k GitHub stars~5.4k tokensUpdated today
DevelopmentAuto-check passed

More from AHepi/DeepReason

All 30 skills in this repo

Pinker Clarity Workflow
AHepi/DeepReason
Orchestrate a Steven Pinker-grounded workflow for teaching, explanatory writing, or material that must do both.
141 GitHub stars~1.5k tokensUpdated 1 mo ago
Auto-check passed
Pinker Teach For Understanding
AHepi/DeepReason
Design, deliver, or audit explanations and lessons with a Pinker-informed focus on phenomena, the curse of knowledge, concrete models, active reasoning, feedback, and revision.
141 GitHub stars~1.8k tokensUpdated 1 mo ago
Auto-check passed
Pinker Write For Readers
AHepi/DeepReason
Draft, revise, teach, or audit expository prose using Pinker's cognitive approach to style: classic presentation, reader modeling, curse-of-knowledge repair, coherent information order, deliberate…
141 GitHub stars~2.1k tokensUpdated 1 mo ago
Auto-check passed
Example Battery
AHepi/DeepReason
Build a battery of concrete instances BEFORE writing or evaluating any definition, pin, or semantic clause (Reed step 1).
141 GitHub stars~811 tokensUpdated 1 mo ago
Auto-check passed
Authoring Skills
AHepi/DeepReason
Rules for writing, editing, and retiring skill and workflow files for LLM agents.
141 GitHub stars~1.7k tokensUpdated 1 mo ago
Auto-check passed
Deepreason Orchestrator
AHepi/DeepReason
Entry point for any DeepReason problem. An agent skill from AHepi/DeepReason.
141 GitHub stars~1.1k tokensUpdated 1 mo ago
Auto-check passed

Questions about Model Zoo Discipline

What does Model Zoo Discipline do?

Protocol for building and maintaining the finite-structure model zoo and running bounded expansion search (Warp W2). Model Zoo Discipline is an agent skill from AHepi/DeepReason. Protocol for building and maintaining the finite-structure model zoo and running bounded expansion search (Warp W2).

When should I use Model Zoo Discipline?

Model Zoo Discipline fits situations like: constructing candidate countermodels; verifying member certificates; adding separation witnesses; attempting a total expansion for an acceptance gate such as DSF-A1.

How do I install Model Zoo Discipline in Claude Code?

Run `npx skills add AHepi/DeepReason --skill model-zoo-discipline -a claude-code`. Or copy the skill folder (skills/model-zoo-discipline in AHepi/DeepReason) into .claude/skills/model-zoo-discipline in your project. Claude Code loads it when a task matches its description.

How do I install Model Zoo Discipline in Codex?

Run `npx skills add AHepi/DeepReason --skill model-zoo-discipline -a codex`. Or copy the skill folder (skills/model-zoo-discipline in AHepi/DeepReason) into .agents/skills/model-zoo-discipline in your project. Codex loads it when a task matches its description.

Can I use Model Zoo Discipline 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 AHepi/DeepReason --skill model-zoo-discipline -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/model-zoo-discipline, .gemini/skills/model-zoo-discipline, .github/skills/model-zoo-discipline and .opencode/skills/model-zoo-discipline in your project.

What does Model Zoo Discipline need to run?

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

Does Model Zoo Discipline 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 Model Zoo Discipline 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 Model Zoo Discipline use?

Model Zoo Discipline is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Model Zoo Discipline use?

About 499 tokens (SKILL.md is roughly 2k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Model Zoo Discipline?

Skills that share tags, products or a category with Model Zoo Discipline: Wiki Maintainer (openclaw/openclaw, 392k stars), Obsidian Vault Maintainer (openclaw/openclaw, 392k stars), Openclaw PR Maintainer (openclaw/openclaw, 392k stars) and Open Source Maintainer Assistant (slopus/happy, 24k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Model Zoo Discipline?

AHepi (a GitHub user) maintains it in AHepi/DeepReason, which has 141 GitHub stars. The repository holds 30 skills in this directory. The repository was last updated on September 10, 2026.

Source: AHepi/DeepReason on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.

Install Model Zoo Discipline

Facts

At a glance

What it does

When your agent uses it

Example prompts

Workflow steps

What it can do on your machine

Tool permissions

Runs code

Network

Credentials

Context cost

Safety

SKILL.md

Model Zoo Discipline (Warp W2)

Files

Compare with similar skills

Similar skills

More from AHepi/DeepReason

Questions about Model Zoo Discipline