Matterhorn and ASI Alliance launch AI smart-contract audits

Matterhorn and the Artificial Superintelligence Alliance announced a suite of tools on ASI:Chain to audit smart contracts produced by AI. The partners say the platform combines automated analysis, human security reviews and pre-deployment testing, and aims to onboard 20,000 developers to ASI:Chain in 2026.

Matterhorn’s “vibe coding” feature converts plain-language descriptions into full smart contract code. The companies said vibe coding speeds development and lowers the entry barrier for building decentralized applications, while creating a need for stronger checks because AI-generated code can contain security flaws that handle real funds.

The audit environment links Matterhorn’s code-generation tools with auditing workflows. Automated scanners run alongside human reviewers and pre-deployment tests to find vulnerabilities before contracts go live. Matterhorn founder Abhinav Ramesh stated the platform will integrate external security auditors and AI-driven audit agents, and that agentic audits are available but should not be the sole method for mainnet applications.

The integration works with ASI:Cloud to supply the computing power for AI systems that generate and analyze code. The partners are developing “blessed templates” and adding support for formal verification languages so developers can use proven contract patterns and produce mathematical proofs of certain properties before deployment.

Khellar Crawford, SingularityNET chief innovation officer, described the platform’s design as “correct-by-construction,” citing an architecture based on Rho calculus and spatial behavioral types. He said that approach enables formal proofs intended to prevent deadlocks, race conditions and leaked funds prior to any code reaching a live network.

The effort responds to growing experiments with autonomous AI agents in crypto that can manage wallets, execute trades and perform other on-chain financial actions. The companies framed the tools as a way to give developers an environment to produce, review and launch contracts while connecting with auditors and using verified templates.

Matterhorn and the ASI Alliance emphasized the tools aim to speed development while reducing risk, and the partnership does not offer guarantees of security. The technical stack includes support for MeTTa, the ASI:Chain programming language, and interfaces that connect builders to external audit services through Matterhorn’s platform.