What is HOL Light Theorem Prover?
HOL Light Theorem Prover is a AI tool that Interfaces with the HOL Light interactive theorem prover for formal verification.. It has a Nerq Trust Score of 39/100 (E). 0 GitHub stars. Published by https://github.com/mkannwischer/mcp-hol-light. Last analyzed September 2026.
Why This Score
- ⚠️ Security: 0/100 — Some security concerns
- ⚠️ Maintenance: 0/100 — Maintenance activity is low
- ⚠️ Community: 0 stars, 0 downloads — Growing community
- ⚠️ Transparency: License: Not specified — No license specified
Trust & Safety Overview
What HOL Light Theorem Prover Does
HOL Light Theorem Prover is a mcp_server in the AI tool category. Interfaces with the HOL Light interactive theorem prover for formal verification.. It is published by https://github.com/mkannwischer/mcp-hol-light and has no specified license. With 0 GitHub stars and 0 downloads, it has a small community of users and contributors.
Who Should Use HOL Light Theorem Prover
HOL Light Theorem Prover is recommended only for experimental use. Consider alternatives with higher trust scores for production systems.
Details
| Author | https://github.com/mkannwischer/mcp-hol-light |
|---|---|
| Category | AI tool |
| License | Not specified |
| Type | mcp_server |
| Source | View on GitHub |
| Security Score | 0/100 |
| Activity Score | 0/100 |
How to Get Started
Check the trust score before installing:
curl nerq.ai/v1/preflight?target=hol-light-theorem-prover
Setup guide · Full safety report · Production review · Is it safe?
Safer Alternatives
| Tool | Trust | Stars |
|---|---|---|
| MarkItDown | 42 | 92.8K |
| Fetch | 50 | 89.4K |
| Time | 50 | 89.4K |
| Filesystem | 50 | 89.4K |
| Sequential Thinking | 50 | 89.4K |
Frequently Asked Questions
Last updated September 2026. Trust scores based on automated analysis of public data.