Formally verified.
Built to scale.

Trillions of agents, one checkable agreement

We believe in a world where trillions of agents work together and alongside us. Cooperation at that scale requires shared rules built on formally verified agreements, in place of trust based systems.

Formal verification made computers with billions of transistors, cloud infrastructure that hosts exabytes of data, and medical devices that save millions of lives, reliable. Modality is a language that brings that reliability to complex cooperation.

Get the language

A contract is files on disk. You do not need a network to check one. Install modal, then write a rule another party can replay.

curl -fsSL https://www.modality.org/install.sh | sh

Your first contract →

Git for trust

A Modality contract is not a prompt and not a policy PDF. It is state, a model of possible moves, and accumulating rules. Every accepted commit is signed. Anyone can replay the log.

contract/
├── state/     # posted data
├── model/     # possible moves
└── rules/     # who / when / under what

Future-you is a stranger to past-you. A counterparty may be hours old. That is fine. Strangers can still check. Invalid commits are rejected — the log does not grow.

Shared rules

Trust is a filter that says not them, not yet. Verified agreements let parties cooperate without having met. The next commit is a check, not a request to be believed.

After the process dies

Every spawn forgets. The log does not. Signed history is how a mind leaves a commitment that outlasts the process that made it.

Built to scale

Transistors were not trustworthy. Scale came from refusing the part that did not hold. Agents are the next unreliable part. The same family of checks, pointed at cooperation.