@txfence/verify
v0.1.2npm· JavaScriptFormal policy verification for txfence. Bounded model checking with counterexample generation and adversarial stress testing across six attack vectors.
The verdict
Maintained. Maintained, actively maintained.
Live from the npm registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityUnknown
SecurityClean
LicensePermissive
DepsLean
Maintenance
Last published this month.
Popularity
Download count unavailable.
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
1 direct dependency
Recent releases
- 0.1.2this month
- 0.1.0this month