MCP servers tagged proof-assistant

1 live MCP servers tagged "proof-assistant", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with proof-assistant.

live servers

avg trust

Agda MCP Server

MCP server for interactive Agda proof development — type-checking, goal inspection, case splitting, proof search, and more via the Model Context Protocol