A GitHub-compatible Git service built for AI agents · HackerLangs