Skill UI

This skill manages complex, stateful proof projects as a local-first pipeline. It guides the user through drafting, rigorous verification, and source bookkeeping. It systematically handles proof continuation across runs, maintaining a full audit trail. When local attempts stall, it orchestrates handoffs to external AI models (like GPT Pro) or performs optional deep audits (DeepSeek), ensuring a structured, traceable, and verifiable output suitable for academic or technical submission.

This tool automatically generates comprehensive release notes from git commits. It analyzes version history, categorizes changes (features, fixes, etc.), and outputs three distinct formats: a technical CHANGELOG.md section, a semi-technical PR body, and a user-friendly Slack announcement. It excels at transforming complex technical jargon into accessible messaging for different audiences.

Provides comprehensive techniques for reverse engineering complex software targets. Use this when the primary goal is to understand the internal workings of compiled, obfuscated, packed, or virtualized binaries (including APKs, WASM, and firmware). It covers static and dynamic analysis, anti-debugging bypass, and deobfuscation methods, helping users understand the target code's internal mechanisms for security research and vulnerability analysis.

This technique segments unstructured clinical documents (such as HPI, PMH, and A&P sections) into contextually rich, canonical chunks. This is crucial for improving the precision of downstream NLP tasks like Named Entity Recognition (NER) and de-identification. By identifying and normalizing headers and mapping them to LOINC codes, the system ensures that the source context (e.g., historical vs. active) is maintained, leading to significantly more accurate results.

This skill converts free-text radiology narratives (CT, MRI, X-ray, etc.) into structured, machine-readable data. It automatically identifies and segments key report sections (Technique, Findings, Impression) and extracts critical clinical details such as anatomy, measurements, laterality, BI-RADS/Lung-RADS scores, and follow-up recommendations. It is crucial for building structured medical records and decision support systems.

This orchestrator manages the entire end-to-end pipeline for preparing technical talks, transforming raw materials—whether code commits (REX mode) or conceptual articles—into polished revision sheets. It sequentially runs through multiple stages (Research, Concepts, Scripting, Revision) with human-in-the-loop checkpoints, ensuring a structured and comprehensive content creation workflow.

This comprehensive guide outlines a structured methodology for conducting authorized security testing on desktop thick clients (Win/macOS/Linux). It covers critical attack vectors, including local storage analysis, Inter-Process Communication (IPC) vulnerabilities, network traffic interception, client-side trust boundaries, and advanced reverse engineering techniques using tools like IDA and Ghidra.

Provides a comprehensive framework for blue-team threat hunting and detection engineering. Users learn hypothesis-driven hunting techniques, optimize SIEM queries, and build robust detection rules using industry standards like Sigma and YARA. Essential for minimizing false positives and validating security controls in a defensive posture.

This guide outlines a structured methodology for authorized wireless security assessments. It covers essential techniques such as Wi-Fi data capture, WPA/WPA2 handshake analysis, and rogue Access Point detection. It is designed for assessing corporate network security, verifying wireless isolation, and providing professional penetration testing recommendations, strictly adhering to legal scope and authorization.

A comprehensive guide detailing advanced, authorized techniques for Active Directory security testing and red teaming. It covers critical attack vectors such as Kerberos exploitation, BloodHound path analysis, NTLM relay, and domain privilege escalation. Designed for security professionals to systematically map and exploit domain weaknesses.