Is agda-kernel Legit?
agda-kernel has a Nerq Trust Score of 50/100 (C-). Verdict: USE CAUTION. Published by Lorenzo Clemente. 0 users. Updated August 2026.
USE CAUTION
Legitimacy Signals
| Signal | Status |
|---|---|
| Trust Score | 50/100 (C-) |
| Publisher | Lorenzo Clemente |
| Users/Downloads | 0 |
| Stars | 0 |
| License | Not specified |
FAQ
Is agda-kernel legit?
Trust Score: 50/100 (C-). Verdict: use caution.
Is agda-kernel a real company?
agda-kernel is published by Lorenzo Clemente. 0 users.
Can I trust agda-kernel?
Exercise caution.
Is agda-kernel a scam?
Scam indicators: some risk flags.
Is it safe? Privacy Pros & cons Spyware? Review What is it? Alternatives Trending Leaderboard Discover
Safety Report Is It Safe?
Alternatives Prediction
Trending Leaderboard
Discover MCP Servers
Packages Models
Stats API
Last updated August 2026. Trust scores based on automated analysis of public data.