Skip to content
#

recursive-language-models

Here are 35 public repositories matching this topic...

🫛👣 FAVA Trails — Git-native, curated memory for AI agents via MCP. Draft isolation, promotion gate, thought lifecycle hooks, memory curation protocols, supersession chains.

  • Updated Aug 31, 2026
  • Python
meclaw

Agent swarms that recursively evolve themselves — recursive self-improvement as auditable topology. Build an agentic harness swarm as a directory tree. One Rust binary.

  • Updated Aug 30, 2026
  • Rust

Machine-checked Lean 4 proofs for "Recursive Language Models Through the Admissibility-Dynamics Framework." Covers RLM sub-call architecture, three sufficient conditions for bounded-inconsistency deployment (safe abstention, bounded-decomposable predicates, runtime depth verification), training class closure, and the deployment-boundary synthesis.

  • Updated May 19, 2026
  • Lean

Add this topic to your repo

To associate your repository with the recursive-language-models topic, visit your repo's landing page and select "manage topics."

Learn more