AOS Community Edition

An open agent operating system providing a CLI, HTTP API and a set of first-party capsules for building an inspectable, composable environment to run agents.

Agent frameworks

Visit website github.com

AOS Community Edition is an agent operating system for people who want an inspectable, composable environment for running agents. It owns the Community Edition product surface: the aos CLI, an HTTP API, distributions, first-party capsules, provider and model configuration, and an audit component.

Its installer sets up the aos command, a pinned runtime, and 22 Community Edition capsules under a dedicated root directory, and can provision entirely from local, version-pinned assets when run offline. Every release publishes checksums, Sigstore bundles and build-provenance attestations, and re-running the installer performs a coordinated upgrade rather than reinstalling from scratch.

Commands include init, status, migrate, update, distro, mcp, daemon and serve-health.

More in Agent frameworks

See all 902

Recurse
recurse.run
A serverless harness that lets a coding agent design, test, and deploy its own specialist sub-agents as tools, MCP servers, or bots, defined by a schema-validated manifest.
- Agent frameworks
ProofForge
shulgin.is-a.dev
An AI-agent pipeline that decomposes a mathematics problem, proves each piece, and formalizes the result in Lean 4 and Mathlib until the Lean kernel accepts it, with six of its proofs already merged into Google DeepMind's formal-conjectures repository.
- Agent frameworks
local-coder
github.com
Builds a local coding-agent team on top of Ollama and OpenCode by detecting the machine's hardware, recommending models for seven specialist roles, and testing whether each assigned model can actually use tools, edit a repository and pass verification.
- Coding agents
- Agent frameworks

More in Agent frameworks

Recurse

ProofForge

local-coder

Cookies