isabelle-pide-mcp MCP Server
kappelmann/isabelle-pide-mcp
[](https://agentrank-ai.com/tool/kappelmann--isabelle-pide-mcp/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge) Are you the maintainer of kappelmann/isabelle-pide-mcp? Claim this listing →
An MCP server interacting with Isabelle via Isabelle/PIDE
Add AgentRank to Claude Code Discover and compare tools like kappelmann/isabelle-pide-mcp — your AI finds the right one automatically
Get API Access → claude mcp add agentrank -- npx -y agentrank-mcp-server Overview
kappelmann/isabelle-pide-mcp is a Scala MCP server licensed under LGPL-3.0. An MCP server interacting with Isabelle via Isabelle/PIDE
Ranked #6562 out of 24846 indexed tools.
Ecosystem
Scala LGPL-3.0
Score Breakdown
Stars 15% 18
18 stars → early stage
Freshness 25% 1mo ago
Last commit 1mo ago → recently updated
Issue Health 25% 50%
No issues filed → no history to score
Contributors 10% 3
3 contributors → small team
Dependents 25% 0
No dependents → no downstream usage
npm Downloads N/A
PyPI Downloads N/A
Forks 3
Description Good
License LGPL-3.0
Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →
How to Improve
Description low impact
Dependents medium impact
Badge all embed codes →
[](https://agentrank-ai.com/tool/kappelmann--isabelle-pide-mcp/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge) <a href="https://agentrank-ai.com/tool/kappelmann--isabelle-pide-mcp/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/v1/badge/kappelmann--isabelle-pide-mcp" alt="AgentRank"></a> Matched Queries
Get the weekly AgentRank digest
Top movers, new tools, ecosystem insights — straight to your inbox.