Skill UI

Rigorously dissects code and architecture through advanced mathematics—graph theory, category theory, stochastic systems, information theory, and formal invariants—to uncover hidden structure and optimize performance.

A specialized tool for formalizing and verifying complex mathematical proofs, particularly in Machine Learning and AI theory. It guides users through structuring theorems, identifying explicit assumptions, performing feasibility triage, and ensuring every logical step is rigorously justified, preventing the fabrication of proofs.

Viboscope helps discover compatible people for various life aspects—from cofounders and project partners to friends and romantic interests. It builds a comprehensive psychological profile across 10 validated dimensions (including Big Five, Values, and Work Style) and calculates mathematical compatibility scores, providing detailed insights into why connections are strong. Ideal for professional networking, team building, or personal relationships.

Manim is a powerful Python library used for creating high-quality mathematical and scientific animations. This skill facilitates the generation of educational videos and complex visualizations for presentations. It is ideal for researchers, educators, or content creators who need to visualize complex concepts in an engaging animated format. Note: This specific file is related to localization/translation.

A comprehensive, adaptive mathematics tutor covering K-12 topics from arithmetic through calculus. This skill utilizes proven pedagogical strategies—such as Socratic questioning, CPA approach, and error analysis—to ensure students build deep mathematical understanding rather than just procedural fluency. It adapts to multiple global curricula (SAT, A-Level, Gaokao) and tracks progress to target weak spots.

SymPy is a comprehensive Python library designed for exact symbolic computation. It enables users to perform advanced mathematical operations, including symbolic calculus (derivatives, integrals), algebraic manipulation, solving complex systems of equations, and linear algebra, all without relying on floating-point approximations. It is essential for scientific research, physics modeling, and generating precise mathematical documentation (e.g., LaTeX).

A comprehensive directive for elite frontend developers, focusing on creating high-fidelity, award-winning web experiences. It mandates advanced techniques including GSAP motion triggers, mathematically flawless bento grids, and strict adherence to AIDA structure. This skill is crucial for building visually stunning, deeply interactive, and professional product or portfolio websites, moving beyond standard template limitations.

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.

Generates comprehensive, long-form cheat sheets for advanced Machine Learning and Large Language Model (LLM) topics. These tutorials are highly structured, including mathematical derivations, from-scratch PyTorch implementations, detailed comparison tables, and 25 categorized high-frequency interview questions (L1, L2, L3). Ideal for deep academic study and technical interview preparation.

This skill converts complex, narrative technical documents, research excerpts, or natural language problem descriptions into a highly structured Mathematical Problem Specification (MPS). It systematically extracts variables, constraints, objectives, and uncertainty parameters. By adhering to a strict Zero-Inference Protocol, it ensures all extracted elements are strictly grounded in the source text, making it invaluable for formalizing real-world optimization, data science, and engineering problems.

Invariant-Guard enforces a correctness-first approach to algorithm design. Instead of writing code and hoping it works, this skill mandates defining the function contract, loop invariants, termination arguments, and all potential edge cases *before* implementation. It is essential for complex algorithms where subtle bugs (like off-by-one errors or missed post-conditions) are common, ensuring mathematically rigorous and verifiable code.

A specialized skill for achieving asymptotic performance gains when classical algorithms are already near optimal. It leverages advanced mathematical techniques and probabilistic data structures (e.g., Bloom Filters, HyperLogLog, FFT, MinHash/LSH) to handle massive datasets (n ≥ 10⁶) by accepting bounded approximations or exploiting deep structural properties. Requires strict adherence to error parameter and complexity justification protocols.