هل Oak Lean آمن؟
Oak Lean — Nerq درجة الثقة 48.2/100 (الدرجة D). التقييم مبني على 2 independent trust signals. آخر تحليل 2026-03-25
Oak Lean هو Rust crate بدرجة ثقة Nerq 48.2/100 (D), بناءً على 3 أبعاد بيانات مستقلة. آخر تحليل 2026-03-25 الأمان: 90/100. الشعبية: 0/100. البيانات مصدرها قراءة آلية.
هل Oak Lean آمن؟
تفاصيل درجة الثقة — Oak Lean لديه درجة ثقة Nerq تبلغ 48.2/100 (D). Measured across 2 independent trust signals (as of 2026-03-25).
ما هي درجة ثقة Oak Lean؟
حصل Oak Lean على درجة ثقة Nerq تبلغ 48.2/100 بدرجة D. يعتمد هذا التقييم على 2 أبعاد مُقاسة بشكل مستقل.
ما هي النتائج الأمنية الرئيسية لـ Oak Lean؟
أقوى إشارة لـ Oak Lean هي الأمان بدرجة 90/100. لم يتم اكتشاف أي ثغرات أمنية معروفة.
ما هو Oak Lean ومن يديره؟
| المؤلف | Unknown |
| الفئة | Rust Crates |
| المصدر | N/A |
Crates مشابهة حسب درجة الثقة
دليل الأمان: Oak Lean
ما هو Oak Lean?
Oak Lean is a 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
When evaluating any Rust crate, watch for: dependency vulnerabilities, unsafe code, maintenance status.
Measured Signals
Oak Lean لديه درجة ثقة Nerq تبلغ 48/100 (D). This score is a composite of automated measurements of security, maintenance, community, and quality signals.
النقاط الرئيسية
- Oak Lean has a درجة الثقة 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.
الأسئلة الشائعة
هل Oak Lean آمن؟
ما هي درجة ثقة Oak Lean؟
ما هي البدائل الأكثر أمانًا لـ Oak Lean؟
هل لدى Oak Lean ثغرات أمنية معروفة؟
Does Oak Lean use unsafe code?
شائع في Rust Crates
تصفح الفئات
انظر أيضاً
إخلاء المسؤولية: درجات ثقة Nerq هي تقييمات آلية مبنية على إشارات متاحة للعموم. وهي ليست توصيات أو ضمانات. قم دائمًا بإجراء العناية الواجبة الخاصة بك.