Back to directory

ProbOS

An experimental operating-system-styled runtime in which every component is an autonomous agent: natural language replaces syscalls, Hebbian-learning-based attention replaces the scheduler, and destructive operations require multi-agent consensus instead of file permissions.

ProbOS

ProbOS reimagines an operating system as a mesh of probabilistic, self-organizing agents rather than deterministic processes: instead of syscalls it takes natural language, instead of a scheduler agents self-organize through Hebbian learning and trust networks, and destructive operations require multi-agent consensus instead of permission checks.

It replaces traditional OS mechanisms one for one: intent DAGs decomposed from natural language instead of syscalls, attention-based priority scoring instead of a process scheduler, multi-agent consensus voting with red-team verification instead of access control lists, an agent registry with health monitoring instead of a process table, a pub/sub intent bus instead of inter-process communication, an offline dreaming consolidation engine instead of cron, episodic memory with semantic recall instead of command history, and a learned workflow cache instead of shell aliases. Every agent keeps a confidence score and trust reputation.

Built with Python. Apache-2.0 licensed. The project is in alpha, with APIs, features and documentation still in flux.

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.

  • 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.

  • 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.