Oak Lean ปลอดภัยหรือไม่?

Oak Lean — Nerq Trust Score 48.2/100 (เกรด D). คะแนนอิงจาก 2 independent trust signals. วิเคราะห์ล่าสุด: 2026-03-25

Oak Lean เป็น Rust crate ด้วยคะแนนความน่าเชื่อถือ Nerq 48.2/100 (D), based on 3 มิติข้อมูลอิสระ. วิเคราะห์ล่าสุด: 2026-03-25 ความปลอดภัย: 90/100. ความนิยม: 0/100. ข้อมูลจาก crates.io registry, GitHub, NVD, and RustSec advisory database. อัปเดตล่าสุด: 2026-03-25. ข้อมูลที่เครื่องอ่านได้ (JSON).

คู่มือความปลอดภัย: Oak Lean

คืออะไร Oak Lean?

Oak Lean เป็น Rust crate — Lean theorem prover language parser with support for dependent types and formal verification..

วิธีตรวจสอบความปลอดภัย

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

คุณสามารถตรวจสอบคะแนนความน่าเชื่อถือผ่าน API ได้เช่นกัน: GET /v1/preflight?target=oak-lean

ข้อกังวลด้านความปลอดภัยหลักสำหรับ Rust crate

เมื่อประเมิน Rust crate, ควรระวัง: dependency vulnerabilities, unsafe code, การบำรุงรักษา status.

Measured Signals

Oak Lean has a Nerq Trust Score of 48/100 (D). This score is a composite of automated measurements of ความปลอดภัย, การบำรุงรักษา, community, and quality signals.

ประเด็นสำคัญ

• 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.

Disclaimer: คะแนนความน่าเชื่อถือของ Nerq เป็นการประเมินอัตโนมัติจากสัญญาณที่เปิดเผยต่อสาธารณะ ไม่ใช่คำแนะนำหรือการรับประกัน กรุณาตรวจสอบด้วยตนเองเสมอ