claimcheck
v0.4.0npm· JavaScriptDoes a Dafny lemma actually mean what a natural language requirement says? Dafny can verify proofs, but it can't verify meaning. Claimcheck fills that gap.
The verdict
Maintained. Niche but maintained, actively maintained.
Live from the npm registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicenseUnknown
DepsLean
Maintenance
Last published this month.
Popularity
18 downloads / week
Security
No known advisories for this version (OSV).
License
No license declared.
Dependencies
3 direct dependencies
Recent releases
- 0.4.0this month
- 0.3.02 months ago
- 0.2.03 months ago
- 0.1.03 months ago