Oak Lean Güvenli mi?

Oak Lean — Nerq Trust Score 48.2/100 (D notu). Puan şuna dayalı: 2 independent trust signals. Son analiz: 2026-03-25

Oak Lean bir Rust crate Nerq Güven Puanı ile 48.2/100 (D), based on 3 bağımsız veri boyutu. Son analiz: 2026-03-25 Güvenlik: 90/100. Popülerlik: 0/100. Veriler şuradan alınmıştır: crates.io registry, GitHub, NVD, and RustSec advisory database. Son güncelleme: 2026-03-25. Makine tarafından okunabilir veri (JSON).

Oak Lean Güvenli mi?

Güven Puanı Detayları — Oak Lean has a Nerq Trust Score of 48.2/100 (D). Measured across 2 independent trust signals (as of 2026-03-25).

Güvenlik Analizi → Oak Lean Gizlilik Raporu →

Oak Lean'in güven puanı nedir?

Oak Lean'in Nerq Güven Puanı 48.2/100 olup D notu almıştır. Bu puan 2 bağımsız olarak ölçülen boyuta dayanmaktadır.

Güvenlik
90
Popülerlik
0

Oak Lean için temel güvenlik bulguları nelerdir?

Oak Lean'in en güçlü sinyali 90/100 ile güvenlik'dir. Bilinen güvenlik açığı tespit edilmemiştir.

⚠Güvenlik puanı: 90/100 (güçlü)
⚠Popülerlik: 0/100 — topluluk benimsemesi

Oak Lean nedir ve kim tarafından yönetilmektedir?

GeliştiriciUnknown
KategoriRust Crates
KaynakN/A

Güven Puanına göre benzer Crates

lrtable (58)i-slint-backend-winit (58)pgrx-sql-entity-graph (58)myutil (58)rlua (58)
En güvenli Crates tümünü görüntüle →

Karşılaştır

Oak Lean vs lrtableOak Lean vs i-slint-backend-winitOak Lean vs pgrx-sql-entity-graph

Güvenlik Rehberi: Oak Lean

Nedir: Oak Lean?

Oak Lean bir Rust crate'idir — Lean theorem prover language parser with support for dependent types and formal verification..

Güvenliği Nasıl Doğrularsınız

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

Güven puanını API aracılığıyla da kontrol edebilirsiniz: GET /v1/preflight?target=oak-lean

İçin Temel Güvenlik Sorunları Rust crate

Herhangi bir şeyi değerlendirirken Rust crate, dikkat edin: dependency vulnerabilities, unsafe code, bakım status.

Measured Signals

Oak Lean has a Nerq Trust Score of 48/100 (D). This score is a composite of automated measurements of güvenlik, bakım, community, and quality signals.

Temel Çıkarımlar

Sık Sorulan Sorular

Oak Lean Güvenli mi?
oak-lean Nerq Güven Puanı ile 48.2/100 (D). En güçlü sinyal: güvenlik (90/100). Puan şuna dayalı: Güvenlik (90/100), Popülerlik (0/100).
Oak Lean'in güven puanı nedir?
oak-lean: 48.2/100 (D). Puan şuna dayalı: Güvenlik (90/100), Popülerlik (0/100). Yeni veriler mevcut olduğunda puanlar güncellenir. API: GET nerq.ai/v1/preflight?target=oak-lean
Oak Lean için daha güvenli alternatifler nelerdir?
Rust Crates kategorisinde, daha fazla Rust crate analiz ediliyor — yakında tekrar kontrol edin. oak-lean scores 48.2/100.
Oak Lean'in bilinen güvenlik açıkları var mı?
Nerq, Oak Lean'i NVD, OSV.dev ve kayıt defteri güvenlik açığı veritabanlarına karşı kontrol eder. Mevcut güvenlik puanı: 90/100.
Does Oak Lean use unsafe code?
Check Oak Lean's crate dokümantasyon for unsafe code usage. Trust score: 48.2/100. Fewer unsafe blocks generally indicates better memory safety.
API: /v1/preflight Trust Badge API Docs

Popüler Rust Crates

Datasketches 71Connectrpc Build 71Bitcoin Consensus Encoding 69Async Rs 69Apple Native Keyring Store 69Reqsign Azure Storage 69Aws Sdk Signin 69Xwt Core 67Rawler 67Zip321 67Collection Tools 67Vortex Datetime Parts 67

Kategorilere göz at

Rust CratesGüvenlikDevOps

Son analiz edilenler

Rollup Darwin Arm64 npmVite Plugin Singlefile npmMiddleware Signing npmInstrumentation Fastify npmVite Plugin Node Polyfill npmPostcss Text Decoration S npmClient Sso Oidc npmAngular npmCypress npmVite Plugin Full Reload npm

Ayrıca bakınız

Disclaimer: Nerq güven puanları, kamuya açık sinyallere dayanan otomatik değerlendirmelerdir. Tavsiye veya garanti niteliğinde değildir. Her zaman kendi doğrulamanızı yapın.

Apps npm PyPI VPNs Oyunlar Tüm Kategoriler Karşılaştır
Analiz ve önbelleğe alma için çerezler kullanıyoruz. Gizlilik