Rocq安全吗？
Rocq — Nerq Trust Score 54.8/100 (C-级). 基于2 independent trust signals的评分。 最近分析： 2026-03-22
Rocq 是一个Homebrew formula Nerq 信任分数 54.8/100（C-）, 基于3个独立数据维度. 最近分析： 2026-03-22 安全: 90/100. 人气度: 30/100. 数据来源于Homebrew formulae database and GitHub (homebrew-core)。最后更新：2026-03-22。 机器可读数据（JSON）.
Rocq安全吗？
信任评分详情 — Rocq has a Nerq Trust Score of 54.8/100 (C-). Measured across 2 independent trust signals (as of 2026-03-22).
Rocq的信任评分是多少？
Rocq 的 Nerq 信任分数为 54.8/100，等级为 C-。该分数基于 2 个独立测量的维度，包括安全性、维护和社区采用。
Rocq的主要安全发现是什么？
Rocq 最强的信号是 安全性，为 90/100。 未检测到已知漏洞。
Rocq是什么，谁在维护它？
| 开发者 | Unknown |
| 类别 | Homebrew |
| 来源 | N/A |
安全指南： Rocq
什么是 Rocq?
Rocq is a Homebrew formula — Proof assistant for higher-order logic.
如何验证安全性
Homebrew formulas are community-reviewed. Check formulae.brew.sh.
您也可以通过 API 查看信任评分： GET /v1/preflight?target=rocq
以下方面的主要安全问题 Homebrew formula
在评估任何 Homebrew formula, 请注意： source build integrity, dependency chain.
Measured Signals
Rocq has a Nerq Trust Score of 55/100 (C-). This score is a composite of automated measurements of 安全性, 维护, community, and quality signals.
主要结论
- Rocq has a Trust Score of 55/100 (C-).
- 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.
常见问题
Rocq安全吗？
Rocq的信任评分是多少？
Rocq有哪些更安全的替代品？
Rocq是否积极维护？
How was Rocq reviewed?
热门 Homebrew
另请参阅
Disclaimer: Nerq 信任评分是基于公开信号的自动评估。它们不构成建议或保证。请始终进行自己的验证。