New:Introducing Socket Scanning for VS Code Marketplace Extensions.Learn more →
Get Started
a

amethyst-luna

npm

1.39K

total weekly downloads

Packages

Current Co-maintainers

Former Co-maintainers

3 packages

dsh-embedded-workbench

Embedded C/C++ firmware development toolbox — FreeRTOS, ISR, NVM storage, Keil MDK, ARMCLANG, HardFault, state machines, architecture, LVGL patterns, and claim fact-checking. Ships a native DeepSeek Harness (dsh) bundle that folds a short gate — the Plan

dsh-logicprobe

Verifies claims about designs and code. Facts go against the source. Behaviour goes through an executable model: state machines, protocols, composition, data models, migrations. Structure diagrams are read as dependency graphs, at one level or several. Tw

dsh-model-everything

Modeling abstraction and automated review for designs and code, including a refactoring harness: UML diagrams, executable verification of machines and protocols with before/after regression, data-model and migration checks, concurrency claim routing, expo