Search Skills

Automates sending and reading iMessages and SMS on macOS for contact management, service scheduling, and text-based workflow automation.

Provides guidance for writing and verifying SPARQL queries on academic RDF datasets, including complex graph patterns, filters, and aggregations for university ontologies.

Configures LLM models for Letta agents via SDK/API, adjusting parameters like temperature, tokens, and provider-specific settings including reasoning.

Guides extraction of secrets from vulnerable executables via binary analysis and reverse engineering for CTFs and authorized security testing.

Guide for implementing gRPC key-value store services in Python, including protobuf definitions and CRUD operations.

Guides recovery of SQLite database data from corrupted, encrypted, or inaccessible Write-Ahead Log (WAL) files.

Efficiently transforms large text files (thousands to millions of lines) using sed, awk, and Vim for bulk edits, regex substitutions, and batch processing.

Guides implementation of Adaptive Rejection Sampling (ARS) for log-concave distributions, covering envelope construction, adaptive updates, and performance verification.

Searches Yelp for business details including contact info, ratings, and hours to aid in finding and evaluating local services.

Guides dataset reorganization across directories while enforcing file size and directory content constraints for efficient data partitioning.

Guides security professionals in bypassing HTML sanitization filters to test for XSS vulnerabilities in web applications.

Retrieves and verifies top-performing model rankings from dynamic ML leaderboards (MTEB, HuggingFace) as of a specific date.

Guides conversion of RStan code to PyStan, enabling migration of Bayesian inference models between R and Python environments.

Guides building and fixing Cython extensions for numpy compatibility, resolving deprecated type errors in modern numpy versions (2.0+).

Guides training of FastText text classification models with optimized size while maintaining required accuracy thresholds.

Extracts code or pseudocode from images using OCR and provides a correctly implemented version for immediate use in development projects.

Guides building and training Caffe framework for CIFAR-10 image classification, including source compilation and legacy framework compatibility.

Guides high-performance portfolio optimization implementation via Python C extensions for financial computations, accelerating matrix operations and risk metrics on large datasets.

Guides users in proving mathematical properties in Coq, focusing on induction proofs for addition commutativity and standard lemmas.

Configures Git-based automated web deployment systems using bare repositories, post-receive hooks, and lightweight web servers for seamless content updates.

Guides recovery of SQLite database data from corrupted, encrypted, or inaccessible Write-Ahead Log (WAL) files using specialized analysis techniques.

Analyzes chess board images to detect piece positions and calculate optimal moves using AI-driven analysis for puzzle solving and position evaluation.

Guides setup of HuggingFace model inference services via Flask APIs, including model downloading, endpoint creation, and REST API development for machine learning models.

Guides legacy Windows 3.11 VM setup in QEMU with web-based noVNC access, including QEMU configuration, VNC setup, and nginx reverse proxy integration.