A recursive language-model (RLM) harness for Rust.
Archive
Derived from this repo's Cargo dependencies and activity — difficulty is an estimate from codebase size and scope.
Matched by dependency overlap in Cargo manifests — each card notes the most distinctive crates both projects share.
A recursive language-model (RLM) harness for Rust.
Fast block-level out-of-band BTRFS deduplication tool.
SkillSpec makes agent skills followable, testable, and provable with Doctor risk reports, guided imports, structured contracts, and alignment proof.
Malicious traffic detection system
the agi compiler: records llm agent behavior, proves what repeats, and compiles it into verified, sandboxed wasm binaries that run for microdollars. nothing figured out twice, paper: https://arxiv.org/abs/2607.04542
Open-Source Platform for Subagents and Agent Teams. Long-running, collaborative, proactive.
Community-maintained Aidoku sources
Nix Package Tool. A (humble) successor to linux's apt, which makes life easier when using nix as a package manager.
Agent harness for codebases. Gives Claude Code, Codex, and CI a shared task system, verdict ledger, and state store so agent work is traceable and auditable.