What is this?
Comma is an open-source, sessionless personal AI agent that turns your requests into persistent Tasks and keeps working on them through autonomous agent loops until they're done, across your computer, phone, and cloud.
Comma is an open-source, sessionless personal AI agent that turns your requests into persistent Tasks and keeps working on them through autonomous agent loops until they're done, across your computer, phone, and cloud.Is this an app I install, or a service I self-host?It's a self-hosted service (a Docker Compose stack with Web and Admin clients plus a server) that you can also use as a hosted product at comma.surf; a companion Mac app called Salix lets it read and control files on your own computer.
It's a self-hosted service (a Docker Compose stack with Web and Admin clients plus a server) that you can also use as a hosted product at comma.surf; a companion Mac app called Salix lets it read and control files on your own computer.How do I get my own instance running?Copy the example .env config, set COMMA_OWNER_EMAIL for admin access, point it at a model provider, then run 'docker compose up' to build and start the Web client, Admin client, server, PostgreSQL, Redis, MinIO, ClickHouse, and Mailpit.
Copy the example .env config, set COMMA_OWNER_EMAIL for admin access, point it at a model provider, then run 'docker compose up' to build and start the Web client, Admin client, server, PostgreSQL, Redis, MinIO, ClickHouse, and Mailpit.What do I need installed before I start it up?You need Docker Engine with Compose v2.24 or later, plenty of disk space for the first build (it pulls the Lean, Elixir, Go, and Node toolchains), and a model provider account since the default stack ships with no mock model.
You need Docker Engine with Compose v2.24 or later, plenty of disk space for the first build (it pulls the Lean, Elixir, Go, and Node toolchains), and a model provider account since the default stack ships with no mock model.Does the formal verification mean tasks always succeed?No — the Lean and TLA+ proofs only guarantee the runtime behaves correctly under failures, like not losing accepted work or double-executing a mutating action. They don't prove the agent's judgment or task outcomes are actually correct.
No — the Lean and TLA+ proofs only guarantee the runtime behaves correctly under failures, like not losing accepted work or double-executing a mutating action. They don't prove the agent's judgment or task outcomes are actually correct.Where does my sensitive data actually live?Long-running work happens in Comma's own environment, but identity, sessions, payments, and private data are designed to stay on your own devices, with Comma handing a Task back to your computer or phone when that's needed.
Long-running work happens in Comma's own environment, but identity, sessions, payments, and private data are designed to stay on your own devices, with Comma handing a Task back to your computer or phone when that's needed.What happens if I modify and redistribute it?Comma's original code is AGPL-3.0-only, and if you run a modified version as a public service you're required to keep a /source.tar.gz download of your changes available to users.
Comma's original code is AGPL-3.0-only, and if you run a modified version as a public service you're required to keep a /source.tar.gz download of your changes available to users.Can I still use Claude Code or Codex alongside Comma?Yes — Codex, Claude Code, Pi, and Kimi can be invoked as applications or registered as Workers and Sub-agents, so Comma orchestrates your existing agent tools instead of replacing them.
Yes — Codex, Claude Code, Pi, and Kimi can be invoked as applications or registered as Workers and Sub-agents, so Comma orchestrates your existing agent tools instead of replacing them.What is Salix?Salix is the Mac companion app that connects your computer to Comma; it lets Comma read your files, and once you enable 'Allow operations', also change files, run commands, and record calls.
Salix is the Mac companion app that connects your computer to Comma; it lets Comma read your files, and once you enable 'Allow operations', also change files, run commands, and record calls.What are Loops?A Loop is a small program your agent writes to watch an inbox, repository, or feed, waking the agent only when something actually needs attention, so quiet monitoring burns no model tokens.
A Loop is a small program your agent writes to watch an inbox, repository, or feed, waking the agent only when something actually needs attention, so quiet monitoring burns no model tokens.Why build the runtime in Elixir with Lean verification instead of a typical agent stack?Elixir/OTP runs each agent as its own isolated, restartable process on the Erlang VM, while Lean and TLA+ formally check that core distributed protocols never silently lose work or double-run side effects — reliability is treated as a core product property, not an afterthought.
Elixir/OTP runs each agent as its own isolated, restartable process on the Erlang VM, while Lean and TLA+ formally check that core distributed protocols never silently lose work or double-run side effects — reliability is treated as a core product property, not an afterthought.What are similar projects?oh-my-subagents, hive, trueforge, Observal, ruflo, symphony, ordewell, conductor
oh-my-subagents, hive, trueforge, Observal, ruflo, symphony, ordewell, conductorWhich topics is it in?swarm-intelligence, lean, elixir, reliability, fault-tolerance, personal-ai, clickhouse, task-management, memory, redis, orchestration, agent-orchestration
swarm-intelligence, lean, elixir, reliability, fault-tolerance, personal-ai, clickhouse, task-management, memory, redis, orchestration, agent-orchestration