Try “Claude Code skills”, “MCP servers for Cursor” or “Codex” · Esc to close

Repo Task Proof Loop 🧩 Skill Open source

Spec-freeze, build, evidence and fresh-verify loop with repo-local task proof

Development workflow skills · Open source ★ 731 · +-1 this week · Apache-2.0 · updated 2026-04-01

6.2editor score
View on GitHub ↗
GitHub stars
731
Stars this week
+-1
Forks
47
Licence
Apache-2.0
Last push
2026-04-01
Maintainer
DenisSergeevitch
Installgit clone https://github.com/DenisSergeevitch/repo-task-proof-loop ~/.claude/skills/repo-task-proof-loop

Third-party agent skills run with your permissions. Read the source before installing, and prefer pinned versions.

Works with

About Repo Task Proof Loop

What it does

Repo Task Proof Loop is a workflow skill for non-trivial coding tasks that keeps the proof of work inside the repository. When you start a task it creates a folder under .agent/tasks/<TASK_ID>/, installs project-scoped subagents for Claude Code and Codex, and adds managed blocks to AGENTS.md and CLAUDE.md. The agent then follows a fixed loop: freeze a spec, build, collect evidence, run a fresh verification, apply a minimal fix and verify again. Separating the builder from a verifier that starts with clean context is the core idea, and the saved files make a task easy to resume or audit later.

What is inside

  • SKILL.md with the loop definition and reference files for commands, subagent roles and platform differences
  • Four generated subagents for each host: spec freezer, builder, verifier and fixer, as Markdown for Claude Code and TOML for Codex
  • Task artifacts: spec.md, evidence files with raw build, test and lint logs, screenshots, a verdict.json and a problems list
  • scripts/task_loop.py with init, validate and status commands, and a packaging smoke test
  • For Codex, an optional bounded fan-out to explorer or worker children when a task splits cleanly

Works with

Claude Code and Codex. You install the skill as a project skill in each tool's skills folder, or keep one copy and sync it.

How to install

Copy the skill folder into .claude/skills/repo-task-proof-loop/ or .agents/skills/repo-task-proof-loop/, then either mention it in a prompt or initialise a task directly:

python3 "$SKILL_PATH/scripts/task_loop.py" init \
  --task-id feature-auth-hardening \
  --task-file docs/tasks/auth-hardening.md

Maintenance and safety

The project is Apache-2.0 licensed. Its last update was in spring 2026, so check it against current host versions. There is no one-line installer, so setup is manual. The script writes into your repo, including guide files and agent definitions, so review the diff it creates. The README credits a research paper as inspiration, which is a design influence rather than evidence that the skill works better.

Who should use it

Developers using Claude Code or Codex on larger changes who want a written spec, stored evidence and an independent verification pass for each task, and who are happy to commit or ignore a .agent/ folder in their repositories.

spec-driven verification subagents evidence workflow

Pros

  • Keeps spec, evidence and verdict inside the repo for audit
  • Separates builder and fresh-context verifier
  • Generates matching subagents for Claude Code and Codex

Cons

  • No installer; copy the folder by hand, and updates have slowed since spring 2026

Superpowers 🧩 SkillFree

A skills library that makes coding agents plan, test-first and debug systematically

★ 294k · +2.7k this week

Matt Pocock's Skills 🧩 SkillOpen source

Small, composable engineering skills: grilling, TDD, specs, tickets and architecture review

★ 274k · +4.9k this week

8.4 Visit ↗

Agent Skills (Addy Osmani) 🧩 SkillOpen source

25 lifecycle skills and commands that make agents spec, test, review and ship with discipline

★ 100k · +1.4k this week

8.3 Visit ↗

Ponytail 🧩 SkillOpen source

Makes your coding agent write the minimum code a task needs, without cutting safety

★ 151k · +5.3k this week

8.0 Visit ↗

Understand Anything 🧩 SkillOpen source

Turns a codebase into an interactive knowledge graph with tours, search and Q&A

★ 85k · +858 this week

8.0 Visit ↗

Archify 🧩 SkillOpen source

Validated, interactive architecture, sequence and data-flow diagrams compiled from typed JSON

★ 76k · +4.5k this week

7.9 Visit ↗

Popular searches