#13Tyler-R-Kendrick/gh-aw-mcp-approval-queue1 skillsgh-awInstall and use GitHub Agentic Workflows (gh-aw) to create, compile, run, debug, and manage AI-powered workflows written in Markdown. Use when asked to create a new agentic workflow, compile a workflow to GitHub Actions YAML, trigger or monitor a workflow…30 avr. 2026
#14Tyler-R-Kendrick/agentic_validation1 skillsvalidateUse this skill for high-assurance validation of reasoning, claims, and proof sketches with the repository's full workflow or direct SMT/Lean checks.12 avr. 2026
#15Tyler-R-Kendrick/gh-aw-sdlc1 skillsgh-awInstall, create, and manage GitHub Agentic Workflows (gh-aw). Use when: setting up gh-aw CLI extension, creating agentic workflow markdown files, compiling workflows, running workflows, managing workflow lifecycle (enable/disable/update/upgrade),…13 mars 2026