Skill UI

This skill details advanced techniques for performing stealthy lateral movement across Windows domains using Windows Management Instrumentation (WMI). It covers the abuse of native tools like Impacket's wmiexec.py and CrackMapExec, enabling remote command execution, Pass-the-Hash attacks, and fileless techniques, crucial for authorized red team engagements and security auditing.

Automatically analyzes unfamiliar codebases to generate a comprehensive, structured onboarding guide. It systematically detects package manifests, framework fingerprints, architecture maps, key entry points, and coding conventions. Ideal for new developers joining a project or setting up a repository for the first time.

This skill provides a systematic pipeline for safely executing large-scale code refactors across multiple files or subsystems. It first performs parallel, dependency-aware analysis to map the entire scope, synthesizing a single, actionable plan. The process then breaks the work into independent 'work packets,' which are executed sequentially or in parallel by specialized worker agents, ensuring strict dependency management and behavior parity throughout the entire process.

A comprehensive guide for advanced Go developers, detailing the internals, optimal usage, and performance pitfalls of core data structures like slices, maps, and arrays. It covers capacity growth mechanics, preallocation strategies using `make` and `slices` package functions, and best practices for choosing between various standard library containers (e.g., `strings.Builder` vs `bytes.Buffer`). Essential for writing highly efficient, memory-safe Go code.

This skill analyzes an entire .NET solution (containing multiple projects) to map out a systematic migration path from Oracle to PostgreSQL. It scans for common Oracle indicators (NuGet packages, connection strings, code usage) and classifies every project into categories like MIGRATE, SKIP, or ALREADY_MIGRATED. The output is a structured, actionable Master Migration Plan, helping development teams manage large-scale database transitions efficiently.

This skill guides the safe, systematic, and at-scale refactoring of existing Go codebases. It ensures that structural changes maintain observable behavior by following a rigorous process: mapping blast radius, strengthening safety nets (tests), applying small tool-driven transforms, and committing changes atomically via staged PRs. Ideal for cleaning up large functions, resolving code smells, renaming packages, or tackling complex architectural improvements in Go.

Automatically analyzes unfamiliar codebases to generate a comprehensive, structured onboarding guide. It systematically detects package manifests, framework fingerprints, architecture maps, key entry points, and coding conventions. Ideal for new developers joining a project or setting up a repository for the first time.

This guide details the standards for submitting theoretical computer science papers, focusing on the required "formal-claims package." It emphasizes that the deliverable is not a runnable systems artifact, but a rigorous academic package containing a complete, self-contained proof appendix, a clear mapping of every stated claim to its proof location, and a full, publicly available version on arXiv.

This guide details the rigorous process for packaging and evaluating mechanized proofs (e.g., in Coq, Isabelle, Lean, Agda) submitted for academic conferences. It outlines criteria for achieving Functional, Reusable, and Available badges, focusing heavily on completing the formal development, auditing axioms, and ensuring perfect reproducibility by pinning toolchains and mapping theorems to source files.