[console_scripts]
proof-forge-mcp = server:main
