GitHub’s former CEO launched a competing platform for AI agents.