GitHub
lean-build
Build, test, and debug Lean 4 projects using Lake. Use when building the ComputationalPaths project, checking for errors, running tests, cleaning artifacts, or debugging Lean 4 compilation issues.
Skills IA tools cicd
Découvrez les skills tools cicd, comparez leurs dépôts et consultez leurs instructions.
Catégories: tools cicd
tools cicd Effacer les filtres
Explorer
GitHub
ci-and-releases
A lightweight checklist for CI, toolchain bumps, and version/release hygiene for the ComputationalPaths Lean 4 project (Lake + lean-action CI).
GitHub
lean-build
Build, test, and debug Lean 4 projects using Lake. Use when building the ComputationalPaths project, checking for errors, running tests, cleaning artifacts, or debugging Lean 4 compilation issues.
GitHub
ci-and-releases
A lightweight checklist for CI, toolchain bumps, and version/release hygiene for the ComputationalPaths Lean 4 project (Lake + lean-action CI).
GitHub
pulumi-python-cicd
Expert guidance for Pulumi infrastructure-as-code with Python and CI/CD pipeline integration. Use this skill when users ask about: (1) Creating or managing Pulumi projects with Python, (2) Writing Pulumi stacks...
GitHub
docker
Help with Docker setup, commands, and troubleshooting for the GeroCare development environment.
GitHub
lord
provides expert guidance on lord, a minimalist paas cli tool for deploying docker containers via ssh. use when user mentions lord deployment, docker container deployment, traefik configuration, remote hosting,...
GitHub
commit
Generate perfect semantic commit messages from staged changes. Use when the user says "commit", "/commit", asks for a commit message, wants to commit changes, or needs help writing a commit. Analyzes git diff t...
GitHub
validation-checklist
Skill de validação pré-entrega para projetos de desenvolvimento (backend/frontend: tests, lint, tsc, docs, QA).
GitHub
pio-wrapper
Filters PlatformIO output to reduce token usage in agentic tools. Returns success confirmation on successful builds and only error lines on failures instead of full logs. Use when agentic tools need to run Plat...
GitHub
ops-deployment
Build pipeline, verification, and deployment scripts.
GitHub
orchestrate-subagents
Orchestrate parallel and/or sequential subagents working in separate git worktrees to deliver PR(s). Use when bundling multiple related GitHub issues into a single task, running best-of-3 identical attempts, mo...
GitHub
pr-review-helper
Create pull requests with an interactive review and approval step. Use this skill when the user asks to create a pull request, open a PR, or submit their changes for review. This skill ensures PR descriptions a...
GitHub
release
Release workflow for kasoa monorepo. Supports both CI and local publishing.
GitHub
implementation-cycle
HAIOS Implementation Cycle for structured work item implementation. Use when starting implementation of a plan. Guides PLAN->DO->CHECK->DONE workflow with phase-specific tooling.
GitHub
design-review-validation
HAIOS Design Review Validation for verifying implementation alignment. Use during DO phase. Guides COMPARE->VERIFY->APPROVE workflow.
GitHub
dod-validation-cycle
HAIOS DoD Validation Cycle for validating Definition of Done before closure. Use before DONE phase. Guides CHECK->VALIDATE->APPROVE workflow.
GitHub
seo-final-package
Erstellt deployment-ready Publication Package mit Next.js Code, Metadata und Schemas. Phase 7 des SEO Workflows.
GitHub
complex-task-workflow
Orchestrates complex or architectural code changes through a structured workflow. Use when the user requests multi-file changes, new features, architectural refactoring, database schema changes, new API endpoin...
GitHub
changelog-management
This skill should be used when the user asks to "update changelog", "add changelog entry", "prepare release notes", "document version changes", "generate changelog", "review release history", "create release en...
GitHub
app-docker-deploy-with-traefik
Generate Docker and Traefik deployment configurations for any application (Node.js, Python, Go, Rust, Java). Creates Dockerfile, docker-compose.yml, docker-compose.for-traefik.yml overlay, and .env.sample with...
GitHub
writing-plans
Use when you have a spec or requirements for a multi-step task, before touching code
GitHub
writing-skills
Use when creating new skills, editing existing skills, or verifying skills work before deployment
GitHub
background-build-monitor
Use this skill when applying home-manager or darwin configurations that require long-running builds. Automatically runs builds in background, monitors progress with appropriate polling intervals, and reports st...
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.