🧩

Hol4 MCP

Open-source skill, curated and packaged by MarketNow. Original authors retain all rights.

$4.86

General python Verified 5/5

An MCP server that gives LLM agents interactive access to the HOL4 theorem prover. Agents

generalpythonhol4

Install

uvx hol4-mcp

Sentinel: 5/5 — Verified

Language: python

Category: General

Slug: hol4-mcp

Docker: ✗ No

Verified: ✓ Yes

Price: $4.86

Secure checkout · Instant delivery

Embed this badge in your README

[![Sentinel 5/5](https://marketnow.site/badge/hol4-mcp.svg)](https://marketnow.site/skill/hol4-mcp)