[console_scripts]
actenon-kernel = actenon.cli:main
actenon-local-proof = actenon.demo.local_proof:main
actenon-mcp = actenon.mcp_server:main
actenon-portable-local-proof = actenon.demo.portable_local_proof:main
