[console_scripts]
folprover-mcp = folprover_mcp.server:main
