Is HOL Light Theorem Prover Legit?
HOL Light Theorem Prover has a Nerq Trust Score of 39/100 (E). Verdict: SUSPICIOUS. Published by https://github.com/mkannwischer/mcp-hol-light. 0 users. Updated September 2026.
SUSPICIOUS
Legitimacy Signals
| Signal | Status |
|---|---|
| Trust Score | 39/100 (E) |
| Publisher | https://github.com/mkannwischer/mcp-hol-light |
| Users/Downloads | 0 |
| Stars | 0 |
| License | Not specified |
FAQ
Is HOL Light Theorem Prover legit?
Trust Score: 39/100 (E). Verdict: suspicious.
Is HOL Light Theorem Prover a real company?
HOL Light Theorem Prover is published by https://github.com/mkannwischer/mcp-hol-light. 0 users.
Can I trust HOL Light Theorem Prover?
Multiple risk indicators detected.
Is HOL Light Theorem Prover a scam?
Scam indicators: elevated risk — verify independently.
Is it safe? Privacy Pros & cons Spyware? Review What is it? Alternatives Trending Leaderboard Discover
Safety Report Is It Safe?
Alternatives Prediction
Trending Leaderboard
Discover MCP Servers
Packages Models
Stats API
Last updated September 2026. Trust scores based on automated analysis of public data.