Is Rocq Safe? Trust Analysis 2026

Nerq Trust Intelligence

Is Rocq Safe?

Use Rocq with some caution. Rocq is a Homebrew formula with a Nerq Trust Score of 54.8/100 (C-), based on 3 independent data dimensions. It is below the recommended threshold of 70. Security: 90/100. Popularity: 30/100. Data sourced from Homebrew formulae database and GitHub (homebrew-core). Last updated: 2026-03-26. Machine-readable data (JSON).

Is Rocq safe?

CAUTION — Rocq has a Nerq Trust Score of 54.8/100 (C-). It has moderate trust signals but shows some areas of concern that warrant attention. Suitable for development use — review security and maintenance signals before production deployment.

Trust Score Breakdown

Security

90

Popularity

30

Key Findings

✓Security score: 90/100 (strong)

⚠Popularity: 30/100 — community adoption

Details

Author	Unknown
Category	homebrew
Source	N/A

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 formulas

When evaluating any Homebrew formula, watch for: source build integrity, dependency chain.

Trust Assessment

Rocq has a Nerq Trust Score of 55/100 (C-) and has not yet reached Nerq trust threshold (70+). This score is based on automated analysis of security, maintenance, community, and quality signals.

Key Takeaways

Rocq has a Trust Score of 55/100 (C-).
Review carefully before use — below trust threshold.
Always verify independently using the Nerq API.

Frequently Asked Questions

Is Rocq safe to use?

Use with some caution. rocq has a Nerq Trust Score of 54.8/100 (C-). Strongest signal: security (90/100). Score based on security (90/100), popularity (30/100).

What is Rocq's trust score?

rocq: 54.8/100 (C-). Score based on: security (90/100), popularity (30/100). Scores update as new data becomes available. API: GET nerq.ai/v1/preflight?target=rocq

What are safer alternatives to Rocq?

In the homebrew category, more Homebrew formulas are being analyzed — check back soon. rocq scores 54.8/100.

Is Rocq actively maintained?

Rocq maintenance score: N/A. Check the repository for recent commit activity and issue responsiveness.

How was Rocq reviewed?

Nerq analyzes Rocq using data from Homebrew formulae database and GitHub (homebrew-core). Trust score: 54.8/100 (C-).

API: /v1/preflight Trust Badge API Docs

Disclaimer: Nerq trust scores are automated assessments based on publicly available signals. They are not endorsements or guarantees. Always conduct your own due diligence.