agentmods.dev

HOL-Theorem-Prover

1 mods across 1 repository, 2 stars between them.

Open on GitHub
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

hol4-mcp CLAUDE.md

01

HOL-Theorem-Prover/hol4-mcp

Instructions file

Instructions for HOL-Theorem-Prover/hol4-mcp, covering development notes, virtual environment, running tests and fastmcp.

2 3mo ago A 124 tokens original MIT