AmethystLuna

Logicprobe

Claim verification for AI coding agents — logic-primitive verification for state machines, data models, and concurrency risk in design docs...

Embedded Workbench

Embedded C/C++ AI engineering plugin — firmware skills (FreeRTOS, Keil, HardFault, state machines) + 1% Rule / Plan Verification Gate discip...