Ported @poteto's two new pstack formal verification skills to pstack-claude (0.9.94). One verifies the code where a bug costs the most and tests reach the least. The other keeps that check true as the code changes. https://github.com/michael-denyer/pstack-claude/pull/291
GitHubSync to upstream 7b353f7 (v0.15.27): add formal verification skills, release 0.9.94 by younes-io · Pull Request #291 · michael-denyer/pstack-claudeSyncs to upstream 7b353f7 (v0.15.27 and later), which adds two skills, and releases 0.9.94. What users get /create-formal-verification-skill picks the property where a bug costs the most and tests...
commit b8c4142