Ist Agda sicher?

Agda — Nerq Trust Score 53.2/100 (Note C-). Bewertung basierend auf 2 independent trust signals. Zuletzt analysiert: 2026-03-25

Agda ist ein Python-Paket mit einem Nerq-Vertrauenswert von 53.2/100 (C-), basierend auf 3 unabhängigen Datendimensionen. Zuletzt analysiert: 2026-03-25 Sicherheit: 90/100. Beliebtheit: 0/100. Daten von PyPI registry, GitHub repository, NVD, OSV.dev, and OpenSSF Scorecard. Zuletzt aktualisiert: 2026-03-25. Maschinenlesbare Daten (JSON).

Ist Agda sicher?

Vertrauensbewertung im Detail — Agda has a Nerq Trust Score of 53.2/100 (C-). Measured across 2 independent trust signals (as of 2026-03-25).

Sicherheitsanalyse → Agda Datenschutzbericht →

Was ist die Vertrauensbewertung von Agda?

Agda hat eine Nerq-Vertrauensbewertung von 53.2/100 und erhält die Note C-. Diese Bewertung basiert auf 2 unabhängig gemessenen Dimensionen.

Sicherheit
90
Beliebtheit
0

Was sind die wichtigsten Sicherheitsergebnisse für Agda?

Das stärkste Signal von Agda ist sicherheit mit 90/100. Es wurden keine bekannten Schwachstellen erkannt.

⚠Sicherheitsbewertung: 90/100 (stark)
⚠Beliebtheit: 0/100 — Community-Akzeptanz

Was ist Agda und wer pflegt es?

AutorUnknown
KategoriePython Packages
QuelleN/A

Agda auf anderen Plattformen

Gleicher Entwickler/Unternehmen in anderen Registern:

agda
56/100 · homebrew

Ähnliche Pypi nach Vertrauensbewertung

bellybuttonseg (63)akracer (63)base32-crockford (63)bz2file (63)arcp (63)
Alle sichersten Pypi anzeigen →

Vergleichen

Agda vs bellybuttonsegAgda vs akracerAgda vs base32-crockford

Sicherheitsleitfaden: Agda

Was ist Agda?

Agda ist ein Python-Paket — A project that packages Agda as a Python package..

Sicherheit überprüfen

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

Sie können die Vertrauensbewertung auch über die API prüfen: GET /v1/preflight?target=agda

Wichtige Sicherheitsbedenken für Python package

Bei der Bewertung jeder Python package, achten Sie auf: dependency vulnerabilities, malicious uploads, Wartung status.

Measured Signals

Agda has a Nerq Trust Score of 53/100 (C-). This score is a composite of automated measurements of Sicherheit, Wartung, community, and quality signals.

Wichtigste Punkte

Häufig gestellte Fragen

Ist Agda sicher?
agda mit einem Nerq-Vertrauenswert von 53.2/100 (C-). Stärkstes Signal: sicherheit (90/100). Bewertung basierend auf Sicherheit (90/100), Beliebtheit (0/100).
Was ist die Vertrauensbewertung von Agda?
agda: 53.2/100 (C-). Bewertung basierend auf Sicherheit (90/100), Beliebtheit (0/100). Bewertungen werden aktualisiert, wenn neue Daten verfügbar werden. API: GET nerq.ai/v1/preflight?target=agda
Was sind sicherere Alternativen zu Agda?
In der Kategorie Python-Pakete, weitere Python package werden analysiert — schauen Sie bald wieder vorbei. agda scores 53.2/100.
Hat Agda bekannte Schwachstellen?
Nerq prüft Agda gegen NVD, OSV.dev und registerspezifische Schwachstellendatenbanken. Aktuelle Sicherheitsbewertung: 90/100. Führen Sie den Audit-Befehl Ihres Paketmanagers aus.
Wird Agda aktiv gepflegt?
Agda Wartungsbewertung: N/A. Prüfen Sie das Repository auf aktuelle Aktivität.
API: /v1/preflight Trust Badge API Docs

Kategorien durchsuchen

Siehe auch

Disclaimer: Nerq-Vertrauensbewertungen sind automatisierte Bewertungen basierend auf öffentlich verfügbaren Signalen. Sie sind keine Empfehlungen oder Garantien. Führen Sie immer Ihre eigene Sorgfaltsprüfung durch.

Wir verwenden Cookies für Analysen und Caching. Datenschutz