MinaProtocol

Use when the user asks to trigger Mina CI, Buildkite CI, PR CI, !ci-build-me, !ci-single-me, !ci-docker-me, !ci-nightly-me, or other MinaProtocol/mina GitHub comment CI commands. Use this skill to choose the right magic comment and post it with gh CLI on Mina…

Use when the user asks to write, add, or fix a changelog entry for a MinaProtocol/mina PR, or when CI fails with "Missing changelog entry detected". Use this skill to produce a correctly named changes/<PR>.md written for end users, instead of pasting the PR…

Operator runbook for the Mina Mesa hardfork upgrade rehearsal on the mesa-mut network, driven by the mina-mcp-server `get_upgrade_status` tool. Use when working against `--network mesa-mut`, when a user asks "what phase is the Mesa upgrade in", "can I still…