Claim verification for AI coding agents — logic-primitive v…
Embedded C/C++ AI engineering plugin — firmware skills (Fre…