DenisSergeevitchDenisSergeevitchCommunityยท1 Agent Skills Included

repo-task-proof-loop

Prove coding tasks are done with verifiable in-repo evidence

Runs a strict spec-freeze, build, evidence, verify, and fix loop for large coding tasks inside your repository. Stops AI agents from claiming work is finished without proof by requiring fresh verification against real test and build output. Stores every spec, verdict, and problem report in a durable task folder so progress is easy to audit and resume.
npx skills add DenisSergeevitch/repo-task-proof-loop --all -g -y
Available:

Tells the AI agent to follow the proof-loop sequence for substantial coding tasks, keep all task artifacts in the repo, and never claim completion until a fresh verifier passes every acceptance criterion.

All Skills in This Repository (1)

Pure Emerald Level Indicators

Frequently Asked Questions

FAQPage Schema
How to install repo-task-proof-loop?โ–ผ

Run `npx skills add DenisSergeevitch/repo-task-proof-loop --all -g -y` in your terminal to install the skill globally.

How to stop AI agents from claiming unfinished work is done?โ–ผ

This skill forces a fresh verifier to rerun builds and tests against the current code, and completion is only allowed when every acceptance criterion passes.

What is a proof loop for coding tasks?โ–ผ

It is a repeatable cycle of freezing a spec, building the change, packing evidence, verifying with a fresh session, and applying minimal fixes until everything passes.

Does repo-task-proof-loop work with Codex and Claude Code?โ–ผ

Yes. It installs project-scoped subagents for both Codex and Claude Code and updates the repo's AGENTS.md and CLAUDE.md guidance automatically.

Where does the task proof get stored?โ–ผ

All specs, evidence files, verdicts, and problem reports live in a durable `.agent/tasks/<TASK_ID>/` folder inside your repository, so anyone can audit or resume the work later.

Related Repositories in Software Engineering

View All in Software Engineeringโ†’