1. Conduid
  2. Developer Tools
  3. Hol4 MCP
MCP server · Developer Tools

Hol4 MCP

by · github.com/HOL-Theorem-Prover/hol4-mcp

cursor and mcp tools for hol4

Unclaimed devtools
InstallView source
34Low

Scored a month ago · breakdown

About Hol4 MCP

Hol4 MCP is an MCP server published by HOL-Theorem-Prover in the Developer Tools category: cursor and mcp tools for hol4.

The repository has 2 stars and 4 forks, with the last commit 5 months ago. Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/HOL-Theorem-Prover/hol4-mcp

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Tools (5)

hol_restartRestart session (preserves workdir and env)

Parameters not published.

hol_sessionsList active sessions with age, status, and cursor info

Parameters not published.

hol_setenvSet environment variables and auto-restart

Parameters not published.

hol_startStart a HOL REPL session in a working directory

Parameters not published.

hol_stopTerminate a session

Parameters not published.

Ask AI

✦

Ask AI about Hol4 MCP

Powered by Claude · Grounded in docs

I know everything about Hol4 MCP. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Questions

About Hol4 MCP

How do I install Hol4 MCP?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Hol4 MCP safe to use with an AI agent?

Its trust score is 34 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Hol4 MCP still maintained?

Yes — the last commit was 5 months ago. The repository has 2 stars and 4 forks.