Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

IronClaw is an Agent OS focused on privacy, security and extensibility

SMT-based reasoning core for Lean4

Open-source Agent Operating System

Fast, small, and fully autonomous AI personal assistant infrastructure, ANY OS, ANY PLATFORM — deploy anywhere, swap anything 🦀

cliamp - Terminal music player inspired by winamp

Research code base for Automatic Textbook Formalization

MathCode: A Frontier Mathematical Coding Agent

Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.

A verification toolchain for Rust programs

A verifier for automated and interactive proofs about transition systems.

A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.

omo; the best agent harness - previously oh-my-opencode

Teams-first Multi-agent orchestration for Claude Code

Beads - A memory upgrade for your coding agent

The memory-first coding agent

Let your AI go full send. Your home directory stays home.

🚀 Efficient implementations for emerging model architectures

A collection of skills for AI coding agents from Semgrep

[Legendary artifact] The Soul Grimoire - used for the summoning of souls

What are the principles we can use to build LLM-powered software that is actually good enough to put in the hands of production customers?

The open source coding agent.

A simple Mermaid diagram to ASCII converter in Rust

Render Mermaid graphs inside your terminal

Annotate and review coding agent plans and code diffs visually, share with your team, send feedback to agents with one click.

A curated list of awesome plugins, themes, agents, projects, and resources for https://opencode.ai