korekto
v2.0.231231RubyGems· RubyA general proof checker. Works with [neovim](https://github.com/neovim/neovim).
The verdict
Abandoned. Last published 2 years ago. No recent activity — look for a maintained alternative.
No recent activity — look for a maintained alternative.
Live from the RubyGems registry · derived rules, not AI
How it scores
MaintenanceAbandoned
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published 2 years ago.
Popularity
7 downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
- 2.0.2312312 years ago
- 1.6.2104095 years ago
- 1.6.2104075 years ago
- 1.5.2103315 years ago
- 1.5.2103285 years ago
- 1.4.2103265 years ago
- 1.4.2103185 years ago
- 1.3.2103165 years ago