adding-formal
Provides ASSERT/ASSUME macro pattern, .sby file template, and f_past_valid usage. Triggers when adding formal verification or writing assertions.
$ Installieren
git clone https://github.com/pbozeman/svc /tmp/svc && cp -r /tmp/svc/docs/skills/adding-formal ~/.claude/skills/svc// tip: Run this command in your terminal to install the skill
