Ex-GitHub CEO launches a new developer platform for AI agents