Published July 6, 2026
| Version c13a4bd3c018
Software
Open
Isabelle PIDE MCP
Authors/Creators
Description
An MCP interacting with Isabelle via Isabelle/PIDE
Notes
If you use this software, please cite it using the metadata from this file.
Files
kappelmann/isabelle-pide-mcp-c13a4bd3c018.zip
Additional details
Related works
- Is supplement to
- Software: https://github.com/kappelmann/isabelle-pide-mcp/tree/c13a4bd3c018 (URL)
Software
- Repository URL
- https://github.com/kappelmann/isabelle-pide-mcp