Безопасен ли 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 — это автоматические оценки, основанные на публично доступных сигналах. Они не являются рекомендацией или гарантией. Всегда проводите собственную проверку.