Este Oak Lean sigur?

Oak Lean — Nerq Trust Score 48.2/100 (Nota D). Scor bazat pe 2 independent trust signals. Ultima analiză: 2026-03-25

Oak Lean este un Rust crate cu un Scor de Încredere Nerq de 48.2/100 (D), based on 3 dimensiuni independente de date. Ultima analiză: 2026-03-25 Securitate: 90/100. Popularitate: 0/100. Date provenite din crates.io registry, GitHub, NVD, and RustSec advisory database. Ultima actualizare: 2026-03-25. Date citibile de mașină (JSON).

Ghid de securitate: Oak Lean

Ce este Oak Lean?

Oak Lean este un Rust crate — Lean theorem prover language parser with support for dependent types and formal verification..

Cum să verifici securitatea

Run cargo audit. Review on crates.io for activity.

Puteți verifica și scorul de încredere prin API: GET /v1/preflight?target=oak-lean

Probleme principale de securitate pentru Rust crate

Când evaluați orice Rust crate, urmăriți: dependency vulnerabilities, unsafe code, mentenanță status.

Measured Signals

Oak Lean has a Nerq Trust Score of 48/100 (D). This score is a composite of automated measurements of securitate, mentenanță, community, and quality signals.

Concluzii principale

• 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.

Disclaimer: Scorurile de încredere Nerq sunt evaluări automatizate bazate pe semnale disponibile public. Nu sunt recomandări sau garanții. Efectuați întotdeauna propria verificare.