Search Skills

Assesses space debris collision risks and plans mitigation strategies using orbital data and computational models.

Creates and debugs SystemVerilog assertions for FPGA design verification.

Automates hypothesis generation through AI-powered abductive reasoning and knowledge graph traversal for research and analysis.

Enables symbolic computation, algebra, and calculus operations through seamless integration with Mathematica/Wolfram Language.

Generates Homebrew formula files for distributing command-line tools on macOS and Linux systems.

Generates mock implementations of Electron APIs (ipcMain, ipcRenderer, dialog) for seamless unit testing of desktop applications.

Counters optimism bias in project forecasting by applying historical analogies from similar past projects.

Models foreign exchange hedging strategies and tests hedge effectiveness for business risk management.

Provides daily, weekly, and monthly cash flow forecasting with scenario analysis and liquidity stress testing for business financial planning and risk management.

Configures and integrates Prettier for consistent code formatting across multiple programming languages and editors.

Optimizes project portfolio selection using mathematical optimization to maximize returns under specified constraints.

Provides deep expertise in Solidity for secure smart contract development, covering ERC standards, gas optimization, and security patterns.

Expertise in configuring and utilizing MoveIt/MoveIt2 for robotic arm motion planning and manipulation tasks in robotics software development.

Integrates After Effects animations into mobile apps with playback control, performance optimization, and interactive capabilities for enhanced user interfaces.

Enables distributed tracing for LLM applications through OpenTelemetry instrumentation, improving observability in production deployments.

Generates comprehensive model cards adhering to Google's model card framework for transparent AI model documentation.

Analyzes and verifies loop invariants to ensure algorithm correctness during development.

Enables synthesis and verification workflows using Counterexample-Guided Abstraction Refinement (CEGAR).

Automates carrier evaluation and selection using multi-criteria decision analysis to optimize freight procurement outcomes.

Automates warehouse wave planning and pick path optimization to maximize throughput and order accuracy.

Generates structured retrospective formats and analyzes improvement actions to enhance team collaboration and process efficiency in Agile environments.

Validates Jupyter notebook reproducibility by checking code execution, dependencies, and data sources for consistent results.

Analyzes customer reference calls, NPS scores, and churn patterns to identify retention opportunities and improve customer experience.

Automates extraction of tribal knowledge from code, documentation, and commit history to preserve institutional memory and prevent knowledge loss.