[console_scripts]
proveit-mcp = proveit_mcp.__main__:main
