Home Developer tools isabelle-mcp Tools IM isabelle-mcp by xqyww123io.github.xqyww123/isabelle-mcp-changelog.mdv0.6.0 1.6 · 31/100How the score works Runs on your machine No known advisories LGPL-2.1-OR-LATER OverviewToolsSecurityAlternatives We have not seen this server list its tools yet.