Focus
Programmatic interfaces for automation.
- Submit jobs and monitor state transitions.
- Automate verifier and solver operations.
- Integrate protocol signals into backend tooling.
Builders
SDK and API surfaces provide structured access to protocol actions, role operations, and event-driven workflow updates.
Focus
Programmatic interfaces for automation.
Next Step
Review docs for whitepaper context, and explore adjacent sections in the navigation dropdown.