Does HOL Light Theorem Prover Sell Your Data? 2026 | Nerq
HOL Light Theorem Prover has a Nerq Trust Score of 39/100 (E). Verdict: Data Selling Risk. Based on privacy analysis of permissions, policies, and data practices. Published by https://github.com/mkannwischer/mcp-hol-light. 0 users. Updated September 2026.
Data Selling Risk
Analysis
| Trust Score | 39/100 (E) |
|---|---|
| Publisher | https://github.com/mkannwischer/mcp-hol-light |
| Users | 0 |
| Stars | 0 |
| License | Not specified |
| Category | N/A |
FAQ
Does HOL Light Theorem Prover sell your data?
HOL Light Theorem Prover Trust Score: 39/100 (E). Verdict: data selling risk. Based on privacy analysis of permissions, policies, and data practices.
Can I trust HOL Light Theorem Prover?
Exercise caution. Score: 39/100.
What do others say about HOL Light Theorem Prover?
0 users. 0 stars. Grade: E.
Safe? Legit? Scam?
Spyware? Privacy Pros/Cons
Review What is it? Who owns?
Alternatives Use safely
Kids? Trending Leaderboard
Updated September 2026. Trust scores based on automated analysis.