What data does Rocq collect?

Rocq has a Nerq Trust Score of 54.8/100 (C-). This privacy analysis examines data collection practices, third-party trackers, and privacy policy transparency.

Data Collection Overview

Rocq is a Homebrew formula. Proof assistant for higher-order logic Users should review the privacy policy for specific data handling practices.

Privacy Score

Security/Privacy score: 90/100. This score reflects data collection scope, tracker presence, and privacy policy clarity.

Recommendations

Review the privacy policy before creating an account
Check what permissions are requested
Consider what data you share and whether it is necessary
Use privacy-focused alternatives if data minimization is important to you

Full Trust Report Security Analysis Alternatives API Data

Last updated: 2026-08-31. View full trust report.