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.
Free, open-source (MIT) contract-verification primitive for TypeScript AI agent pipelines.
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.
Cross-cutting xDD utilities library: property testing, contract verification, mutation coverage
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."