[console_scripts]
proofcore-mcp = proofcore_mcp.server:main
