What data does Type Proof collect?

Type Proof has a Nerq Trust Score of 39.0/100 (F). This privacy analysis examines data collection practices, third-party trackers, and privacy policy transparency.

Data Collection Overview

Type Proof is a Rust crate. A crate for type-checked propositional logic proofs Users should review the privacy policy for specific data handling practices.

Privacy Score

Security/Privacy score: Under assessment. 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-09-23. View full trust report.