USE FOR: Mathematical optimization, game theory, decision theory, mechanism design, multi-objective optimization, convex optimization, and reinforcement learning theory.
Traduz papers e artigos matemáticos/científicos do inglês para o português brasileiro, adaptando terminologia técnica, convenções notacionais e estilo acadêmico ao padrão pt-BR.
USE FOR: Product management for mathematical formalization projects — roadmap creation, stakeholder management, feature prioritization for formal verification artifacts, theorem…
USE FOR: Project and product management for mathematical formalization projects. Covers dependency-aware scheduling, risk management for unprovable theorems, progress tracking,…
Verify math-heavy code for algorithm correctness, numerical stability, and standards alignment
USE FOR: Strategic mathematical thinking — brainstorming, problem decomposition, proof strategy design, creative hypothesis generation, and mathematical intuition development.
Use when the user wants to convert Math exam content from PDF, Word, images, or extracted text plus answer keys into PMEditor-compatible .tex files with canonical subjects,…
USE FOR: Time series analysis, signal processing, temporal pattern detection, and multi-scale temporal dynamics.
Deterministic mathematical computation using SymPy. Use for ANY math operation requiring exact/verified results - basic arithmetic, algebra (simplify, expand, factor, solve…
USE FOR: Point-set topology, functional analysis, real analysis, and topological methods for dynamical systems.
Real-world problem formulation, mathematical abstraction, and applied mathematics for translating between practical problems and mathematical frameworks.
Use when working with large-scale data, similarity search, deduplication, top-K / heavy-hitters, streaming analytics, cardinality estimation, embeddings, recommender systems,…
MATLAB and GNU Octave numerical computing for matrix operations, data analysis, visualization, and scientific computing.
Low-level plotting library for full customization. Use when you need fine-grained control over every plot element, creating novel plot types, or integrating with specific…
Documents the results of a completed experiment or A/B test with statistical analysis, learnings, and recommendations.
Analyze survey results into actionable PM insights. Produces persona segmentation, hypothesis validation status, thematic clustering of open-text responses, statistical confidence…
Systematic review and meta-analysis pipeline for medical research. Covers protocol registration (PROSPERO), search strategy, screening, data extraction, risk of bias assessment…
Generates the "Risk of Bias" results section for a meta-analysis based on assessment tables and statistics.
Generates the "Results" section for meta-analysis sensitivity analysis based on statistical tables and titles.
Detects and prevents data leakage in machine learning and mathematical modeling. Use after ML tasks involving data cleaning, feature engineering, data augmentation, algorithm…
Estrategia e implementacao de monetizacao para produtos digitais - Stripe, subscriptions, pricing experiments, freemium, upgrade flows, churn prevention, revenue optimization e…
Implement model drift monitoring using Evidently AI, statistical tests (PSI, KS), and custom metrics to detect data drift and concept drift in production ML systems.
Monitor Proxmox infrastructure health and performance. Track node statistics, analyze resource utilization, and identify optimization opportunities across your cluster.
Python toolkit for neurophysiological signal processing: ECG (HR, HRV, R-peaks), EEG (complexity, PSD), EMG (activation onset), EDA/GSR (SCR decomposition), PPG, and RSP.
Använd denna färdighet när användaren frågar om OECD, OECD-statistik, internationell jämförelse, BNP jämförelse länder, arbetslöshet internationellt, utbildningsstatistik…
onefetch is a Rust CLI tool that displays project information and code statistics for Git repositories directly in the terminal.
Design statistically honest and uncertainty-aware visualizations. Use when the user needs help showing distributions, intervals, confidence, missingness, sampling effects, or…
Generate publication-quality academic diagrams, methodology figures, architecture illustrations, and statistical plots from text descriptions using the PaperBanana multi-agent AI…
evaluating open deviation bar signal quality, computing Sharpe ratios with non-IID bars, running PSR/DSR/MinTRL statistical tests, or assessing.
Build custom LLM evaluation pipelines using the OpenJudge framework. Covers selecting and configuring graders (LLM-based, function-based, agentic), running batch evaluations with…
Use this agent when you need to research domains, hosting providers, tools, or find cost optimization opportunities.
Optimize a webpage for traditional search engines (Google, Bing). Covers keyword research, competitor page analysis, on-page SEO audit with scoring, content optimization, and…
Explore and optimize simulation parameters via design of experiments (DOE), sensitivity analysis, and optimizer selection — generate Latin Hypercube, quasi-random, or factorial…
Reads and transforms Apache Parquet file metadata and column statistics using PyArrow and the Parquet Thrift specification.
Profiles Apache Parquet files using pyarrow metadata APIs to extract column statistics, row group distributions, and encoding efficiency metrics without reading full datasets.
Proactively analyzes Parquet file operations and suggests optimization improvements for compression, encoding, row group sizing, and statistics.
Conjecture generation, sequence analysis, and experimental mathematics for mathematical discovery. Covers sequence analysis (OEIS lookups, recurrence relations, generating…
Penrose is an open-source platform that creates beautiful mathematical and scientific diagrams from plain text notation.
Code instrumentation for timing workloads. Two scenarios: (1) Training loop — inject manual timing to report per-iteration latency, throughput (samples/sec), and data load time.
Estimate causal effects from existing data. Use when fitting or interpreting DiD, ITS, synthetic control, regression discontinuity, or other treatment-effect analyses, including…
Automate network traffic analysis using tshark and pyshark for protocol statistics, suspicious flow detection,
Expert personal finance coach with deep knowledge of tax optimization, investment theory (MPT, factor investing), retirement mathematics (Trinity Study, SWR research), and…
Interactive visualization with Plotly. 40+ chart types (scatter, line, heatmap, 3D, geographic) with hover, zoom, pan.
Extract, analyze, and summarize simulation output data — pull spatial fields at specific timesteps, compute time-series trends and detect steady state, extract line profiles…
Produce maintainer-facing statistics about open pull requests on the configured `
` repo (default: read from `/project.md → upstream_repo`).
Lightweight 5-gate pre-dev workflow for small features (<2 days). Orchestrates topology discovery, research, PRD with UX validation, design validation, TRD, task breakdown, and…
Complete 10-gate pre-dev workflow for large features (>=2 days). Orchestrates topology discovery, research, PRD, feature map, design validation, TRD, API design, data model,…
Advise on pricing strategy — competitive analysis, willingness-to-pay research, tier design, price increase modeling, discount frameworks, and packaging optimization for startup…
Professional paper research with papercli. Multi-pass search, PDF download and reading, math-aware synthesis, and a detailed referenced markdown findings report.
Mathematical foundations of uncertainty and random phenomena. Covers sample spaces, events, axioms, conditional probability, Bayes' theorem, independence, random variables,…
Track and report Claude Code skill usage statistics. Use this whenever the user asks about skill usage, skill stats, skill reports, which skills are used most or least, wants to…
Return memory statistics snapshot from UnityEngine.Profiling.Profiler — reserved, allocated, mono heap, graphics, etc. (in MB).
Estimate AI-assisted and hybrid human+agent development work with research-backed PERT statistics and calibration feedback loops
Structured methodology for constructing and verifying mathematical proofs in statistical research
Run statistically sound comparisons on eval results so prompt and model changes are judged by confidence bounds, not bar-chart vibes.
Deep web research and HTML report generation. When GLM needs to conduct systematic information gathering and analysis for: (1) Exploring open-ended questions through multi-step…
Build financial models, backtest trading strategies, and analyze market data. Implements risk metrics, portfolio optimization, and statistical arbitrage.
Expert in quantitative finance, algorithmic trading, and financial data analysis using Python (Pandas/NumPy), statistical modeling, and machine learning.
Audit a rehabilitation recovery tracking system -- evaluate standardized outcome instruments (FIM, Barthel Index, SF-36, DASH, LEFS, PROMIS), functional assessment scoring…
Pulls active listings, comparable sales, market statistics, and property estimates from Redfin via web research.