repository

An autonomous neuro-symbolic formal verification engine for Lean 4. The repository describes a proof workflow that generates tactics and then checks them deterministically in Lean, with example proofs, verification steps, and telemetry outputs.

Tendril is an agentic sandbox that lets a model discover, build, register, and reuse tools across sessions. The repository describes its Strands-based agent loop, capability registry, Deno sandbox execution, and Tauri desktop shell.

GitGalaxy is a Python-based static analysis and knowledge graph engine for deep repository intelligence. It maps codebases at the function level, supports 50+ languages, runs locally, and exports JSON and SQLite for querying and AI-agent workflows.

An MCP server for background computer use by agents. It can start app sessions, drive windows with mouse and keyboard actions, capture screenshots, inspect UI trees, and run scripted recipes across macOS, Linux, and Windows.

Singularity is a developer tool that gives coding agents procedural memory so repeated tasks can be handled with fewer tokens and less setup. It includes a CLI, installer scripts, hooks for multiple agents, and workflow records that learn from past sessions.

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 Claude Code plugin marketplace with 42 skills for building, shipping, and announcing apps across App Store, Google Play, Mac, Windows, and web workflows.

An experimental repository showing an LLM-generated binary workflow: natural-language specs are turned into raw executable bytes, then tested in a loop with examples like a hello world, HTTP server, and Tetris.

Skillzero is a developer tool for managing agent skills to reduce context bloat and token usage. It can hide skills from the model, group related skills into collections, and manage updates through a CLI workflow.

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.