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.

This skill structures and derives research formulas, building coherent derivation packages from scattered notes. It helps users formalize theory lines, organize assumptions, and produce paper-ready derivation documents. Ideal for researchers and students who need to clarify mathematical derivations or rewrite theory notes into structured, coherent presentations.

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.

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.

This skill simulates a world-class Senior System Design Engineer with 20+ years of experience at top tech companies. It helps users design, review, and scale complex, highly available, and resilient distributed systems. It covers every aspect from database sharding and microservices decomposition to caching strategies, observability stacks, and CI/CD pipelines, providing detailed blueprints and mathematical scaling estimates.

This skill guides authors and researchers on how to strategically position their computer graphics, rendering, or visual computing work for the ACM SIGGRAPH conference. It covers core fit assessment, required evidence (visual, mathematical, or system), manuscript reframing from journal/arXiv styles, and navigating venue-specific submission requirements. Use this tool to improve your conference submission strategy and maximize visibility among top graphics reviewers.

A specialized tool for polishing pure mathematics manuscripts, designed to enhance the rigor and overall flow of academic writing. It guides authors to eliminate soft language (e.g., "clearly," "obviously"), ensure precise quantification, explicitly state constant dependencies, and structure hypotheses meticulously. Ideal for late-stage proof refinement before journal submission.

This detailed guide outlines the structure and scientific rigor required for publishing high-quality papers in the domain of Computer Aided Verification (CAV). It instructs authors to transition their work from mere system demonstrations or benchmark reports to formally guaranteed, mathematically precise contributions, emphasizing clear scope definition, stated theorems, and proof ideas.

This comprehensive guide provides detailed instructions for revising academic papers, specifically in the field of learning theory, for the COLT conference. It teaches authors how to structure the argument rigorously, ensuring the model is unambiguous, mastering the informal-to-formal theorem pairing, and maintaining mathematical precision (quantifier and constant hygiene).

This skill serves as a comprehensive guide for authors submitting papers to Communications on Pure and Applied Mathematics (CPAM). It helps authors assess the theoretical depth, mathematical rigor, and suitability of their work—especially in PDEs, analysis, and mathematical physics—for a top-tier journal. It covers scope fitting, proof standards, and submission best practices.

This comprehensive guide outlines the necessary theoretical rigor for algorithms and models submitted to top-tier computational journals. It instructs authors on how to formally state mathematical formulations, rigorously prove model validity, establish convergence, and quantify complexity (e.g., approximation ratios, finite termination). It provides specialized paths for exact methods, metaheuristics, and ML-enhanced OR, ensuring that the theoretical advancements fully support and rationalize the experimental findings.