搜索

PythonReactSEOPDF

letta-ai AI Skills

GitHub ↗

浏览 letta-ai 维护的已发布 AI 技能,比较用途与说明,并通过来源仓库了解安装方式。

作者统计

已收录技能

206

收录技能的仓库 Stars 合计

39,577

仓库 Forks

4,798

平均每个技能的仓库 Stars

192

同一仓库中的多个技能可能共享 Stars,合计包含重复仓库数据。

206 个技能

全部技能

GitHub

compile-compcert

letta-ai

Guide for building CompCert, the formally verified C compiler, from source. This skill should be used when compiling, building, or installing CompCert, or when working with Coq-based software that has strict de...

GitHub

build-pmars

letta-ai

Guidance for building pMARS (portable Memory Array Redcode Simulator) from source. This skill should be used when tasked with compiling pMARS, building Core War simulators from source packages, or creating head...

GitHub

merge-diff-arc-agi-task

letta-ai

This skill provides guidance for tasks involving merging git branches that contain different implementations of ARC-AGI pattern recognition algorithms, and then implementing a working solution that generalizes...

GitHub

distribution-search

letta-ai

Guidance for finding probability distributions that satisfy specific statistical constraints such as KL divergence targets. This skill should be used when tasks involve constructing probability distributions wi...

GitHub

hf-model-inference

letta-ai

Guidance for deploying HuggingFace models as inference APIs/services. This skill applies when tasks involve downloading pre-trained models from HuggingFace Hub, creating REST APIs for model inference, building...

GitHub

fix-git

letta-ai

This skill provides guidance for recovering lost Git commits, resolving detached HEAD states, and fixing common Git repository issues. Use this skill when encountering lost commits, accidental checkouts, orphan...

GitHub

overfull-hbox

letta-ai

This skill provides guidance for fixing LaTeX overfull hbox warnings by making synonym substitutions. It should be used when the task involves resolving LaTeX line-breaking issues by replacing words with synony...

GitHub

query-optimize

letta-ai

Guidance for SQL query optimization tasks. This skill should be used when optimizing slow SQL queries, improving database performance, or rewriting queries to be more efficient. Covers query plan analysis, benc...

GitHub

mteb-retrieve

letta-ai

This skill provides guidance for semantic similarity retrieval tasks using embedding models (e.g., MTEB benchmarks, document ranking). It should be used when computing embeddings for documents/queries, ranking...

GitHub

sqlite-db-truncate

letta-ai

Guidance for recovering data from corrupted or truncated SQLite database files through binary analysis and manual parsing. This skill applies when working with damaged SQLite databases that cannot be opened wit...

GitHub

schemelike-metacircular-eval

letta-ai

Guide for implementing metacircular evaluators—interpreters that can interpret themselves. This skill should be used when building self-interpreting Scheme-like evaluators, debugging multi-level interpretation...

GitHub

configure-git-webserver

letta-ai

Guidance for setting up Git repositories with automatic web deployment via post-receive hooks. This skill applies when configuring bare Git repositories, setting up web servers to serve pushed content, creating...

GitHub

custom-memory-heap-crash

letta-ai

Debugging crashes related to custom memory heap implementations, particularly release-only crashes involving static destruction order, use-after-free during program shutdown, and memory lifecycle issues between...

GitHub

merge-diff-arc-agi-task

letta-ai

Guidance for solving ARC-AGI style pattern recognition tasks that involve git operations (fetching bundles, merging branches) and implementing algorithmic transformations. This skill applies when tasks require...

GitHub

qemu-alpine-ssh

letta-ai

Guidance for setting up QEMU virtual machines with Alpine Linux and SSH access. This skill should be used when tasks involve starting QEMU with Alpine Linux ISO, configuring port forwarding for SSH, setting up...

GitHub

multi-source-data-merger

letta-ai

This skill provides guidance for merging data from multiple heterogeneous sources (JSON, CSV, Parquet, XML, etc.) into a unified dataset. Use this skill when tasks involve combining records from different file...

GitHub

build-cython-ext

letta-ai

Guidance for building and installing Cython extension packages, particularly when resolving compatibility issues with modern Python and NumPy versions. This skill applies when installing legacy Cython packages,...

GitHub

llm-inference-batching-scheduler

letta-ai

Guidance for implementing batching schedulers for LLM inference systems with compilation-based accelerators. This skill applies when optimizing request batching to minimize cost while meeting latency thresholds...

GitHub

make-mips-interpreter

letta-ai

Guide for implementing MIPS CPU interpreters/emulators, particularly for running compiled MIPS ELF binaries. This skill applies when building virtual machines to execute MIPS32 code, creating emulators for retr...

GitHub

raman-fitting

letta-ai

This skill provides guidance for Raman spectrum peak fitting tasks. It should be used when analyzing spectroscopic data, fitting Lorentzian or Gaussian peaks to Raman spectra, or working with graphene/carbon ma...

GitHub

custom-memory-heap-crash

letta-ai

Guide for debugging crashes related to custom memory heaps, particularly use-after-free issues caused by static destruction ordering, DEBUG vs RELEASE discrepancies, and custom allocator lifecycle problems. Thi...

GitHub

video-processing

letta-ai

This skill provides guidance for video analysis and processing tasks using computer vision techniques. It should be used when analyzing video frames, detecting motion or events, tracking objects, extracting tem...

GitHub

git-multibranch

letta-ai

Guidance for setting up Git-based multi-branch deployment systems with web servers. This skill applies when configuring Git repositories with post-receive hooks that deploy different branches to different direc...

GitHub

prove-plus-comm

letta-ai

Guide for completing Coq proofs involving arithmetic properties like addition commutativity. This skill should be used when working on Coq proof files that require proving properties about natural number arithm...

默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。