VERIFI
SDK docs
engine v2 · contract 1.5.1 · harness-sdk 1.2.0
Start here
Overview
Getting the packages
Quickstart
Operating principles
Harness authoring
defineHarness
Run lifecycle
Tools and slots
Findings and events
The budget ledger
The engine channel
Packaging and boot
Models
MCP authoring
Overview
The three gates
Tools and HITL
Statelessness and sharing
Conformance
Prove it, then register
Contract reference
Overview and versioning
Registry objects
Registering a component
Service, TestInput, Run
The finding model
Events and alerts
For coding agents
Get the files
AGENTS.md
SKILL.md
Appendix
Known gaps
Source provenance
404
This page could not be found.