AI Agent Skills

Generate and render-verify publication-quality mathematical-modeling figures from saved evidence, using the approved figure plan, source data, claim, type, and consisten…

Unified mathematical arbitrator for all resource allocation decisions — money, time, energy, relationships. Absorbs 46 decision protocols + 24 strategy protocols into on…

Computer vision for bio-image preprocessing, feature detection, real-time microscopy. Color conversion, morphology, contour/blob detection, template matching, optical fl…

Multi-agent equity research system with deterministic signal fusion — 3 specialized agents (ReAct, FinBERT, Plan-and-Solve + RAG) produce BUY/NEUTRAL/SELL decisions thro…

When Counting Meets HMER: Counting-Aware Network for Handwritten Mathematical Expression Recognition (ECCV’2022 Poster).

Autonomous quantitative trading research platform that transforms stock lists into fully backtested strategies using AI agents, real market data, and mathematical formul…

Automatic Differentiation Library for Computational and Mathematical Engineering

Use this skill whenever the user submits a non-trivial mathematical claim that needs a rigorous proof or audit. Trigger on IMO/Putnam/USAMO/Olympiad-style problems, ML/A…

Run an adversarial mathematical workflow in Codex: verify proofs, write hard proofs, explore conjectures, search for counterexamples, and triage possible gaps. Use for i…

Write clear, detailed mathematical proofs for academic papers. Use when

Polish verified mathematical proofs without changing their mathematical content. Use after a proof has been accepted by the user, a reviewer, Lean, or a co-math review c…

Create beautifully typeset documents with Typst, a modern markup-based typesetting system. Handles academic papers, scientific documents, mathematical equations, tables,…

Contestant-scale code simplification. Simplify unnecessary engineering structure while preserving mathematical/numerical behavior; any executable hash change requires re…

Use when a response needs mathematical notation (equations, filters, set-builder notation, statistics, calculus, linear algebra, logic, ratios, drops, counts) and the ou…