The Azure DevOps MCP Server is built from tools that are concise, simple, focused, and easy to use—each designed for a specific scenario. We intentionally avoid complex tools that try to do too much.

However, I noticed that it's not in the big list of boards in PlatformIO's documentation, and the UI in the VSCode extension doesn't find it. Having support for generic STM32C071 boards would also be ...

Both Azure DevOps and GitHub have their own automation and CI/CD tools — Azure Pipelines and GitHub Actions, respectively. These two tools both support hosted agents for public and private projects.