forsonny

Start a new task stream by authoring a contract from user intent.

Abort the current run and capture the reason for stopping.

Finalize a passing run and open a PR for human review.

Handles task resets by appending lessons to the Ledger upon verification failures.

Bootstrap loader for the DG-Anvil plugin, managing the Anvil loop and its components.

Automate the decomposition of contract specifications into actionable task plans.

Automates the drafting of contract files in a specified format based on user intent.

Meta-skill ensuring rigorous testing for all skill changes through a RED-then-GREEN process.

Create machine-readable contracts with verification levels and counter-examples.

Decomposes confirmed contracts into atomic task DAGs with wave ordering for efficient execution.

Dispatch the Court to verify task results based on structured evidence inputs.

Run comprehensive verification probes to ensure code criteria are met.

Dispatches fresh subagents for each task in isolated git worktrees, capturing diffs and outputs.

Resume an in-progress Anvil run from a saved state.

Interact with the global lesson Ledger to query, append, or audit lessons.

DG-Anvil enforces contract-first, evidence-based development for Claude Code, ensuring verification before marking tasks as done.