Modality ⲙ

⚙️ Docs | 🌟 Examples | 💬 Discord | 💰 Modal Money

Work in progress: Modality is under active development. The language, verifier, CLI, docs, and examples are still changing, and some workflows may require building from source or using experimental commands.

What is Modality?

Modality is a verification language for AI agent cooperation.

It enables agents (and humans*) to negotiate and verify cooperation through formal verification. Define modal contracts as append-only logs of signed commits, and prove commitments with temporal logic.

*Humans are also welcome to use Modality, if they're sufficiently motivated.

Quick Start

curl --proto '=https' --tlsv1.2 -sSf https://www.modality.org/install.sh | sh

Use Cases

• 🔐 Modal Contracts — State machines with formally verified temporal logic
• 🤖 Agent Cooperation — Escrow, swaps, milestones — provably enforced
• 📜 Append-Only Logs — Full history, transparent state, cryptographic integrity
• 🌐 Decentralized Deployment — Deploy contracts onto a global network via Modal Money

Documentation

• Getting Started — Install and run your first contract
• Core Concepts — Understand models, formulas, and verification
• Language Reference — Complete syntax guide
• For Agents — Quick reference for AI agents

Development

Rust is the canonical implementation: language, verifier, CLI (modal), node, hub, and network (modality-* crates under /rust).

JavaScript is provided as needed for hosts that are not Rust — WASM, the TypeScript SDK, browsers, and Node agents. Prefer wrapping the Rust libraries (especially modality-lang WASM) over reimplementing them.

	Path	Purpose
Rust	/rust	Canonical libraries and modal CLI
JavaScript	/js	As-needed JS packages (modality-js), WASM, network/browser clients
TypeScript SDK	/packages/modality-sdk	@modality-org/sdk
VS Code	/common/modality-vscode	LSP client for modality-lsp

See DEVELOPMENT.md for local setup, build, and test instructions.

Roadmap

• Milestones
• Issues

Community

• 💬 Discord — Chat and community meetings
• 📂 GitHub Issues — Report bugs or request features

---

Contributors