Search Skills

Guides debugging and fixing memory management issues in OCaml's garbage collector, including sweeping, pool management, and pointer arithmetic bugs.

Guides building gRPC key-value store services in Python, including proto schema design, server implementation, and verification strategies.

Guides proper implementation of asyncio task cancellation with cleanup, handling keyboard interrupts and graceful shutdown of concurrent operations.

Optimizes computation of the largest eigenvalue for small dense matrices using numerical linear algebra techniques, enhancing performance in numpy/scipy operations.

Removes JavaScript and XSS payloads from HTML while preserving original document structure for secure content handling.

Guides recovery and secure removal of sensitive data from Git history after reset or rebase operations to prevent leaks.

Guides extraction of secrets from protected binaries using static and dynamic analysis for security assessment and vulnerability discovery.

Removes sensitive credentials and secrets from Git repositories to prevent exposure and ensure security compliance.

Optimizes Python numerical computations via C extensions for scientific computing and portfolio risk/return calculations, targeting matrix operations and performance bottlenecks.

Manages GitHub pull requests, checks CI status, and views test logs using GitHub CLI for streamlined development workflows.

Guides users in recovering lost Git commits, resolving detached HEAD states, and fixing common repository issues like accidental resets.

Guides implementation of tensor parallelism in PyTorch for column-parallel and row-parallel linear layers in distributed neural networks.

Manages multiple Letta AI agents declaratively using a kubectl-style CLI for configuration, memory, tools, and folder management.

Guides the compilation and build process of CompCert, a formally verified C compiler, including OCaml setup, Coq compatibility, and troubleshooting.

Guides creation of source files that compile and run correctly in both Rust and C/C++ simultaneously.

Guides writing SPARQL queries for RDF/Turtle datasets, supporting filtering, aggregation, and Turtle file operations in academic contexts.

Guides minimal GPT-2 inference implementation in constrained environments, covering checkpoint parsing, BPE tokenization, and common pitfalls for code golf challenges.

Guides users in recovering lost commits, resolving detached HEAD states, and fixing common Git repository issues using reflog and standard Git commands.

Guides optimization of eigenvalue computations for small dense matrices, achieving faster performance than NumPy/SciPy via Cython and LAPACK.

Guides search for probability distributions meeting exact statistical constraints, including KL divergence targets and high-dimensional optimization.

Provides guidance for optimizing slow SQL queries through plan analysis, benchmarking, and database-specific techniques to enhance performance.

Enables Gmail integration for email management including inbox search, reading, drafting, and access setup via OAuth 2.0.

Guides deployment of HuggingFace models as REST APIs using Flask or FastAPI for NLP inference tasks like sentiment analysis and text classification.

Guides merging conflicting git branches with ARC-AGI pattern recognition implementations and developing generalized solutions for unseen test cases.