Is Rocq Safe?

Rocq — Nerq Trust Score 54.8/100 (C- grade). Score based on 2 independent trust signals. Last analyzed: 2026-03-22

Rocq is a Homebrew formula with a Nerq Trust Score of 54.8/100 (C-), based on 3 independent data dimensions. Last analyzed: 2026-03-22 Security: 90/100. Popularity: 30/100. Data sourced from Homebrew formulae database and GitHub (homebrew-core). Last updated: 2026-03-22. Machine-readable data (JSON).

Safety Guide: Rocq

What is Rocq?

Rocq is a Homebrew formula — Proof assistant for higher-order logic.

How to Verify Safety

Homebrew formulas are community-reviewed. Check formulae.brew.sh.

You can also check the trust score via API: GET /v1/preflight?target=rocq

Key Safety Concerns for Homebrew formula

When evaluating any Homebrew formula, watch for: 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 security, maintenance, community, and quality signals.

Key Takeaways

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

Disclaimer: Nerq trust scores are automated measurements based on publicly available signals. They are not endorsements, verdicts, or guarantees of suitability. Always evaluate the signals against your own requirements.