[console_scripts]
mathkernel-formal-audit = mathkernel.formal_audit.__main__:main
mathkernel-lean-setup = mathkernel.lean_bootstrap:main
mathkernel-mcp = mathkernel_mcp.server:main
