Oak Lean có an toàn không?

Oak Lean — Nerq Trust Score 48.2/100 (Hạng D). Điểm dựa tr��n 2 independent trust signals. Phân tích gần nhất: 2026-03-25

Oak Lean là một gói Rust với Điểm tin cậy Nerq 48.2/100 (D), dựa trên 3 chiều dữ liệu độc lập. Phân tích gần nhất: 2026-03-25 Bảo mật: 90/100. Độ phổ biến: 0/100. Dữ liệu từ crates.io registry, GitHub, NVD, and RustSec advisory database. Cập nhật lần cuối: 2026-03-25. Dữ liệu máy đọc được (JSON).

Oak Lean có an toàn không?

Chi tiết điểm tin cậy — Oak Lean has a Nerq Trust Score of 48.2/100 (D). Measured across 2 independent trust signals (as of 2026-03-25).

Phân tích Bảo mật → Báo cáo quyền riêng tư Oak Lean →

Điểm tin cậy của Oak Lean là bao nhiêu?

Oak Lean có Điểm tin cậy Nerq là 48.2/100 với xếp hạng D. Điểm này dựa trên 2 chiều dữ liệu được đo lường độc lập bao gồm bảo mật, bảo trì và sự chấp nhận của cộng đồng.

Bảo mật
90
Độ phổ biến
0

Các phát hiện bảo mật chính của Oak Lean là gì?

Tín hiệu mạnh nhất của Oak Lean là bảo mật ở mức 90/100. Không phát hiện lỗ hổng đã biết.

⚠Điểm bảo mật: 90/100 (mạnh)
⚠Độ phổ biến: 0/100 — sự chấp nhận cộng đồng

Oak Lean là gì và ai duy trì nó?

Nhà phát triểnUnknown
Danh mụcRust Crates
NguồnN/A

Crates tương tự theo Điểm Tin cậy

lrtable (58)i-slint-backend-winit (58)pgrx-sql-entity-graph (58)myutil (58)rlua (58)
Xem tất cả Crates an toàn nhất →

So sánh

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

Hướng dẫn bảo mật: Oak Lean

là gì Oak Lean?

Oak Lean là một thư viện Rust — Lean theorem prover language parser with support for dependent types and formal verification..

Cách xác minh an toàn

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

Bạn cũng có thể kiểm tra điểm tin cậy qua API: GET /v1/preflight?target=oak-lean

Vấn đề bảo mật chính cho Rust crate

Khi đánh giá bất kỳ Rust crate, cần chú ý: dependency vulnerabilities, unsafe code, bảo trì status.

Measured Signals

Oak Lean has a Nerq Trust Score of 48/100 (D). This score is a composite of automated measurements of bảo mật, bảo trì, community, and quality signals.

Điểm chính

Câu hỏi thường gặp

Oak Lean có an toàn không?
oak-lean với Điểm tin cậy Nerq 48.2/100 (D). Tín hiệu mạnh nhất: bảo mật (90/100). Điểm dựa tr��n Bảo mật (90/100), Độ phổ biến (0/100).
Điểm tin cậy của Oak Lean là bao nhiêu?
oak-lean: 48.2/100 (D). Điểm dựa tr��n Bảo mật (90/100), Độ phổ biến (0/100). Điểm được cập nhật khi có dữ liệu mới. API: GET nerq.ai/v1/preflight?target=oak-lean
Các lựa chọn an toàn hơn Oak Lean là gì?
Trong danh mục Rust Crates, thêm Rust crate đang được phân tích — hãy quay lại sớm. oak-lean scores 48.2/100.
Oak Lean có lỗ hổng bảo mật đã biết không?
Nerq kiểm tra Oak Lean với NVD, OSV.dev và cơ sở dữ liệu lỗ hổng. Điểm bảo mật hiện tại: 90/100.
Does Oak Lean use unsafe code?
Check Oak Lean's crate tài liệu for unsafe code usage. Trust score: 48.2/100. Fewer unsafe blocks generally indicates better memory safety.
API: /v1/preflight Trust Badge API Docs

Phổ biến trong 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

Duyệt danh mục

Rust CratesBảo mậtDevOps

Phân tích gần đây

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

Xem thêm

Disclaimer: Điểm tin cậy Nerq là đánh giá tự động dựa trên tín hiệu công khai. Đây không phải khuyến nghị hay bảo đảm. Hãy luôn tự xác minh.

Apps npm PyPI VPNs Trò chơi Tất cả danh mục So sánh
Chúng tôi sử dụng cookie cho phân tích và bộ nhớ đệm. Quyền riêng tư