AGENTRANK
kappelmann/isabelle-pide-mcp
An MCP server interacting with Isabelle via Isabelle/PIDE
59
/ 100
Stars
35
Freshness
72
Issue health
50
Contributors
35
Dependents
0