org.aya-prover:lsp
v0.27Maven· JavaThe verdict
Abandoned. Last published 3 years ago. No recent activity — look for a maintained alternative.
No recent activity — look for a maintained alternative.
Live from the Maven registry · derived rules, not AI
How it scores
MaintenanceAbandoned
PopularityUnknown
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published 3 years ago.
Popularity
Download count unavailable.
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
- 0.273 years ago
- 0.263 years ago
- 0.253 years ago
- 0.243 years ago
- 0.233 years ago
- 0.223 years ago
- 0.213 years ago
- 0.203 years ago