[swinner2]

Summary

• Remove disable-model-invocation: true from maintain-verification-skill and maintain-formal-verification-skill.
• AFK maintain runs (e.g. Frame nightly yarn sandcastle maintain verify-frame) call these skills via Skill; the flag makes Skill refuse and the run BLOCKED.
• Prior nights worked by accidentally skipping Skill and using project-local verify paths; formal still fell back that way. Dropping the flag lets agents invoke the skills as designed for unattended maintain.

Test plan

• Skill tool loads both maintain skills without refuse
• AFK maintain verify-frame / maintain verify-formal can invoke them

[swinner2]

closing: frame's sandcastle maintain prompts will point at the skill file directly instead.