[console_scripts]
acs = conjecture_solver.cli:main
conjecture-solver = conjecture_solver.cli:main
simjecture = conjecture_solver.cli:main
simjecture-mcp = conjecture_solver.mcp_server:main
