Is Agda veilig?
Agda — Nerq Trust Score 55.5/100 (C-beoordeling). Op basis van analyse van 2 vertrouwensdimensies wordt het beschouwd als heeft opmerkelijke beveiligingszorgen. Laatst bijgewerkt: 2026-04-23.
Gebruik Agda met voorzichtigheid. Agda is een Homebrew formula met een Nerq Vertrouwensscore van 55.5/100 (C), based on 3 onafhankelijke gegevensdimensies. Onder de geverifieerde drempel van Nerq Beveiliging: 90/100. Populariteit: 15/100. Gegevens afkomstig van Homebrew formulae database and GitHub (homebrew-core). Laatst bijgewerkt: 2026-03-20. Machineleesbare gegevens (JSON).
Is Agda veilig?
CAUTION — Agda has a Nerq Trust Score of 55.5/100 (C). Heeft matige vertrouwenssignalen maar toont enkele aandachtspunten that warrant attention. Suitable for development use — review beveiliging and onderhoud signals before production deployment.
Wat is de vertrouwensscore van Agda?
Agda heeft een Nerq Trust Score van 55.5/100 met het cijfer C. Deze score is gebaseerd op 2 onafhankelijk gemeten dimensies, waaronder beveiliging, onderhoud en community-adoptie.
Wat zijn de belangrijkste beveiligingsbevindingen voor Agda?
Het sterkste signaal van Agda is beveiliging met 90/100. Er zijn geen bekende kwetsbaarheden gedetecteerd. It has not yet reached the Nerq Verified threshold of 70+.
Wat is Agda en wie onderhoudt het?
| Ontwikkelaar | Unknown |
| Categorie | Homebrew |
| Bron | N/A |
Vergelijkbare Homebrew op Vertrouwensscore
Vergelijken
Beveiligingsgids: Agda
Wat is Agda?
Agda is a Homebrew formula — Dependently typed functional programming language.
Hoe de veiligheid te verifiëren
Homebrew formulas are community-reviewed. Check formulae.brew.sh.
U kunt de vertrouwensscore ook via de API controleren: GET /v1/preflight?target=agda
Belangrijkste beveiligingsproblemen voor Homebrew formula
Bij het evalueren van elk Homebrew formula, let op: source build integrity, dependency chain.
Vertrouwensbeoordeling
Agda has a Nerq Trust Score of 56/100 (C) and has not yet reached Nerq trust threshold (70+). Deze score is gebaseerd op geautomatiseerde analyse van beveiligings-, onderhouds-, gemeenschaps- en kwaliteitssignalen.
Belangrijkste conclusies
- Agda has a Trust Score of 56/100 (C).
- Controleer zorgvuldig voor gebruik — onder de vertrouwensdrempel.
- Controleer altijd onafhankelijk met behulp van de Nerq API.
Gedetailleerde score-analyse
| Dimension | Score |
|---|---|
| Beveiliging | 90/100 |
| Onderhoud | 50/100 |
| Populariteit | 15/100 |
| Quality | 65/100 |
| Community | 35/100 |
Gebaseerd op 5 dimensies. Data from Homebrew formulae database and GitHub (homebrew-core).
Welke gegevens verzamelt Agda?
Privacy assessment for Agda is not yet available. See our methodology for how Nerq measures privacy, or the public privacy review for any community-contributed notes.
Is Agda veilig?
Beveiliging score: 90/100. Dit voldoet aan de aanbevolen beveiligingsdrempel voor productiegebruik.
Nerq bewaakt deze entiteit op NVD, OSV.dev en registerspecifieke kwetsbaarheidsdatabases voor voortdurende beveiligingsbeoordeling.
Volledige analyse: Agda Beveiligingsrapport
Hoe we deze score hebben berekend
Agda's trust score of 55.5/100 (C) wordt berekend uit Homebrew formulae database and GitHub (homebrew-core). De score weerspiegelt 5 onafhankelijke dimensies: beveiliging (90/100), onderhoud (50/100), populariteit (15/100), quality (65/100), community (35/100). Elke dimensie heeft een gelijk gewicht om de samengestelde vertrouwensscore te produceren.
Nerq analyseert meer dan 7,5 miljoen entiteiten in 26 registers met dezelfde methodologie, waardoor directe vergelijking tussen entiteiten mogelijk is. Scores worden continu bijgewerkt naarmate er nieuwe gegevens beschikbaar komen.
Deze pagina is voor het laatst beoordeeld op April 23, 2026. Gegevensversie: 0.0.
Volledige methodologiedocumentatie · Machineleesbare gegevens (JSON API)
Veelgestelde vragen
Is Agda veilig?
Wat is de vertrouwensscore van Agda?
Wat zijn veiligere alternatieven voor Agda?
Wordt Agda actief onderhouden?
How was Agda reviewed?
Populair in Homebrew
Zie ook
Disclaimer: Nerq-vertrouwensscores zijn geautomatiseerde beoordelingen op basis van openbaar beschikbare signalen. Ze vormen geen aanbeveling of garantie. Voer altijd uw eigen verificatie uit.