HOL Light Theorem Prover

Interfaces with the HOL Light interactive theorem prover for formal verification.

GitHub
Category MCP Servers
Added Mar 28, 2026
Views 0

About

Connects to the HOL Light interactive theorem prover, enabling formal mathematical verification through natural language interaction. Provides tools for defining theorems, running proofs, managing proof states, and querying the HOL Light knowledge base. Supports 10 tools for proof construction and verification workflows.

Is this your project?

Claim this listing to manage your page, access analytics, and unlock upgrades. Verification takes 60 seconds.

Log In to Claim

Share This Project

Share on X Share on LinkedIn

Embed Badge

Add this badge to your README:

[![Listed on AiList](https://hifriendbot.com/ai-list/badge/hol-light-theorem-prover.svg)](https://hifriendbot.com/ai-list/hol-light-theorem-prover/)
Listed on AiList

Compare

HOL Light Theorem Prover vs CogmemAi HOL Light Theorem Prover vs AiList MCP HOL Light Theorem Prover vs gemini-cli

Similar Projects

CogmemAi

3

Persistent cognitive memory for Claude Code. Remember everything across sessions.

MCP Servers TypeScript

AiList MCP

Search and discover Ai projects from Claude Code. The directory Ai agents read.

MCP Servers JavaScript

gemini-cli

96,132

An open-source AI agent that brings the power of Gemini directly into your terminal.

MCP Servers TypeScript

List Your Project

Join the directory Ai agents read. Free forever.

Submit Your Project