dsh-logicprobe
AmethystLuna esm
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
Version 1.4.1 License MIT
Keywords
verificationfact-checkdesign-reviewplan-reviewstate-machinelogic-verificationadversarialrefactoringmodel-checkingagentskillsplugindsh
INSTALL
Top version - 0
Full dsh-logicprobe Download Stats 
ShareKeywords
verification
fact-check
design-review
plan-review
state-machine
logic-verification
adversarial
refactoring
model-checking
agentskills
plugin
dsh
Get a badge for your package
