Agoras: Tau Net

Agoras Tau Net is a Layer-1 blockchain that uses logic-based artificial intelligence to create and evolve software. Its foundation is Tau Language, a decidable declarative language in which users describe requirements and the system generates correct code with a formal proof.

The network is designed for decentralized development, governance, and adaptive tokenomics in real time. The AGRS token is the central economic asset of Tau Net.

The project has a long development history, a whitepaper, and a testnet, with a focus on verifiable AI and logical reasoning. It is a core AI protocol centered on formal logic rather than conventional neural networks.