Je Oak Lean bezpečný?
Oak Lean — Nerq Trust Score 48.2/100 (Stupeň D). Skóre založeno na 2 independent trust signals. Naposledy analyzováno: 2026-03-25
Oak Lean je Rust crate se skóre důvěryhodnosti Nerq 48.2/100 (D), based on 3 nezávislých datových dimenzích. Naposledy analyzováno: 2026-03-25 Bezpečnost: 90/100. Popularita: 0/100. Data pocházejí z crates.io registry, GitHub, NVD, and RustSec advisory database. Naposledy aktualizováno: 2026-03-25. Strojově čitelná data (JSON).
Je Oak Lean bezpečný?
Rozpis skóre důvěryhodnosti — Oak Lean has a Nerq Trust Score of 48.2/100 (D). Measured across 2 independent trust signals (as of 2026-03-25).
Jaké je skóre důvěryhodnosti Oak Lean?
Oak Lean má Nerq skóre důvěryhodnosti 48.2/100 se stupněm D. Toto skóre je založeno na 2 nezávisle měřených dimenzích.
Jaká jsou klíčová bezpečnostní zjištění pro Oak Lean?
Nejsilnější signál Oak Lean je bezpečnost na 90/100. Nebyly zjištěny žádné známé zranitelnosti.
Co je Oak Lean a kdo jej spravuje?
| Autor | Unknown |
| Kategorie | Rust Crates |
| Zdroj | N/A |
Podobné Crates podle skóre důvěryhodnosti
Bezpečnostní průvodce: Oak Lean
Co je Oak Lean?
Oak Lean je Rust crate — Lean theorem prover language parser with support for dependent types and formal verification..
Jak ověřit bezpečnost
Run cargo audit. Review on crates.io for activity.
Skóre důvěryhodnosti můžete zkontrolovat také přes API: GET /v1/preflight?target=oak-lean
Hlavní bezpečnostní problémy pro Rust crate
Při hodnocení jakéhokoli Rust crate, sledujte: dependency vulnerabilities, unsafe code, údržba status.
Measured Signals
Oak Lean has a Nerq Trust Score of 48/100 (D). This score is a composite of automated measurements of bezpečnost, údržba, community, and quality signals.
Hlavní závěry
- 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.
Často kladené otázky
Je Oak Lean bezpečný?
Jaké je skóre důvěryhodnosti Oak Lean?
Jaké jsou bezpečnější alternativy k Oak Lean?
Má Oak Lean známé zranitelnosti?
Does Oak Lean use unsafe code?
Populární v Rust Crates
Procházet kategorie
Viz také
Disclaimer: Skóre důvěryhodnosti Nerq jsou automatizovaná hodnocení založená na veřejně dostupných signálech. Nejsou doporučením ani zárukou. Vždy proveďte vlastní ověření.