क्या 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 has a Nerq Trust Score of 48.2/100 (D). Measured across 2 independent trust signals (as of 2026-03-25).
Oak Lean का विश्वास स्कोर क्या है?
Oak Lean का Nerq Trust Score 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 एक 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.
अक्सर पूछे जाने वाले प्रश्न
क्या Oak Lean सुरक्षित है?
Oak Lean का विश्वास स्कोर क्या है?
Oak Lean के अधिक सुरक्षित विकल्प क्या हैं?
क्या Oak Lean में ज्ञात कमज़ोरियाँ हैं?
Does Oak Lean use unsafe code?
लोकप्रिय Rust Crates
श्रेणियाँ देखें
यह भी देखें
Disclaimer: Nerq विश्वास स्कोर सार्वजनिक रूप से उपलब्ध संकेतों पर आधारित स्वचालित मूल्यांकन हैं। ये सिफारिश या गारंटी नहीं हैं। हमेशा अपना स्वयं का सत्यापन करें।