From 14edbfd40e9e7e51e8f87ec45b44f0ddcfa857f5 Mon Sep 17 00:00:00 2001 From: Sean Winner Date: Thu, 5 Nov 2026 08:54:25 -0800 Subject: [PATCH] pstack: allow model invocation of maintain skills AFK maintain runs invoke these skills via Skill; disable-model-invocation makes Skill refuse and blocks unattended verify-frame/verify-formal. --- pstack/skills/maintain-formal-verification-skill/SKILL.md | 1 - pstack/skills/maintain-verification-skill/SKILL.md | 1 - 2 files changed, 2 deletions(-) diff --git a/pstack/skills/maintain-formal-verification-skill/SKILL.md b/pstack/skills/maintain-formal-verification-skill/SKILL.md index 5d2f7f222..2d7e35bd8 100644 --- a/pstack/skills/maintain-formal-verification-skill/SKILL.md +++ b/pstack/skills/maintain-formal-verification-skill/SKILL.md @@ -1,7 +1,6 @@ --- name: maintain-formal-verification-skill description: "Bring a project's formal verification back in line with the code after the code changes: find the commits that touched verified code, update the model, harness, or properties to describe the code as it is now, rerun, and say whether each failure is drift in the verification or a bug in the code. Use for /maintain-formal-verification-skill, \"is the model still true to the code\", or after merges and refactors that touched verified code without rechecking it." -disable-model-invocation: true --- # Maintain a formal verification skill diff --git a/pstack/skills/maintain-verification-skill/SKILL.md b/pstack/skills/maintain-verification-skill/SKILL.md index a2680b91f..ef4bc08ed 100644 --- a/pstack/skills/maintain-verification-skill/SKILL.md +++ b/pstack/skills/maintain-verification-skill/SKILL.md @@ -1,7 +1,6 @@ --- name: maintain-verification-skill description: "Periodic pass that keeps a project's verification skill and feature map honest: parallel source readers per feature, one live session driving every feature, at most one PR of proven corrections. Use for /maintain-verification-skill or \"audit the verify skill\"." -disable-model-invocation: true --- # Maintain a verification skill