Skill UI

This guide provides rigorous best practices for developing and presenting theoretical economic models for top-tier journals. It emphasizes framing results with a clear economic payoff, maintaining minimal model setups, and ensuring that complex, full proofs are relegated to the online appendix. The goal is to ensure the primary economic insight remains highly visible and actionable, rather than being buried in algebraic machinery.

This guide helps structure and build rigorous academic theories and economic models, especially for accounting manuscripts. Use it when the core challenge is articulating the underlying economic mechanism (friction, channel), building a minimal, provable model, or moving beyond simple correlation (HARKing). It guides the process from raw primitives to testable, proposition-based arguments.

This guide provides a highly strategic protocol for drafting the single-page rebuttal memo required for top-tier academic conferences, such as RSS. It teaches authors how to tailor their response for the Area Chair (AC), focusing on maximum impact with minimal words. Key strategies include prioritizing critical objections, citing evidence using coordinates (e.g., Table 3, row 4), and making controlled scope concessions rather than re-running experiments or thanking reviewers extensively. This maximizes the chances of influencing the final review decision.

Provides comprehensive guidelines for packaging and submitting research artifacts (datasets, models, code) for major conferences. It details the difference between mere 'existence' (badge verification) and true academic 'reproducibility,' covering archival strategies, web data licensing, takedown resilience, and minimal viable package structure for long-term scholarly impact.

Seaborn is a high-level Python visualization library designed for creating publication-quality statistical graphics. It facilitates dataset-oriented plotting, multivariate analysis, and complex statistical visualizations (like KDEs, distributions, and relationships) directly from Pandas DataFrames with minimal code. It builds upon Matplotlib to provide semantic mapping and statistical awareness.

This skill helps developers and QA engineers transform vague, intermittent, or poorly documented bug reports into a minimal, reproducible, and evidence-backed brief. It guides the user to isolate the exact failure conditions, separate expected outcomes from actual errors, and reduce the issue to the smallest safe failing fixture, ensuring diagnosis occurs before premature repair.

A specialized skill for analyzing the discrepancy between static Kubernetes/Compose manifests and the actual live operational state of a container runtime. It traces complex dependencies, such as secrets consumption, sidecar/init container modifications, network routing, and mounted volume paths. Use this when the core challenge involves proving how the live execution path differs from the documented intent, forming a minimal, verifiable evidence chain.

A specialized downstream skill for advanced CTF and security sandbox environments. This tool is used when the challenge requires reconstructing the exact message sequence, state transitions, and field mutations necessary for a system to accept a session. It handles complex tasks like recovering custom framing, checksum validation, stateful replay, and identifying the minimal conversation path that proves a specific branch acceptance.

A specialized deep-dive skill for analyzing container-to-host escape vulnerabilities. This tool is used after a sandbox orchestrator establishes initial assumptions, focusing on mapping isolation boundaries (namespaces, cgroups, seccomp, capabilities). It helps prove boundary crossings, identify minimal exploit primitives, and determine if an exploit can break out of the container context to the host kernel.

This specialized skill is designed for advanced forensic analysis and penetration testing within Windows environments. It focuses on extracting and proving the replayability of credentials, tickets, and secrets stored in LSASS memory, Kerberos ticket caches, DPAPI, and SSP artifacts. Use it to establish the minimal, actionable chain (host artifact -> extracted material -> accepted privilege) that proves a decisive edge for privilege escalation.

This specialized skill is designed to analyze complex security flaws involving forced authentication (coercion) and identity relay chains. It guides users to trace and document the complete, minimal path from the initial coercion trigger (e.g., a specific service or protocol edge) through intermediate hops, to the final service that accepts the relayed credentials. Use this for deep security research, forensics, and documenting the decisive sequence leading to privilege escalation or code execution.

This specialized skill analyzes the complete lifecycle of real-time web communications, including WebSocket and Server-Sent Events (SSE). It is designed to map the initial handshake, decode complex message streams (subscriptions, keepalives, pushes, reconnects), and trace how frame activity leads to persistent or rendered state changes. Use this to isolate the minimal, decisive sequence of events that prove a system's behavior.