Crosscheck

nicholls-inc/claude-code-marketplace·by nicholls-inc

Crosschecks Claude's code claims using Dafny formal verification for provably correct Python/Go code, plus semi-formal reasoning for structured code analysis.