letta-ai verified

This skill provides guidance for recovering lost Git commits, resolving detached HEAD states, and fixing common Git repo...

Guidance for deploying HuggingFace models as inference APIs/services. This skill applies when tasks involve downloading...

Guidance for finding probability distributions that satisfy specific statistical constraints such as KL divergence targe...

This skill provides guidance for tasks involving merging git branches that contain different implementations of ARC-AGI...

Guidance for building pMARS (portable Memory Array Redcode Simulator) from source. This skill should be used when tasked...

Guide for building CompCert, the formally verified C compiler, from source. This skill should be used when compiling, bu...

Comprehensive guide for developing Letta agents, including architecture selection, memory design, model selection, and t...

This skill provides guidance for recovering secrets or sensitive data from git repositories (including orphaned commits,...

Guidance for creating polyglot source files that compile and run correctly as both Rust and C/C++ programs. This skill s...

Guidance for implementing CLI tools that perform inference using PyTorch models in native languages (C/C++/Rust). This s...

Guidance for identifying and fixing security vulnerabilities in code. This skill should be used when tasks involve fixin...

Guidance for writing SPARQL queries against RDF/Turtle datasets, particularly for university or academic data. This skil...