user:stealthyAF
created:Jul 31, 2025
karma:2
about:

Building Anatomia — open-source verification for AI-generated code. anatomia.dev