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