AI Agent Skills

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…

EcommerceTools is a Python data science toolkit for ecommerce, marketing science, and technical SEO analysis and modelling and was created by Matt Clarke.

Owns data understanding BEFORE any model is designed. Places and executes `data/eda.py` (a jupytext `# %%` script) via the shared in-process runner, reads the streamed d…

Data processing and modelling framework for automating tasks (incl. Python & SQL transformations).

Automated Tool for Optimized Modelling

Multivariate data modelling with Copulas in Python

Spatial data processing for geological modelling with GemPy. Use when the agent needs to: (1) Prepare spatial data for GemPy models, (2) Extract interface points from ge…

Read and validate magnetotelluric transfer functions with MTpy-v2. Use for EDI import, impedance uncertainty, apparent resistivity/phase, documented tensor rota

Assess and maintain licensed GeoLime geological or mining-model workflows, checking the installed vendor API, drillhole conventions and model validation. Use when a proj…

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…

Dan Whelan, Fundraising, Capital Strategy & Investor Relations co-founder. Invoke for fundraising strategy, round sizing and timing from pre-seed to Series A, investor t…