checkflite

Automated verification for agentic coding