TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.

1 MCP to rule all them chains

Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

A multi-outcome prediction market built on top of cartesi and eigenlayer using lmsr formula

🧠 ThinkChain

Model Context Protocol server for managing Amazon DynamoDB resources

Training Large Language Model to Reason in a Continuous Latent Space

The Deep Funding scoring mechanism

The Ember SDK gives your AI agents on-chain actions

LangSmith Client SDK Implementations

Collab.Land AI Agent Starter Kit

A collection of modules that can be used with the Safe contract

peer-2-peer that just works

Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚

A Universal Wallet

DSPy: The framework for programming—not prompting—language models

OML 1.0 via Fingerprinting: Open, Monetizable, and Loyal AI

Prompt optimization scratch

Browser automation system that uses AI-driven planning to navigate web pages and perform goals.

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

Trade autonomously on Polymarket using AI Agents

A simple file format for character data

Magick is a cutting-edge toolkit for a new kind of AI builder. Make Magick with us!

Autonomous agents for everyone