Skip to main content

forsonny/DG-Anvil

SkillsMP 已收集 forsonny/DG-Anvil 中的 8 个 Skill。打开任一 Skill 可查看来源和详情。

最近记录的来源活动
SkillsMP 收录数据更新
已收集 skills
8
GitHub 星标
0
GitHub Forks
0

已展示 8 / 8 个已收集 Skill。

职业分类
软件开发工程师
描述

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.

原文语言:英语

更新
已展示 8 / 8 个已收集 Skill。