Skills
.Work. You
Rest

repo-task-proof-loop

Community

End-to-end repo task loops with auditable proofs.

Software Engineering#automation#verification#codex#subagents#repo-local#task-proof-loop
AuthorDenisSergeevitch
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill automates the creation and management of a repository-local task proof loop, enabling auditable, end-to-end task execution inside a codebase by storing artifacts under .agent/tasks/<TASK_ID>/ and orchestrating a spec freeze -> build -> evidence -> verify -> fix loop with fresh verification sessions.

Core Features & Use Cases

  • Initializes a strict repo-local task folder under .agent/tasks/<TASK_ID>/ and seeds essential artifacts (spec.md, evidence.md, evidence.json, verdict.json, problems.md, and raw build/test artifacts)
  • Installs project-scoped Codex and Claude subagent templates into .codex/agents/ and .claude/agents/ to support the workflow
  • Updates repo-root guidance blocks (AGENTS.md and CLAUDE.md) with a managed, proof-first workflow description
  • Drives a task loop: spec freeze, build, evidence packing, fresh verification, minimal fixes, and re-verification until PASS
  • Supports bounded parallel helper work (explorer/worker) only after explicit user authorization, keeping evidence ownership with a single builder

Quick Start

Initialize a new task with a TASK_ID and optional seed text or file, then run the managed loop from spec freeze through verification.

Dependency Matrix

Required Modules

None required

Components

scriptsreferencesassets

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: repo-task-proof-loop
Download link: https://github.com/DenisSergeevitch/repo-task-proof-loop/archive/main.zip#repo-task-proof-loop

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.