Skip to main content

forsonny/DG-Anvil

SkillsMP は forsonny/DG-Anvil から 8 件の skill を収集しています。skill を開くとソースと詳細を確認できます。

記録された最新のソース活動
SkillsMP カタログ更新
収集済み skills
8
GitHub スター
0
GitHub フォーク
0

収集済み skill 8 件中 8 件を表示しています。

職業分類
ソフトウェア開発者
説明

On verify or judge fail, append a non-null lesson to the Ledger and re-queue the task. Null lessons are refused; the task escalates instead.

原文の言語: 英語

更新
職業分類
ソフトウェア開発者
説明

Dispatch one fresh subagent per plan task inside a per-task git worktree. Capture diff and tool output; never carry state across dispatches.

原文の言語: 英語

更新
職業分類
ソフトウェア開発者
説明

Author a machine-readable contract before execution. Produces anvil/contract.yml with four verification-level slots per criterion and Ledger-sourced counter-examples.

原文の言語: 英語

更新
職業分類
プロジェクト管理専門家
説明

Decompose a confirmed contract into an atomic task DAG with wave ordering. Every task cites one or more contract criterion ids.

原文の言語: 英語

更新
職業分類
ソフトウェア開発者
説明

Bootstrap loader for the DG-Anvil plugin. Enumerates the five primitives, seven skills, five commands, and the core loop. Loaded at session-start.

原文の言語: 英語

更新
職業分類
ソフトウェア開発者
説明

Meta-skill governing every change to any skill file. Requires a RED-then-GREEN subagent pressure transcript before a skill change is accepted.

原文の言語: 英語

更新
職業分類
行政法判事・裁定官・審問官仲裁人、調停者、和解人
説明

Dispatch the Court on evidence-only inputs (contract + diff + verify output + confidence). The Court is not a persona; it is a structured adjudicator.

原文の言語: 英語

更新
職業分類
ソフトウェア品質保証アナリスト・テスター
説明

Run the four verification probes (Exists, Substantive, Wired, Functional) per criterion. All four green per criterion or the criterion fails.

原文の言語: 英語

更新
収集済み skill 8 件中 8 件を表示しています。