@nimrod-f/stepcheck
Apache-2.0Static verifier for AWS Step Functions / Amazon States Language workflows: sound data-flow (field-provenance) analysis plus typed-contract, typestate, retry-safety, concurrency, temporal, and Saga-compensation checks. Installs a self-contained native bina
100
Security score
0 known advisories in v0.1.3
Weekly downloads
3
Unpacked size
5.2 kB
Dependencies
0
Last publish
1 month ago
Security advisories
No known vulnerabilities affect v0.1.3.
Downloads — last 30 days
25 total▼ 40.0% vs prior week
Jul 8Aug 6