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