Stars
AgentENV (AENV) is a distributed platform for running agent environments at scale.
Enterprise-ready zero-trust access platform built on WireGuard®.
Real-time visualization of Claude Code agent orchestration — see your agents think, branch, and coordinate as they work.
SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.
Local-first AI agents with governed, approval-gated memory. Any model provider; MCP tools and web search built in. Nothing remembered without your say-so, nothing leaves your machine.
Boids 3D / Swarm Intelligence — Swift + Metal + Erlang
autonomous red teaming platform; multi-agent offensive-security meta-harness
Global DNS propagation checker TUI — watch a DNS record propagate across 34 public resolvers worldwide, on a world map in your terminal
A collection of claude skills we think are generic enough to be useful to everyone
SkillSpec makes agent skills followable, testable, and provable with Doctor risk reports, guided imports, structured contracts, and alignment proof.
A stratified, semiring-parameterized Datalog and its reference engine — the symbolic core of a neuro-symbolic logic system. Bool/Trop semirings, stratified negation, aggregates, exact probabilistic…
An AI toolkit for developers building high-performance code with an LLM in the loop.
Atlas — Agent Memory on Elasticsearch. Three indices, hybrid recall with a reranker, supersession, decay, and per-user DLS isolation.
Lore is a next-generation, open source version control system
A GNU screen style terminal multiplexer built on libghostty.
Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
An open-source, AI-integrated, cross-platform terminal for seamless workflows
This repository contains the code to train and evaluate TRIBE v2, a multimodal model for brain response prediction
Open-source AI agent firewall for MCP security and agent egress. Scans mediated HTTP, MCP, A2A, and WebSocket traffic for exfiltration, SSRF, and prompt injection, and emits mediator-signed action …
SIMD-accelerated distances, dot products, matrix ops, geospatial & geometric kernels for 16 numeric types — from 6-bit floats to 64-bit complex — across x86, Arm, RISC-V, and WASM, with bindings fo…
Free, local tool to track AI coding token usage and cost across 31 tools and agents (Claude Code, Cursor, Codex, Gemini and more), by model, project, and task. npx codeburn
An open, schema-driven language for configuring agent orchestration systems
Attempt to convert 1943 Irish language sci-fi book Manannán to modern orthography
Fast and accurate AI powered file content types detection