¿Es Agda Kernel Seguro?

Agda Kernel — Nerq Trust Score 50.5/100 (Grado C-). Basado en el análisis de 2 dimensiones de confianza, se tiene preocupaciones de seguridad notables. Última actualización: 2026-08-03.

Usa Agda Kernel con precaución. Agda Kernel es un paquete Python con un Nerq Trust Score de 50.5/100 (C-), basado en 3 dimensiones de datos independientes. Por debajo del umbral verificado de Nerq Seguridad: 90/100. Popularidad: 0/100. Datos de PyPI registry, GitHub repository, NVD, OSV.dev, and OpenSSF Scorecard. Última actualización: 2026-03-20. Datos legibles por máquina (JSON).

Guía de Seguridad: Agda Kernel

¿Qué es Agda Kernel?

Agda Kernel es un paquete de Python — A rudimentary Jupyter kernel for Agda.

Cómo Verificar la Seguridad

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

También puede verificar la puntuación de confianza vía API: GET /v1/preflight?target=agda-kernel

Principales Preocupaciones de Seguridad para Python package

Al evaluar cualquier Python package, observar: dependency vulnerabilities, malicious uploads, mantenimiento status.

Evaluación de Confianza

Agda Kernel has a Nerq Trust Score of 50/100 (C-) and has not yet reached Nerq trust threshold (70+). Esta puntuación se basa en análisis automatizado de señales de seguridad, mantenimiento, comunidad y calidad.

Puntos Clave

• Agda Kernel has a Trust Score of 50/100 (C-).
• Revisar cuidadosamente antes de usar — por debajo del umbral.
• Siempre verificar independientemente usando la Nerq API.

Disclaimer: Las puntuaciones de confianza de Nerq son evaluaciones automatizadas basadas en señales disponibles públicamente. No son respaldos ni garantías. Siempre realice su propia diligencia debida.