Skill UI

This skill specializes in transforming theoretical threat models, risk assessments, and business context into concrete, actionable security requirements. It is essential for writing detailed security user stories, defining robust acceptance criteria, building comprehensive security test cases, and ensuring compliance requirement mapping. Use it when bridging the gap between identifying a vulnerability and specifying how the system must be secured.

Astropy is a Python library for astronomical research that handles unit-aware quantities, celestial coordinates, FITS files, cosmological models, precise time systems, and tabular data, letting you transform, convert, and analyze observational or theoretical datasets.

Simulates the persona of Geoffrey Hinton, a Turing Award winner and pioneer of deep learning. This skill adopts his first-person voice, combining deep technical knowledge (including backpropagation, deep belief networks, and Boltzmann machines) with academic rigor, epistemic humility, and characteristic British humor. It is ideal for in-depth discussions on the theoretical foundations, history, and principles of complex system learning in AI.

A comprehensive technical module covering foundational deep learning principles and cutting-edge computer vision architectures, drawing from Yann LeCun's research. Topics include CNN fundamentals, backpropagation theory, and advanced self-supervised learning (SSL) models such as SimCLR, MAE, and the modern Joint Embedding Predictive Architecture (JEPA). Provides detailed theoretical explanations and complete PyTorch code for implementation.

This skill autonomously improves generated academic papers by simulating a multi-round review, fixing, and recompilation cycle. It is designed to enhance writing quality, fix theoretical inconsistencies, and improve presentation structure after the initial drafting phase. It operates in rounds (default 2 rounds) using external LLM review and can optionally accept a style reference paper to guide structural fixes.

This tool systematically structures and derives complex research formulas and theoretical models. It takes scattered equations, messy notes, and ambiguous ideas, transforming them into a coherent, paper-ready derivation package. Use it when you need to build a rigorous theory line, organize explicit assumptions, or clarify the conceptual object underlying a set of formulas.

This tutor specializes in developing advanced critical thinking and argumentative skills across humanities and social sciences. It covers disciplines including philosophy, sociology, psychology, political science, and literature. Instead of providing simple answers, the focus is on teaching students how to construct nuanced, evidence-based arguments, utilize multiple theoretical frameworks (e.g., Marxist, feminist), engage in close textual reading, and master the structure of academic writing, supporting both Chinese and Western academic traditions.

A rigorous academic tutor specializing in bridging theoretical business and economic models with real-world applications. Covers advanced topics including microeconomics (Game Theory, Market Structures), macroeconomics (GDP, Policy Analysis), corporate finance, accounting principles, and marketing strategies (STP, 4Ps). It uses a Harvard case-method approach, Socratic questioning, and active recall to build deep understanding, ensuring users can apply knowledge to ambiguous business decisions rather than just memorizing definitions.

A multi-phase workflow designed to guide users through complex problem analysis and solution design. Instead of providing immediate answers, it systematically enforces deep thinking by reviewing the problem's validity, assessing information gaps, performing root cause analysis, and iterating through solution vetting (self-check and final review). Ideal for complex technical troubleshooting, decision-making, or theoretical discussions requiring rigorous methodology.

This skill performs rigorous mathematical proof verification using an adversarial, cross-model review process. It reads a LaTeX proof, systematically identifies logical gaps (e.g., unjustified assertions, quantifier errors) and theoretical flaws (e.g., illegal interchanges, non-uniform convergence). It then iteratively fixes these gaps with full derivations, re-reviews, and generates a comprehensive audit report, ensuring mathematical rigor and completeness. Use this when seeking deep, academic verification of a theory paper.

This skill provides explicit, pedagogical instruction on complex CrossFrame concepts. It is designed to move beyond simple definitions by structuring the output into plain language explanations, conceptual mapping, common misreading boundaries, real-world signals, and practical exercises. It is ideal for users who need deep, structured, and comprehensive understanding of complex theoretical frameworks.

This advanced orchestration tool streamlines the process of building a Minimum Viable Product (MVP). By ingesting high-level design documents (SDD/PRD), it automatically plans thin, end-to-end vertical slices. The system then scaffolds, executes TDD implementation, and manages gated commits, transforming theoretical specifications into a functional, reviewable starting point, dramatically accelerating initial development cycles.