Search Skills

Provides integration patterns and best practices for adding persistent memory to LLM agents using the Letta Learning SDK.

Extracts hidden text from GCODE files by analyzing toolpath geometry and coordinate data, useful for recovering engraved text in 3D printing or CTF challenges.

Guides users through proving natural number arithmetic properties in Coq using induction and specific lemmas like plus_n_O.

Guides setup of Alpine Linux VMs in QEMU with SSH access via port forwarding for network configuration and troubleshooting.

Guides Bayesian MCMC sampling with RStan for hierarchical models, covering model specification, diagnostics, and posterior analysis.

Guides developers in identifying and patching security vulnerabilities, including CWE-classified flaws and injection issues, to enhance code security.

Guides video analysis and processing using computer vision (e.g., OpenCV) for motion detection, object tracking, and frame extraction.

Guides merging heterogeneous data sources (JSON, CSV, Parquet, XML) into unified datasets with field mapping, conflict resolution, and ETL-ready outputs.

Guides training of FastText text classification models with optimized hyperparameters for model size and accuracy trade-offs.

Optimizes LLM inference request batching to minimize cost while meeting latency thresholds, addressing shape compilation and multi-bucket distributions.

Guides users in resolving LaTeX overfull hbox warnings by replacing words with shorter synonyms from a constrained list, ensuring typographic integrity in technical documents.

Provides AI-driven UI/UX design intelligence with 50+ styles, 21 palettes, and component libraries for frameworks including React and Next.js.

Merges heterogeneous data sources (CSV, JSON, Parquet, XML) into unified formats with schema mapping and conflict resolution.

Comprehensive guide for developing Letta agents, covering architecture, memory, model selection, and tool configuration to build and troubleshoot agents.

Guides fusion protein sequence design by integrating PDB, plasmid, and fluorescent protein data with codon optimization and linker selection.

Guides implementation of compression algorithms and encoders to ensure compatibility with specified decoders, covering entropy and arithmetic coding techniques.

Guides cross-compilation of C programs (e.g., Doom) for custom MIPS targets with non-standard syscalls and freestanding builds.

Recovers data from corrupted or truncated SQLite databases by parsing binary formats when standard tools fail.

Guides conversion of legacy COBOL applications to modern languages (Python, Java) while maintaining identical behavior and data format compatibility.

Guides compilation of SQLite with gcov for code coverage, covering build flags, instrumentation setup, and coverage data troubleshooting.

Automates extraction, classification, and validation of data from financial documents (invoices, receipts) using OCR and batch processing.

Guides conversion of R-Stan models and inference code to PyStan 3.x, covering API mapping, hyperparameters, and output format differences for Bayesian model migration.

Generates self-signed SSL/TLS certificates using OpenSSL, including private keys, CSRs, and PEM files, with verification and common pitfalls.

Guides creation of code files valid in both Python and C, covering syntax techniques, testing, and cleanup for dual-language execution.