Skill UI

A comprehensive guide for authors submitting theoretical computer science papers to SODA. It clarifies the distinction between SODA (theory-led) and ALENEX (experiment-led), advising on when and how to incorporate numerical evidence. The protocol details best practices for honest numerics, including instance generation discipline, claim-class labeling (illustration, evidence, motivation), and proper submission routing to ensure academic rigor.

This guide assists researchers in determining the suitability of their study for The Lancet Public Health. It outlines the scope, emphasizing population-level interventions, global epidemiology, and health policy. It details stringent requirements for methodology, reporting guidelines (STROBE, CONSORT, PRISMA), addressing biases, and adhering to specialized journal house styles and submission protocols.

This guide details the strategic placement of content for academic submissions, dividing material into Main Part, Appendix, and Supplementary ZIP. It provides best practices for authors to manage proofs, protocols, and code while adhering to strict page limits and double-blind review constraints, ensuring maximum review integrity and clarity.

This guide provides a rigorous methodology for achieving scientific reproducibility in technical and user experience papers (e.g., UIST). It details three essential 'ledgers': the Build Ledger (pinning software, hardware, and environment dependencies), the Measurement Ledger (defining precise protocols for metrics like latency and accuracy), and the Study Ledger (documenting human evaluation tasks). Following these protocols ensures that external researchers can accurately rebuild the artifact and validate reported results.

A comprehensive audit guide for submitting research papers to major Web Conferences (WWW). It details critical, irreversible steps such as author list freezing, restrictive page arithmetic (12 pages total), track selection protocols, anonymity checks, and managing submission caps. Essential reading for research teams preparing for demanding academic deadlines.

This guide provides a comprehensive framework for designing rigorous and defensible evaluation sections for machine learning and information retrieval papers, particularly for top-tier conferences like WSDM. It covers the four critical evidence quadrants—Effectiveness, Validity, Efficiency, and Robustness—and details necessary protocols, such as temporal splits, proper baseline selection (including heuristics), ablation studies, and hardware-aware performance reporting. Use this when auditing or writing the experimental section of a research paper.

Provides a comprehensive, step-by-step workflow for conducting rigorous literature reviews across academic, biomedical, and technical domains. It guides users through defining research questions (PICO), developing systematic search protocols, evidence logging, source screening, structured data extraction, and synthesizing findings to build high-quality, reproducible review reports.

ccboard is a comprehensive TUI and Web dashboard designed for monitoring and managing Claude Code usage. It provides unified visibility into token consumption, detailed cost tracking, session history, and the real-time status of Model Context Protocol (MCP) servers. Use it to analyze usage patterns, manage configurations, and ensure cost efficiency across all projects.

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.

This specialized skill automates advanced forensic network analysis on captured packet data (PCAP). It is designed for reconstructing complex network sessions (TCP/UDP), decoding obscure or custom protocols (e.g., C2, custom binary), and correlating packet sequences with host or malware behavior. Use when evidence is embedded in protocol framing, timing, or session state, requiring reassembly beyond simple packet inspection.

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.

A specialized skill for analyzing complex, host-to-host lateral movement chains within a Windows environment. It focuses on tracing protocols like WinRM, SMB, and RDP, replaying captured Kerberos tickets, understanding privilege edges, and identifying the exact accepting service or host that facilitates credential movement. Used in advanced penetration testing and digital forensics scenarios.