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.
Researching how consequential commercial commitments can be defined, evidenced, verified, and reconstructed — starting with enterprise software implementation milestones.
The verification, metadata, and release work that makes a deployed contract usable by the systems around it.
Keyless CLI to check and verify Solidity contracts on Sourcify across 400+ EVM chains
Blockchain security scripts - contract verification, audit automation, and exploit detection
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.
To associate your repository with the contract-verification topic, visit your repo's landing page and select "manage topics."