FormAI is a blockchain protocol designed as an AI agent infrastructure for decentralized applications. It serves as an execution layer for on-chain AI, enabling developers to create and host transactional AI agents. Key features include a network for decentralized AI computation, allowing data and compute resource contribution from users globally. The protocol supports smart contract enhancements through AI, facilitating transactions, on-chain voting, and humanity verification. FormAI provides open-source tools for building AI-driven decentralized applications, with a focus on scalability and interoperability. It aims to create a decentralized economy for data and compute sharing, supporting applications like universal basic income and post-AGI blockchain infrastructure. The platform is developed by researchers from institutions like Harvard, MIT, and the University of Waterloo.