What is agda-kernel?
50/100
Trust Score (C-)
⚠️ Use Caution
agda-kernel is a pypi that A rudimentary Jupyter kernel for Agda. It has a Nerq Trust Score of 50/100 (C-). 0 GitHub stars. Published by Lorenzo Clemente. Last analyzed August 2026.
Why This Score
- ⚠️ Security: 0/100 — Some security concerns
- ⚠️ Maintenance: 0/100 — Maintenance activity is low
- ⚠️ Community: 0 stars, 0 downloads — Growing community
- ⚠️ Transparency: License: Not specified — No license specified
Trust & Safety Overview
50
TRUST SCORE
C-
GRADE
0
STARS
0
DOWNLOADS
What agda-kernel Does
agda-kernel is a pypi in the pypi category. A rudimentary Jupyter kernel for Agda. It is published by Lorenzo Clemente and has no specified license. With 0 GitHub stars and 0 downloads, it has a small community of users and contributors.
Who Should Use agda-kernel
agda-kernel is suitable for evaluation and non-critical use. Review the trust score breakdown before using in production.
Details
| Author | Lorenzo Clemente |
|---|---|
| Category | pypi |
| License | Not specified |
| Type | pypi |
| Source | View on GitHub |
| Security Score | 0/100 |
| Activity Score | 0/100 |
How to Get Started
Check the trust score before installing:
curl nerq.ai/v1/preflight?target=agda-kernel
Setup guide · Full safety report · Production review · Is it safe?
Frequently Asked Questions
What is agda-kernel used for?
agda-kernel is a pypi tool. A rudimentary Jupyter kernel for Agda.
Is agda-kernel free?
License: Check project page. agda-kernel has 0 GitHub stars.
Is agda-kernel safe?
agda-kernel has a Nerq Trust Score of 50/100 (C-). Use with caution.
What are alternatives to agda-kernel?
Top alternatives: . See full comparison.
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.