Search Skills

Guides solving ARC-AGI pattern recognition tasks using git operations to merge branches and implement algorithmic transformations based on input-output examples.

Guides querying ML model leaderboards (MTEB, HuggingFace) for top-performing models, performance comparison, and live benchmark data access while avoiding outdated sources.

Modernizes legacy Python 2 scientific code to Python 3 using NumPy, pandas, and scipy for data processing and analysis pipelines.

Guide for implementing metacircular evaluators in Scheme-like languages, covering eval/apply loops, environment management, and closure handling.

Guides compilation of CompCert, a formally verified C compiler, including Coq/OCaml environment setup and opam-based dependency management.

Enables programmatic control of shell sessions via headless terminal interfaces, supporting terminal emulation and pseudo-terminal wrappers.

Configures Git repositories for multi-branch deployment, including SSH setup, web server configuration, and automated deployment hooks for multiple environments.

Guides frame-level video analysis, event detection, and motion pattern extraction using OpenCV and computer vision techniques.

Automates Google Calendar interactions including event search, availability checks, and meeting scheduling via OAuth 2.0 for seamless time management.

Configures and manages mailing list servers using Postfix MTA and Mailman3, including setup, list creation, and delivery troubleshooting.

Guides implementation of PyTorch pipeline parallelism for distributed training of large language models, covering model partitioning and communication patterns.

Enables efficient bulk text transformations on large files via Vim, including regex-based find-and-replace, CSV manipulation, and macro automation.

Guides creation of polyglot files valid in both C and Python, ensuring identical output when compiled and interpreted.

Specialized tool for designing primers to insert DNA sequences into plasmids using Q5 site-directed mutagenesis, including Tm calculation and verification.

Optimizes MuJoCo MJCF model files for simulation performance while preserving numerical accuracy through physics parameter tuning and configuration adjustments.

Removes JavaScript from HTML to prevent XSS attacks while preserving structure, essential for secure content sanitization.

Extracts weight matrices from black-box ReLU networks via input-output queries for model extraction and reverse engineering.

Optimizes LLM inference request batching and scheduling to minimize cost while meeting latency and padding constraints.

Guides debugging and fixing memory management issues in the OCaml garbage collector, including segfaults and pointer arithmetic bugs in allocation and sweeping code.

Guides semantic document retrieval using text embeddings, including encoding, cosine similarity computation, and ranking for MTEB benchmark and search applications.

Guides SQL query optimization by rewriting slow queries for performance while maintaining semantic equivalence, focusing on complex joins, correlated subqueries, and CTEs.

Extracts and implements code from images (PNG, JPG) via OCR, converting visual code representations into executable code.

Guides creation of source files that compile and run correctly in both Rust and C/C++ using syntax differences and preprocessor directives.

Guides on bypassing HTML sanitization filters to execute JavaScript payloads, targeting XSS filter evasion for security testing and CTF challenges.