[console_scripts]
isabelle-mcp = isabelle_mcp.server:main
