Är Agda säker?

Agda — Nerq Trust Score 53.2/100 (Betyg C-). Poäng baserad på 2 independent trust signals. Senast analyserad: 2026-03-25

Agda är en Python-paket med ett Nerq-förtroendepoäng på 53.2/100 (C-), baserat på 3 oberoende datadimensioner. Senast analyserad: 2026-03-25 Säkerhet: 90/100. Popularitet: 0/100. Data hämtad från PyPI registry, GitHub repository, NVD, OSV.dev, and OpenSSF Scorecard. Senast uppdaterad: 2026-03-25. Maskinläsbar data (JSON).

Är Agda säker?

Förtroendepoäng i detalj — Agda has a Nerq Trust Score of 53.2/100 (C-). Measured across 2 independent trust signals (as of 2026-03-25).

Säkerhetsanalys → Agda integritetsrapport →

Vad är Agdas förtroendepoäng?

Agda har ett Nerq-förtroendepoäng på 53.2/100 med betyget C-. Denna poäng baseras på 2 oberoende mätta dimensioner inklusive säkerhet, underhåll och communityanvändning.

Säkerhet
90
Popularitet
0

Vilka är de viktigaste säkerhetsresultaten för Agda?

Agdas starkaste signal är säkerhet på 90/100. Inga kända sårbarheter har upptäckts.

⚠Säkerhetspoäng: 90/100 (stark)
⚠Popularitet: 0/100 — community-antagande

Vad är Agda och vem underhåller det?

UtvecklareUnknown
KategoriPython Packages
KällaN/A

Agda på andra plattformar

Samma utvecklare/företag i andra register:

agda
56/100 · homebrew

Liknande Pypi efter förtroendepoäng

bellybuttonseg (63)akracer (63)base32-crockford (63)bz2file (63)arcp (63)
Se alla säkraste Pypi →

Jämför

Agda vs bellybuttonsegAgda vs akracerAgda vs base32-crockford

Säkerhetsguide: Agda

Vad är Agda?

Agda är ett Python-paket — A project that packages Agda as a Python-paket..

Så verifierar du säkerheten

Run pip audit or safety check. Review on PyPI for download stats.

Du kan också kontrollera förtroendepoängen via API: GET /v1/preflight?target=agda

Viktiga säkerhetsproblem för Python-paket

När du utvärderar ett Python-paket, håll utkik efter: dependency vulnerabilities, malicious uploads, underhåll status.

Measured Signals

Agda has a Nerq Trust Score of 53/100 (C-). This score is a composite of automated measurements of säkerhet, underhåll, community, and quality signals.

Viktigaste slutsatser

Vanliga frågor

Är Agda säker?
agda med ett Nerq-förtroendepoäng på 53.2/100 (C-). Starkaste signalen: säkerhet (90/100). Poäng baserad på Säkerhet (90/100), Popularitet (0/100).
Vad är Agdas förtroendepoäng?
agda: 53.2/100 (C-). Poäng baserad på Säkerhet (90/100), Popularitet (0/100). Poäng uppdateras när ny data finns tillgänglig. API: GET nerq.ai/v1/preflight?target=agda
Vilka är säkrare alternativ till Agda?
I kategorin Python-paket, fler Python-paket analyseras — kom tillbaka snart. agda scores 53.2/100.
Har Agda kända sårbarheter?
Nerq kontrollerar Agda mot NVD, OSV.dev och registerspecifika sårbarhetsdatabaser. Aktuell säkerhetspoäng: 90/100.
Underhålls Agda aktivt?
Agda underhållspoäng: N/A. Kontrollera repositoriet för senaste aktivitet.
API: /v1/preflight Trust Badge API Docs

Bläddra bland kategorier

Se även

Disclaimer: Nerqs förtroendepoäng är automatiserade bedömningar baserade på offentligt tillgängliga signaler. De utgör inte rekommendationer eller garantier. Gör alltid din egen verifiering.

Vi använder cookies för analys och cachelagring. Integritet