Free, open-source (MIT) contract-verification primitive for TypeScript AI agent pipelines.
This is a command line tool for creating documentations out of pact contract files, and also verfying pact files for any custome conventions.
Smart contract verification api. Compare contract source code to bytecode in this simple to use API.
Contract-based accountability runtime for AI agents. Define tasks with required evidence — no proof means not done. MCP server with multi-agent pipelines, independent verification, and append-only audit log.
Blockchain security scripts - contract verification, audit automation, and exploit detection
Keyless CLI to check and verify Solidity contracts on Sourcify across 400+ EVM chains
Add a description, image, and links to the contract-verification topic page so that developers can more easily learn about it.
To associate your repository with the contract-verification topic, visit your repo's landing page and select "manage topics."