Skill UI

A comprehensive guide for authors submitting theoretical computer science papers to SODA. It clarifies the distinction between SODA (theory-led) and ALENEX (experiment-led), advising on when and how to incorporate numerical evidence. The protocol details best practices for honest numerics, including instance generation discipline, claim-class labeling (illustration, evidence, motivation), and proper submission routing to ensure academic rigor.

SymPy is a powerful Python library designed for symbolic mathematics. Unlike numerical solvers, it performs exact calculations using mathematical symbols, allowing users to model and solve complex problems across various domains. Core capabilities include symbolic calculus (derivatives, integrals, limits), advanced algebra, solving systems of equations, linear algebra (determinants, eigenvalues), and specialized modules for physics and number theory. It can also generate executable code in languages like C and Fortran, making it invaluable for academic research and scientific computing.

This advanced skill provides systematic, adversarial verification for AI-generated legal documents. It rigorously checks factual accuracy, legal citations, numerical data, and source authenticity against authoritative databases. Use this when you need to perform red-teaming, fact-check, or quality-control complex legal analyses, compliance reports, or regulatory summaries before any external distribution.

This skill forces the AI to operate in a non-inferential mode, ensuring every claim—factual, legal, or numerical—is strictly anchored to user-provided materials or verified online sources. It eliminates assumptions, gap-filling, and background knowledge reliance, making it essential for legal research, evidence review, citation checking, and high-stakes document analysis where evidential fidelity is paramount.

Generate and cut videos against a distilled style pack: plan takes, generate with fal, apply measured LUT grading, edit at cadence, weave footage, composite overlays, mint 3D props, and verify results numerically.

Audits mediation-competition problem packets for factual, numerical, chronological, authority, commercial-logic, and confidentiality defects; tests BATNAs, settlement corridors, and information asymmetry; produces an author-only validation report.