Published November 13, 2026
| Version 2026
Software
Open
Isabelle PIDE MCP
Authors/Creators
Description
Isabelle server for AI agents (MCP or command-based) using PIDE.
Files
kappelmann/isabelle-pide-ai-2026.zip
Additional details
Related works
- Is supplement to
- Software: https://github.com/kappelmann/isabelle-pide-ai/tree/2026 (URL)
Software
- Repository URL
- https://github.com/kappelmann/isabelle-pide-ai