Based on: https://github.com/Beneficial-AI-Foundation/dalek-lite/blob/main/.claude/skills/verus-proof-helper/SKILL.md develop fvs command and agent for verus-specify.
Based on:
https://github.com/Beneficial-AI-Foundation/dalek-lite/blob/main/.claude/skills/verus-proof-helper/SKILL.md
develop fvs command and agent for verus-specify.