Oak Lean est-il sûr ?
Oak Lean — Nerq Trust Score 48.2/100 (Note D). Score basé sur 2 independent trust signals. Dernière analyse : 2026-03-25
Oak Lean est un package Rust avec un Nerq Trust Score de 48.2/100 (D), basé sur 3 dimensions de données indépendantes. Dernière analyse : 2026-03-25 Sécurité: 90/100. Popularité: 0/100. Données de crates.io registry, GitHub, NVD, and RustSec advisory database. Dernière mise à jour: 2026-03-25. Données lisibles par machine (JSON).
Oak Lean est-il sûr ?
Détail du score de confiance — Oak Lean has a Nerq Trust Score of 48.2/100 (D). Measured across 2 independent trust signals (as of 2026-03-25).
Quel est le score de confiance de Oak Lean ?
Oak Lean a un Score de Confiance Nerq de 48.2/100, obtenant la note D. Ce score est basé sur 2 dimensions mesurées indépendamment.
Quels sont les résultats de sécurité clés pour Oak Lean ?
Le signal le plus fort de Oak Lean est sécurité à 90/100. Aucune vulnérabilité connue n'a été détectée.
Qu'est-ce que Oak Lean et qui le maintient ?
| Auteur | Unknown |
| Catégorie | Rust Crates |
| Source | N/A |
Crates similaires par Score de Confiance
Guide de Sécurité : Oak Lean
Qu'est-ce que Oak Lean?
Oak Lean est un crate Rust — Lean theorem prover language parser with support for dependent types and formal verification..
Comment Vérifier la Sécurité
Run cargo audit. Review on crates.io for activity.
Vous pouvez également vérifier le score de confiance via l'API : GET /v1/preflight?target=oak-lean
Principales Préoccupations de Sécurité pour Rust crate
Lors de l'évaluation de tout Rust crate, surveiller : dependency vulnerabilities, unsafe code, maintenance status.
Measured Signals
Oak Lean has a Nerq Trust Score of 48/100 (D). This score is a composite of automated measurements of sécurité, maintenance, community, and quality signals.
Points Essentiels
- Oak Lean has a Trust Score of 48/100 (D).
- The score is a measured composite — it is not a suitability judgment. Evaluate the individual signals against your own requirements.
- Query the current measured values via the Nerq API.
Questions fréquentes
Oak Lean est-il sûr ?
Quel est le score de confiance de Oak Lean ?
Quelles sont les alternatives plus sûres à Oak Lean ?
Est-ce que Oak Lean a des vulnérabilités connues ?
Does Oak Lean use unsafe code?
Populaire dans Rust Crates
Parcourir les catégories
Voir aussi
Disclaimer: Les scores de confiance Nerq sont des évaluations automatisées basées sur des signaux publiquement disponibles. Ce ne sont pas des recommandations ou des garanties. Effectuez toujours votre propre vérification.