Claim lean-agent

Verify you own this tool