Crosscheck
Crosscheck Claude's code claims with Dafny formal verification for provably correct Python/Go code, plus semi-formal reasoning for structured analysis.
Install
npx skills add https://github.com/nicholls-inc/claude-code-marketplace --skill crosscheckWhat is this skill?
- Dafny formal verification
- Provably correct Python/Go
- Semi-formal code reasoning
- Crosschecks Claude's claims
Adoption & trust: 4 GitHub stars.
Recommended Skills
Agent Browservercel-labs/vercel-plugin
Tddmattpocock/skills
Use My Browserxixu-me/skills
Test Driven Developmentobra/superpowers
Verification Before Completionobra/superpowers
Webapp Testinganthropics/skills
Journey fit
Primary fit
Verifying generated code claims via formal methods is a correctness gate applied to code before it ships, fitting the ship/review phase. Crosschecking and verifying code claims is a review/verification activity; formal proof of correctness is a stronger form of code review.