FORMICARIA
ANTHILLAutonomoussoftware colonySOVRGNnetSovereign communicationnetworkMICROMOUNDEdge intelligenceruntime

Systems that
move together.

FORMICARIA builds the infrastructure for autonomous software, at the edge of everything.

EXPLORE OUR SYSTEMS

Systems that move together.

FORMICARIA builds the infrastructure for autonomous software, at the edge of everything.

ANTHILLAutonomous software colonyMICROMOUNDEdge intelligence runtimeSOVRGNnetSovereign communication network
  1. SOFTWARE
  2. EDGE
  3. COMMUNICATION

SOFTWARE

ANTHILL

Autonomous software colony

Apache-2.0 · desktop app for Windows and Linux

A self-hosted AI workspace where a colony of specialised agents plans, builds, verifies, and remembers. Nothing applies itself: every proposed change waits in one approval queue, and evidence — a compiler, a test run, a security scan — decides what counts as done.

  • Twelve mission roles, from Researcher to Archivist, with a planner that composes them per mission
  • Policy inserts a Tester and a Soldier on every state-changing patch set; a deterministic block is not model-overridable
  • Runs on your hardware. Internet access, file writing, and auto-apply all start switched off
anthill.formicaria.usSOURCE

EDGE

MICROMOUND

Edge intelligence runtime

Apache-2.0 · pre-M0 — protocol, simulator, and authority tests only; nothing physical ships yet

MICROMOUND extends ANTHILL into physical devices — Raspberry Pis, ESP32s, sensors, cameras, robots, fabrication and building systems. The primary colony stays in command, delegating missions, permissions, and operating limits to smaller colonies at the edge.

  • Two tiers: an intelligent Edge Queen on Pi-class hardware, a deterministic controller on ESP32-class
  • Authorised work continues while disconnected, and losing communication never grants additional authority
  • Physical results are proven with sensor data, telemetry, or images — independent E-stops and interlocks stay outside AI control
github.com/Formicaria/micromound

COMMUNICATION

SOVRGNnet

Sovereign communication network

MIT · v0.4.0 alpha — messaging, files, invites, roles and moderation work

A network of independent instances, each a complete communications server — messaging, files, membership, moderation — run by whoever owns the machine it is on. One command to install. No domain required, no account with anybody, no landlord.

  • Messages are Matrix events on your own homeserver; files are content-addressed on your own IPFS node
  • If sovrgnnet.cc disappeared tomorrow, a correctly configured instance keeps running
  • Messages are not yet end-to-end encrypted — they are plain text on your own homeserver, and E2EE is the next milestone
sovrgnnet.ccSOURCE

STUDIO

FORMICARIA is the studio behind the three systems: a small operation building infrastructure for autonomous software that people run themselves.

Built in the open

Every system is a public repository under one organisation, with its own tests, threat model, and roadmap. What is missing is written down next to what works.

Self-hosted by default

Each system runs end to end on hardware you own — a laptop, a homelab node, a mini PC in a closet. Anything centralised is optional and off until you switch it on.

Evidence over assertion

Nothing marks its own work as correct. Compilers, test runs, sensor readings, and conformance suites decide, and the result is recorded either way.