Skill UI

This guide details advanced methods for merging multiple specialized LLMs (e.g., combining math, coding, and chat capabilities) without the need for expensive retraining. Learn various techniques such as Linear Merging, SLERP, Task Arithmetic, TIES-Merging, and DARE. Use mergekit to create high-performing, specialized model variants quickly, significantly improving performance and reducing computational costs.

Offers MATLAB and GNU Octave guidance for matrix math, data import/export, visualizations, statistics, signal processing, differential equations, and general scripting—helpful when writing or translating MATLAB/Octave code and running scripts under either interpreter.

Guides symbolic mathematics work in Python, covering algebraic simplification, calculus, equation solving, linear algebra, physics, number theory, geometry, and code generation to deliver exact symbolic results instead of numeric approximations.

GeoMaster is a comprehensive geospatial science skill that guides remote sensing, GIS, spatial analysis, and machine learning workflows for Earth observation and planetary data projects, covering satellite imagery, vector/raster math, point clouds, terrain, hydrology, and cloud-native data stacks.

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 automates the complex and tedious process of porting academic papers written in LaTeX from one publisher's journal template (e.g., Springer) to another (e.g., MDPI, IEEE). It executes a structured multi-stage workflow, including content extraction, structural mapping, systematic fixing of common LaTeX issues (like float placement and math environments), and final compilation to ensure the output adheres to the target journal's specifications.

Writes rigorous mathematical proofs for ML/AI theory, including theorem/lemma drafting, filling missing proof steps, formalizing proof sketches, and checking whether claims are provable from assumptions.

polars-bio accelerates genomic interval math and bioinformatics I/O by combining Polars, Arrow, and DataFusion to handle BED/VCF/BAM/GFF/FASTA streams, SQL queries, and cloud storage with overlap, coverage, and nearest APIs plus streaming fallbacks.

Handles IMO/Putnam/USAMO/AIME style problems by generating refined proofs, then running a fresh-context adversarial verifier to catch flaws, finally producing honest confidence reports and verified PDFs when possible.

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.

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.