No user-submitted related servers found.
Scored across 4 tools
The set covers four clearly separable operations along the build lifecycle: listing profiles, installing the toolchain, triggering a build, and reading the last result. Descriptions explicitly distinguish the two build-related tools ("不触发构建" for get_build_result), so an agent can pick correctly. No two tools do the same thing.
All names share the android_ prefix and follow a verb_noun pattern (list_profiles, install_toolchain, get_build_result). android_build omits a noun object and breaks the pattern slightly, but overall it is readable and consistent.
Four tools is well-scoped for a single-purpose build agent, and each maps to a distinct step an agent needs. Nothing extraneous or redundant.
The core steps of listing, provisioning, and building are covered, but notable gaps remain: there is no way to register or edit a profile, no device deployment (such as adb install) or cleanup, and no way to cancel a build. These are real gaps agents will hit, but they can work around them.