michael-denyer/pstack-claude/create-formal-verification-skillskill versions