Apakah Oak Lean Aman?
Oak Lean — Nerq Trust Score 48.2/100 (Nilai D). Skor berdasarkan 2 independent trust signals. Terakhir dianalisis: 2026-03-25
Oak Lean adalah Rust crate dengan Skor Kepercayaan Nerq sebesar 48.2/100 (D), based on 3 dimensi data independen. Terakhir dianalisis: 2026-03-25 Keamanan: 90/100. Popularitas: 0/100. Data bersumber dari crates.io registry, GitHub, NVD, and RustSec advisory database. Terakhir diperbarui: 2026-03-25. Data yang dapat dibaca mesin (JSON).
Apakah Oak Lean Aman?
Rincian Skor Kepercayaan — Oak Lean has a Nerq Trust Score of 48.2/100 (D). Measured across 2 independent trust signals (as of 2026-03-25).
Berapa skor kepercayaan Oak Lean?
Oak Lean memiliki Skor Kepercayaan Nerq 48.2/100 dengan nilai D. Skor ini didasarkan pada 2 dimensi yang diukur secara independen.
Apa temuan keamanan utama untuk Oak Lean?
Sinyal terkuat Oak Lean adalah keamanan pada 90/100. Tidak ada kerentanan yang diketahui terdeteksi.
Apa itu Oak Lean dan siapa yang mengelolanya?
| Pembuat | Unknown |
| Kategori | Rust Crates |
| Sumber | N/A |
Crates serupa berdasarkan Skor Kepercayaan
Panduan Keamanan: Oak Lean
Apa itu Oak Lean?
Oak Lean adalah crate Rust — Lean theorem prover language parser with support for dependent types and formal verification..
Cara Memverifikasi Keamanan
Run cargo audit. Review on crates.io for activity.
Anda juga dapat memeriksa skor kepercayaan melalui API: GET /v1/preflight?target=oak-lean
Masalah Keamanan Utama untuk Rust crate
Saat mengevaluasi Rust crate, perhatikan: dependency vulnerabilities, unsafe code, pemeliharaan status.
Measured Signals
Oak Lean has a Nerq Trust Score of 48/100 (D). This score is a composite of automated measurements of keamanan, pemeliharaan, community, and quality signals.
Kesimpulan Utama
- 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.
Pertanyaan yang Sering Diajukan
Apakah Oak Lean Aman?
Berapa skor kepercayaan Oak Lean?
Apa alternatif yang lebih aman dari Oak Lean?
Apakah Oak Lean memiliki kerentanan yang diketahui?
Does Oak Lean use unsafe code?
Populer di Rust Crates
Jelajahi kategori
Lihat juga
Disclaimer: Skor kepercayaan Nerq adalah penilaian otomatis berdasarkan sinyal yang tersedia secara publik. Ini bukan rekomendasi atau jaminan. Selalu lakukan verifikasi mandiri Anda sendiri.