repository

Community-maintained Windows SPICE guest agent fork for virtual machines. The page explains what the agent does, why the fork exists, and how to build or package it on MSYS2/UCRT64 or with MSVC.

Orchestrator lets you run Claude Code sessions on your own machine and control them from your phone through a remote terminal app. The repository includes installation instructions, platform-specific setup notes, and a security explanation.

A Lean 4 repository containing a machine-checked proof of Fermat’s Last Theorem, with build verification details and browsable HTML documentation for the proof structure.

A portable agent skill for rewriting legalese and verbose AI text into plain English. The repo includes features, installation steps, and support notes for tools like Claude Code, Gemini CLI, Antigravity, and Codex CLI.

A GitHub repo section documenting a benchmark for Vestige, a local-first Rust MCP memory layer for multi-agent coding fleets. The page explains the benchmark setup, what is being measured, how to reproduce the main claim, and where to find transcripts, evidence, and harness code.

Local-first CLI that records a debugging session and turns it into an evidence-backed Markdown report for PRs, handoffs, and incident notes. It captures commands, notes, exit codes, and git context, then generates a timeline and red-to-green summary from the recorded evidence.

Foyer is a local dashboard for watching AI coding agents work, with a narrated current-focus view and a research panel for reading sourced briefings while you wait.

Smriti is an open-source system for shared reasoning state across coding agents like Claude Code and Codex. It treats project reasoning like version-controlled state, with local setup, a CLI, backend, and frontend for coordinating multiple agents on the same repo.

A Rust library for sparse byte-range caching and async read coalescing on immutable objects, with support for range semantics, eviction, and optional read-through caching.

A local web UI for turning Claude Code and Codex agent logs into a live, readable chat feed with parent-child session trees, deep links, and real-time updates.

A GitHub repository guide to running state-of-the-art LLMs on local hardware, with concrete build notes, cost breakdowns, and runnable configs for large models.

An open-source, Kubernetes-shaped control loop for agent-driven work. It watches external systems, makes one LLM-driven move per beat, and supports human-in-the-loop approvals through a file-based contract.

A font project and keyboard firmware concept that turns typed text into a noise-like character stream while rendering readable output only through the font itself.

A Python-based coordination protocol and daemon for running multiple LLM sessions in parallel with shared awareness, aimed at Claude Code and other Anthropic-compatible models.

A GitHub repository of system-prompt overrides for Claude Code, aimed at shrinking the always-on prompt and adjusting behavior for Opus 4.7. It includes a detailed rationale, measured prompt-size reductions, and install steps using tweakcc-fixed.

A Claude Code workflow system that guides software work through brainstorm, planning, implementation, and iteration with checkpoints and TDD built into each task.

A GitHub repo for orchestrating coding agents as one-shot subagents, then synthesizing the result in the parent agent. It supports dispatching Claude Code, Codex, or Grok for bounded tasks, reviews, and second opinions.

An agentic LLM-based coding tool that analyzes symbol names in source code, measures name ambiguity, and proposes clearer replacements with a human-in-the-loop review flow.

Sif 1.0 is a developer tool that uses an LLM for planning while handling code changes, validation, promotion, and recovery through deterministic execution. The repo includes install scripts, a quick demo, and detailed README guidance for trying the system locally.

A repository for a companion ebook that matches the wording of an ElevenLabs Michael Caine narration of The Odyssey, using Greek names to align the text with the audiobook.

A repository for a zero-trust execution boundary that sits between AI agents and real system actions. It evaluates policy, approval, scope, freshness, replay, and evidence before allowing operations to proceed.

Relaymux is a tmux-backed harness for running local coding agents, with Telegram as the remote control interface and support for iMessage/SMS in beta.

A GitHub Copilot port of Anthropic’s vulnerability discovery harness, with Copilot skills for threat modeling, scanning, triage, patching, and an autonomous sandboxed pipeline for C/C++ memory-safety bug discovery and remediation.

A GitHub repository for a custom llama.cpp backend that runs Qwen3-0.6B GGUF models on an Axera AX8850 NPU accelerator, with build/run notes, environment flags, architecture details, and test status.