Skill UI

Enables Claude to monitor and analyze application CPU usage, detect hotspots, inefficient loops and regexes, and offer optimization strategies such as asynchronous processing or algorithmic improvements to boost performance.

This script automates the process of conducting comprehensive ICS/OT asset discovery using the Claroty xDome API. It facilitates inventorying critical industrial assets (PLCs, RTUs, HMIs) across various Purdue Model levels. Ideal for brownfield environments, preparing for IEC 62443 compliance, and gaining visibility into undocumented operational technology networks.

Logic Lens is an advanced AI skill that performs deep, formal logic-driven code review. Unlike standard linters, it analyzes code for complex issues like race conditions, security vulnerabilities (SQL injection, XSS), type safety flaws, and algorithmic errors across 9 critical risk categories. It is ideal for pre-merge PR reviews, auditing sensitive code paths, and refactoring complex business logic.

A powerful Python skill for adding professional callouts, arrows, and labels to various images, including screenshots, diagrams, and architecture documents. It allows users to visually highlight specific areas or changes. The advanced `annotate.py` module provides algorithmic label placement, optimizing for readability and preventing overlaps. Ideal for creating clear PR descriptions, documenting changes, or building annotated demo assets.

A comprehensive guide for structuring the algorithm section of academic papers. It details the crucial steps for deciding on the solution route—whether to use commercial solvers, exact algorithms, or meta-heuristics. It emphasizes the requirement for rigorous pseudo-code, property analysis, and multi-level baseline comparisons to prove algorithmic novelty and contribution.

This guide helps authors targeting top-tier conferences on Constraint Programming (CP) to strategically position their manuscripts. It provides deep insights into the required scope, evidence bar, technical focus (e.g., propagation, optimization), and necessary re-framing techniques. Use this skill to enhance algorithmic clarity and ensure your work aligns precisely with the specialized community standards of the venue.

This skill provides comprehensive guidance for authors submitting highly rigorous theoretical computer science manuscripts to top-tier venues like SIAM Journal on Computing (SICOMP). It covers required standards for algorithmic design, computational complexity, formal proofs, house style, and the high bar for theoretical contribution necessary for foundational academic publishing.