forsonny

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

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.

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

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

Run comprehensive verification probes to ensure code criteria are met.

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.

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

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

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

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