HOL-Theorem-Prover/hol4-mcp

cursor and mcp tools for hol4

1 file for Claude Code: hol4-mcp CLAUDE.md — 124 tokens loaded in every session.

Open on GitHub

2Stars on the repository

1Files it configures its agents with

124Tokens loaded in every session

1Agent configured

Instructions

hol4-mcp CLAUDE.md CLAUDE.md A 124 tok

These files are HOL-Theorem-Prover/hol4-mcp's own configuration — they tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.