Oak Lean é seguro?
Oak Lean — Nerq Trust Score 48.2/100 (Grau D). Pontuação baseada em 2 independent trust signals. Última análise: 2026-03-25
Oak Lean é um Rust crate com um Nerq Trust Score de 48.2/100 (D), com base em 3 dimensões de dados independentes. Última análise: 2026-03-25 Segurança: 90/100. Popularidade: 0/100. Dados obtidos de crates.io registry, GitHub, NVD, and RustSec advisory database. Última atualização: 2026-03-25. Dados legíveis por máquina (JSON).
Oak Lean é seguro?
Detalhamento da Pontuação de Confiança — Oak Lean has a Nerq Trust Score of 48.2/100 (D). Measured across 2 independent trust signals (as of 2026-03-25).
Qual é a pontuação de confiança de Oak Lean?
Oak Lean tem uma Pontuação de Confiança Nerq de 48.2/100, obtendo grau D. Esta pontuação é baseada em 2 dimensões medidas independentemente.
Quais são as principais descobertas de segurança de Oak Lean?
O sinal mais forte de Oak Lean é segurança com 90/100. Nenhuma vulnerabilidade conhecida foi detectada.
O que é Oak Lean e quem o mantém?
| Autor | Unknown |
| Categoria | Rust Crates |
| Source | N/A |
Crates semelhantes por Pontuação de Confiança
Guia de Segurança: Oak Lean
O que é Oak Lean?
Oak Lean é um crate Rust — Lean theorem prover language parser with support for dependent types and formal verification..
Como Verificar a Segurança
Run cargo audit. Review on crates.io for activity.
Você também pode verificar a pontuação de confiança via API: GET /v1/preflight?target=oak-lean
Principais Preocupações de Segurança para Rust crate
Ao avaliar qualquer Rust crate, observe: dependency vulnerabilities, unsafe code, manutenção status.
Measured Signals
Oak Lean has a Nerq Trust Score of 48/100 (D). This score is a composite of automated measurements of segurança, manutenção, community, and quality signals.
Pontos Principais
- 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.
Perguntas Frequentes
Oak Lean é seguro?
Qual é a pontuação de confiança de Oak Lean?
Quais são alternativas mais seguras ao Oak Lean?
Oak Lean tem vulnerabilidades conhecidas?
Does Oak Lean use unsafe code?
Popular em Rust Crates
Navegar categorias
Veja também
Disclaimer: As pontuações de confiança da Nerq são avaliações automatizadas baseadas em sinais publicamente disponíveis. Não são endossos ou garantias. Sempre realize sua própria verificação.