Data Science & ML Agent Skills

Haipipe NN Algorithm Layer

Standardizes the integration of external machine learning libraries and custom neural network modules within the Haipipe architecture.

Aristotle Prover

Formally proves mathematical statements and verifies Lean 4 code using Harmonic's Aristotle formal theorem prover.

Jupyter Notebook Manager

Programmatically creates, edits, and optimizes Jupyter and Google Colab notebooks with precise JSON formatting and metadata management.

Literature Review & Research Synthesis

Conducts systematic academic literature reviews across multiple scientific databases with verified citations and automated document generation.

Gödel Machine Self-Optimizer

Implements self-improving code architectures that use formal proofs and evolutionary search to safely enhance system utility.

Geohash Coloring Skill

Implements hierarchical spatial indexing with deterministic GF(3) color derivation for geospatial analysis and visualization.

OpenAI Platform Integration

Facilitates the development of AI-powered applications using the OpenAI SDK, covering GPT-5 models, Responses API, and advanced tool calling.

Whisper Audio Transcription

Transcribes audio files locally using whisper.cpp with CUDA acceleration for high-performance speech-to-text conversion.

Data Visualization Creator

Transforms raw datasets into professional-grade charts, graphs, and visual plots using intelligent data analysis.

Media Understanding & Analysis

Analyzes and extracts insights from images, videos, and audio files using advanced AI models.

Gemini Audio Integration

Implements comprehensive audio processing and text-to-speech generation using the Google Gemini API.

Gemini AI CLI

Integrates Google's Gemini models directly into the terminal for one-shot Q&A, content generation, and text summarization.

Marketing Research & Insights

Provides expert guidance on marketing research methodology, survey design, and statistical data analysis frameworks.

Honeydew Data Query & Analysis

Queries, analyzes, and explores complex data through the Honeydew semantic layer using natural language or structured fields.

Whisper Audio Transcriber

Converts audio and video files into text transcripts with word-level timestamps using WhisperX.

Theory2 Physics & Math Tooling

Performs advanced mathematical physics computations, symbolic algebra, and automated theorem proving using the Theory2 suite.

Machine Learning Engineer

Builds, trains, and deploys predictive machine learning models with robust preprocessing and standardized evaluation pipelines.

D3.js Data Visualization

Creates sophisticated, interactive data visualizations and custom charts using the D3.js library.

Forecasting Calibration & Discrimination

Optimizes predictive accuracy by balancing probability alignment with the ability to distinguish between diverse outcomes.

Natural Selection Design Patterns

Implements evolutionary design principles to build adaptive systems that improve through iterative variation, selection pressure, and inheritance.

Deep Research Oracle

Routes prompts and code context to multiple high-performance AI models for cross-validation and specialized deep research.

Prompt Engineering Frameworks

Applies systematic techniques and structured frameworks to optimize LLM instructions for maximum accuracy, consistency, and output quality.

Evolution Patterns

Applies biological adaptation principles to optimize complex systems through iterative variation, selection, and inheritance.

Base Rate Thinking Pattern

Anchors predictions and decision-making in statistical frequencies to avoid cognitive bias and improve estimation accuracy.

Aristotle Mathematical Prover

Formalizes natural language mathematical questions into Lean 4 and verifies them using the Harmonic Aristotle prover API.

Tournament Forecasting

Implements structured competitive prediction frameworks using Brier scores and systematic debiasing to enhance organizational forecasting accuracy.

ctrlsys Control Theory & Systems Engineering

Simplifies the design and analysis of complex control systems using the C11-based ctrlsys library.

Fitness Landscapes Thinking Pattern

Analyzes complex optimization problems using evolutionary landscape metaphors to identify local traps and global optima.

Marimo Reactive Notebooks

Builds and manages reactive Python notebooks and data applications using the marimo framework.

Data Filtering & Expressions

Applies precise data filtering and conditional logic across Honeydew perspectives, metrics, and attributes using standardized SQL syntax.