Everything listed here is free, open source, and publicly accessible.
(Read Me)
Use this before:
This tool is a pressure chamber, not a judge.
It helps you see how you could be wrong, not whether you are right.
This tool does not certify correctness or safety.
It helps you stress-test claims that appear locally correct by forcing hidden failure modes to surface.