forsonny

Automate the decomposition of contract specifications into actionable task plans.

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

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

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

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

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

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

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

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

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

Abort the current run and capture the reason for stopping.

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

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

Run comprehensive verification probes to ensure code criteria are met.

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

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