Skill UI

This guide details the Hexagonal Architecture (Ports and Adapters) pattern, a robust method for decoupling core business logic from external infrastructure concerns. It teaches how to structure applications to make the domain model independent of databases, UI frameworks, or message queues. Implementing this pattern drastically improves testability, maintainability, and the ability to swap out external services without rewriting business rules.

This skill analyzes existing legacy codebases to detect implicit coding conventions across four meta-architectural dimensions (File Anatomy, State & Control Flow, Infrastructure, Error Handling). It resolves conflicts one by one with the user, generating a structured rules file (.ai-style-rules.md) and optionally installing persistent hooks to prevent AI-generated code style drift in future development.

This skill guides users through Phases 2 (Pseudocode Design) and 3 (Architecture Design) of the SPARC methodology. It translates high-level specifications into detailed technical blueprints, covering algorithm pseudocode, module boundaries, API contracts (using DDD patterns), and infrastructure planning, ensuring a robust plan before writing production code.

This guide helps researchers evaluate whether their computer systems project—covering areas like OS, distributed infrastructure, cloud computing, and ML systems—is best suited for EuroSys, or if it should target other top-tier venues like SOSP, OSDI, or ASPLOS. It provides rigorous criteria covering built artifacts, transferable ideas, evidence quality, and strategic timing to maximize publication chances.

This guide provides detailed guidelines for authors submitting to top-tier formal methods conferences (like TACAS). It emphasizes moving beyond simple literature summaries by employing a "delta-first" approach. Authors must precisely position their algorithm or tool by contrasting its novel features, guarantees, or scaling benefits against the nearest prior work, while also crediting underlying infrastructure and covering major verification venues.

This skill provides a comprehensive guide for authors targeting the USENIX Symposium on Operating Systems Design and Implementation (OSDI). It helps in positioning complex systems research, covering core scope areas like operating systems, distributed systems, and cloud infrastructure. It details how to frame the contribution, build evidence (artifacts, baselines), and distinguish the work from similar top-tier venues like SOSP and NSDI.

This workflow performs a comprehensive review against the Azure Well-Architected Framework (WAF) using your existing Infrastructure as Code (IaC) and deployed resources. It systematically checks the five pillars—Reliability, Security, Cost Optimization, Operational Excellence, and Performance Efficiency—identifying architectural risks, drift, and compliance gaps. Findings are automatically logged and converted into actionable GitHub issues for streamlined remediation.

A specialized downstream skill for CTF-sandbox workflows. Used to analyze complex security challenges driven by AI agent interactions, prompt injection, or infrastructure vulnerabilities. Focuses on tracing control chains involving untrusted input, tool side effects, deployment drift, container runtime issues, and CI/CD supply chain provenance. Ideal for rigorous vulnerability assessment in modern, distributed systems.

A specialized tool designed to manage and deploy cloud infrastructure using Terraform commands. It activates only when explicit Terraform CLI operations (such as plan, apply, or destroy) are detected. Users must specify the target workspace path and the desired action to ensure accurate and controlled infrastructure management.