domain cluster

DevOps

CI/CD, cloud infrastructure, and monitoring.

10719 مهارةall categories
sorting
stars
current ordering strategy
query
all entries
refine the visible subset
cicd
0

tla-plus

TLA+ formal verification for modeling and verifying concurrent algorithms and distributed systems. Use when asked about: TLA+, formal verification, model checking, verify algorithm, verify spec, check invariants, race condition analysis, concurrency model, TLC, Apalache, formal spec, temporal logic, prove correctness, state machine verification, model concurrent, TOCTOU, double-check locking, create TLA spec, run TLC, explain counterexample, verify safety, liveness property, deadlock detection, formal methods. Capabilities: Create specs from templates, run TLC/Apalache, generate CI pipelines, check code-spec drift, explain counterexamples, generate tests from invariants.

maxxentropy
maxxentropy
devops
open
cicd
0

maintainer-skill

Maintain the atlassian_confluence_cloud_v2_client SDK project. Use when asked to generate SDK code from OpenAPI spec, debug API issues, fix OpenAPI spec errors, or run the maintenance cycle.

MacHu-GWU
MacHu-GWU
devops
open
cicdmarketplace
0

plugin-doctor

Diagnose and fix quality issues in marketplace components with automated safe fixes and prompted risky fixes

cuioss
cuioss
devops
open
cicd
0

krammeverification-before-completion

Use when about to claim work is complete, fixed, or passing, before committing or creating PRs - requires running verification commands and confirming output before making any success claims; evidence before assertions always

Abildtoft
Abildtoft
devops
open
cicd
0

repo-architecture-research

Strukturierte Architektur-Recherche und -Analyse für Repository-Management-Tools (APT, RPM, PyPI). Automatisch aktiviert bei Recherche-Aufgaben zu apt-mirror, aptly, reposync, bandersnatch, devpi oder ähnlichen Tools.

slauger
slauger
devops
open
cicd
0

cva-setup-clojure

Clojure project setup and configuration for agent development with Google ADK. Includes deps.edn configuration, directory structure, namespace organization, REPL-driven development workflow, and build system integration. Use when starting new agent projects, configuring Clojure dependencies, troubleshooting project setup issues, organizing namespaces and code structure, or need guidance on Clojure best practices for agent development.

joaopelegrino
joaopelegrino
devops
open
cicd
0

say-hello

用于验证 skills 管线是否可用的最小示例。当用户要求测试 Skill 是否工作时使用此 skill。

est7
est7
devops
open
cicd
0

docusaurus-deployer

This skill should be used when deploying a Docusaurus site to GitHub Pages. It automates the configuration, building, and deployment process, handling GitHub Pages setup, environment configuration, and CI/CD automation. Includes local validation before GitHub Actions triggering.

DevHammad0
DevHammad0
devops
open
cicd
0

project-standardization

Guides correct usage of @j0kz/mcp-agents standardization and automation scripts including version.json single source of truth, test count automation, URL casing rules, and critical workflow pattern...

j0KZ
j0KZ
devops
open
cicd
0

x07-package

Manage X07 project dependencies and lockfiles for reproducible builds (lock, publish). Designed for autonomous agents.

x07lang
x07lang
devops
open
git-workflows
0

tdd-workflow

Test-Driven Development workflow with TDD commit convention, compliance tracking, and validation

vineethsoma
vineethsoma
devops
open
cloud
0

deploy-to-github

Set up GitHub Actions to deploy this repository via AWS Deployer - creates workflow, updates CloudFormation template with required parameters, and generates parameter files.

savaki
savaki
devops
open
cicd
0

verify-setup

Verify that the Visions Skills architecture is functioning correctly.

Who-Visions
Who-Visions
devops
open
cicd
0

predeploy

배포 전 종합 검증 - 테스트/린트/빌드/환경 설정을 자동 확인하여 배포 가능 여부 판단. 배포 전 또는 사용자가 "배포 가능한지 확인", "테스트 실행" 요청 시 사용.

dlehdgml5328
dlehdgml5328
devops
open
cicd
0

gmacko-release-deploy-mobile

Use when (1) building mobile app via EAS for distribution, (2) submitting to App Store or Google Play, (3) managing mobile release workflow. Handles Expo EAS build and submission process.

gmackie
gmackie
devops
open
cicd
0

output-error-nondeterminism

Fix non-determinism errors in Output SDK workflows. Use when seeing replay failures, inconsistent results between runs, "non-deterministic" error messages, or workflows behaving differently on retry.

growthxai
growthxai
devops
open
cicd
0

github-actions-troubleshooting

Troubleshoot and fix failing GitHub Actions pipeline steps. Use when user reports a failing pipeline with error output.

moogah
moogah
devops
open
monitoring
0

prometheus-configuration

Set up Prometheus for comprehensive metric collection, storage, and monitoring of infrastructure and applications. Use when implementing metrics collection, setting up monitoring infrastructure, or configuring alerting systems.

HermeticOrmus
HermeticOrmus
devops
open
cicd
0

implementation-phase

Standard Operating Procedure for /implement phase. Covers TDD workflow, anti-duplication checks, task execution, and continuous testing.

oxie
oxie
devops
open
Previous
Page 375 / 447
Next