AmethystLuna/logicprobe
Claim verification for AI coding agents — logic primitive verification for state machines, data models, and concurrency risk in design docs & refactoring plans.
Original sourceClaim verification for AI coding agents — logic primitive verification for state machines, data models, and concurrency risk in design docs & refactoring plans.
Original source