3. Data, Science & AI

Orchestrates multiple AI agents to work in parallel, enabling complex task decomposition and concurrent execution for enhanced problem-solving capabilities.

Enables custom metric definition, data ingestion, and aggregation for performance tracking via a metrics API.

Stores user-specific context and learnings in a persistent memory system for seamless conversation continuity across sessions.

A tool for creating financial scenarios, projections, and what-if analyses to model future financial outcomes.

Provides computational models for power line thermal ratings, conductor physics, and electrical properties per CIGRE, IEEE, and IEC standards.

Provides engineering calculations for power system conductors including thermal ratings, catenary physics, and compliance with CIGRE/IEEE standards.

Assists in designing efficient database schemas, optimizing queries, and managing database administration tasks including indexing and migration strategies.

Assists in database schema design, optimization, and administration including primary key selection, indexing, and query tuning with EXPLAIN ANALYZE.

Analyzes and visualizes Turkish economic data from TCMB EVDS API using statistical models and interactive Plotly graphs.

Local CLI interface for Gemini AI interactions, enabling large-context analysis, second opinions, and structured code edits.

Provides AI-powered code and plan reviews using Gemini 3 Pro, handling large context windows for comprehensive analysis.

Provides computational models for power system thermal ratings and conductor physics based on CIGRE, IEEE, and IEC standards.

Provides engineering models and calculations for power system conductors, including thermal ratings, catenary physics, and compliance with CIGRE/IEEE standards.

Assists in designing efficient database schemas, optimizing queries, and managing database administration tasks including indexing and migration strategies.

Assists in designing efficient database schemas, optimizing queries, and implementing indexing strategies for data management.

Expert in Solid/RDF data modeling, handling Pod structure design, class inheritance, property definition, and namespace management.

Generates complete formal proofs in Isabelle/HOL using tactics like auto, simp, and induction.

Collects and analyzes viral Instagram Reels content using Apify API, AI filtering, and hashtag-based scoring for content discovery.

Automates collection of official LLM API documentation (Gemini, Claude, OpenAI) from dynamic web pages using Playwright.

Provides formal definitions and theorems for algebraic structures (groups, rings, fields) in Isabelle/HOL.

Provides formalized number theory for cryptography in Isabelle/HOL, including modular arithmetic, primes, GCD, and Chinese remainder theorem.

Automatically optimizes conversational context for LLMs by reducing token count 60-80% without quality loss, using hierarchical summarization and selective compaction.

Generates Chinese-format Excel reports from GitHub code reviews with AI analysis and filters for date, branch, or reviewers.

Efficiently retrieves Terraforming Mars card and corporation data using jq commands for targeted JSON queries without full file loading.