dsh-logicprobe
MITDesign document & plan claim verification — enumerate claims, verify against codebase facts, then escalate to state-machine verification (S1-S8/A1-A12, including budget/worst-case path-cost checks) and data-model verification (DS/DA/DD) for behavioral cla
100
Security score
0 known advisories in v0.6.8
Weekly downloads
399
Unpacked size
798.1 kB
Dependencies
0
Last publish
6 hours ago
Security advisories
No known vulnerabilities affect v0.6.8.
Downloads — last 30 days
2.8K total▼ 22.2% vs prior week
Aug 23Sep 21