[console_scripts]
claude-lean = claude_lean.cli:main
