repo-task-proof-loop SKILL.md skillA

repo-task-proof-loop from skillmds/skillmd is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.

Install it, pinned
mdr add skillmds/skillmd/repo-task-proof-loop@v1.0.0

Pins v1.0.0 in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
skillmds/skillmd
Path
plugins/agents-mcp/skills/repo-task-proof-loop/SKILL.md
Versions recorded
1
Latest version
v1.0.0, committed Sep 19, 2026
Size
15,076 bytes
Repository stars
250
License
MIT

Repo-local workflow skill for large coding tasks. Initializes .agent/tasks/TASK_ID artifacts, installs project-scoped Codex and Claude subagents, updates AGENTS.md plus the repo's Claude guide file with the workflow, and runs a spec-freeze → build → evidence → verify → fix loop with fresh-session verification.

Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.

What the file says

# Repo Task Proof Loop

Use this skill when the user wants a repeatable, auditable implementation workflow for a non-trivial coding task, especially a feature, refactor, migration, or bug fix that should leave repo-local proof in `.agent/tasks/<TASK_ID>/`.

All task artifacts created by this workflow must stay inside the repository.

When the examples below mention `scripts/task_loop.py`, that path is relative to this skill root. Run it while your shell working directory is inside the target repository.

## What this skill does

1. Initializes a strict repo-local task folder under `.agent/tasks/<TASK_ID>/`
2. Seeds or updates the required artifact files
3. Installs project-scoped Codex and Claude subagent templates into `.codex/agents/` and `.claude/agents/`
4. Updates the repo-root `AGENTS.md` Codex baseline plus the repo's Claude guide file (`CLAUDE.md` or `.claude/CLAUDE.md`) with a managed block that explains the workflow
5. Guides the agent through a strict loop:
   - spec freeze
   - builder implementation
   - evidence packing
   - fresh verification
   - minimal fix
   - fresh verification again until `PASS`

See:
- `references/REFERENCE.md`
- `references/COMMANDS.md`
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add skillmds/skillmd/repo-task-proof-loop@sha256:7ce5da24813196c9

The line at the top of this page pins the label v1.0.0, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_666ba5oclawck3tp.svg)](https://markdownregistry.com/a/art_666ba5oclawck3tp)

4 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 1 version of this file, committed on Sep 19, 2026.

versioncommittedcommitsizeaudit
v1.0.0 latest2026-09-19 fecc0d5 15,076 BA view

Audit of the latest version

A  17 of 17 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • pass: Frontmatter block present
  • pass: Frontmatter declares a name
  • pass: Frontmatter declares a description
  • pass: Size between 200 bytes and 200 KB (15076 bytes)
  • pass: No zero-width or bidi control characters
  • pass: No instruction hidden inside an HTML comment
  • pass: No link to an exfiltration or paste host
  • pass: No credential-shaped string
  • pass: No instruction to send local credentials anywhere
  • pass: No text hidden with inline styles
  • pass: No prompt-injection phrasing
  • pass: No curl or wget piped into a shell
  • pass: No recursive delete of root, home or parent
  • pass: No instruction to read or print local credentials
  • pass: No base64 blob over 200 characters
  • pass: No link to a raw IP address
  • pass: No script tag

Source

GitHub

skillmds/skillmd · 250 stars · license MIT · pushed 2026-10-20 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_666ba5oclawck3tp
GET https://markdownregistry.com/api/v1/resolve?ref=skillmds/skillmd/repo-task-proof-loop
GET https://markdownregistry.com/api/v1/blob/7ce5da24813196c99d3dd5cfb3a9deaa69c5762eea8d72be12aaf553f193a703

Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.

Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.

More from skillmds/skillmd

hello-world SKILL.md skill
skillmds/skillmd · examples/skills/hello-world/SKILL.md · Greet the user warmly and demonstrate the minimal shape of a valid Agent Skill.
git:20260825.90a5e4f · audit A · 250 stars
ads-math SKILL.md skill
skillmds/skillmd · plugins/agents-mcp/skills/ads-math/SKILL.md · Calculate and model paid-media CPA, CPL, CPC, CPM, ROAS, MER, break-even targets, contribution margin, LTV:CAC…
git:20260919.fecc0d5 · audit A · 250 stars
AGENTS.md@plugins/agents-mcp/skills/agent-recall AGENTS.md file
skillmds/skillmd · plugins/agents-mcp/skills/agent-recall/AGENTS.md
git:20260919.fecc0d5 · audit A · 250 stars
agent-recall SKILL.md skill
skillmds/skillmd · plugins/agents-mcp/skills/agent-recall/SKILL.md · Persistent compounding memory for AI agents. 5 default MCP tools: session_start, session_end, remember, recall, check…
v3.4.30 · audit A · 250 stars
aihot SKILL.md skill
skillmds/skillmd · plugins/agents-mcp/skills/aihot/SKILL.md · 查询 AI HOT 的中文 AI 资讯、精选、当前热点和日报。当用户问今天或最近的 AI 新闻、AI 圈动态、大模型或产品发布、OpenAI/Anthropic/Google 最近发布、AI 论文、AI 日报、AI HOT…
git:20260919.fecc0d5 · audit A · 250 stars
CLAUDE.md@plugins/agents-mcp/skills/b0 CLAUDE.md file
skillmds/skillmd · plugins/agents-mcp/skills/b0/CLAUDE.md
git:20260919.fecc0d5 · audit A · 250 stars
b0 SKILL.md skill
skillmds/skillmd · plugins/agents-mcp/skills/b0/SKILL.md · Delegate tasks to AI agents via Box0. Use when the user asks to review code, check security, run tests, compare tools…
git:20260919.fecc0d5 · audit A · 250 stars
bioqc-mcp SKILL.md skill
skillmds/skillmd · plugins/agents-mcp/skills/bioqc-mcp/SKILL.md · Automated sequencing quality control and advanced visualization wrapping FastQC, MultiQC, and custom chart generation…
v0.1.0 · audit A · 250 stars
BMW-design-analysis SKILL.md skill
skillmds/skillmd · plugins/agents-mcp/skills/bmw-design-analysis/SKILL.md · BMW's corporate site — distinct from BMW M's motorsport-bombastic variant, this is a measured and settled…
alpha · audit A · 250 stars
civitai-mcp-ultimate SKILL.md skill
skillmds/skillmd · plugins/agents-mcp/skills/civitai-mcp-ultimate/SKILL.md · Ultimate MCP server for Civitai — search models, browse top images with prompts, download LoRAs/Checkpoints, analyze…
git:20260919.fecc0d5 · audit A · 250 stars
claw-orchestrator SKILL.md skill
skillmds/skillmd · plugins/agents-mcp/skills/claw-orchestrator/SKILL.md · Manage persistent coding sessions across Claude Code, Codex, Antigravity (agy), Cursor, and OpenCode engines. Use when…
git:20260919.fecc0d5 · audit A · 250 stars
cli-anything-hermes SKILL.md skill
skillmds/skillmd · plugins/agents-mcp/skills/cli-anything-hermes/SKILL.md · Use when the user wants Hermes Agent to build, refine, test, or validate a CLI-Anything harness for a GUI application…
git:20260919.fecc0d5 · audit A · 250 stars

Every file in skillmds/skillmd

Browse by kind, by grade A, or by owner.