by @codervisor
This skill helps you trigger, monitor, and troubleshoot GitHub Actions workflows for LeanSpec using gh CLI.