Coding agents execute consequential actions
through one safe boundary,
Action → Run → Proof.
Let coding agents do consequential work without handing them a blind tool call.
Keep your agent and deployment tools. Route deploy, migrate, and publish operations through one durable boundary your team can inspect.
Action → Run → Proof
Configure an Action once. Each request becomes a durable Run with tenant-scoped policy, a business idempotency key, approval when required, and an explicit outcome. Proof records what Igris authorized, dispatched, observed, and verified.
from igris import Igris
igris = Igris.from_env()
run = igris.run(
"deploy.staging",
input={"service": "api", "commit": "abc123"},
idempotency_key="deploy:api:abc123",
)
run.wait()
proof = run.proof()The same model covers deploy.staging, deploy.production, migrate.database, and publish.package. REST is the canonical interface; the Python SDK is a thin convenience layer.
Safe failure, honest Proof
Idempotency prevents duplicate submissions inside Igris; it does not make an external system exactly-once. If Igris cannot determine whether an external effect occurred, it blocks blind replay and requires operator Reconciliation.
Proof can establish the integrity and provenance of Igris-observed records. It does not cryptographically prove that an external-world effect was correct. Reconciliation is an attributable operator decision, not cryptographic proof.
Read the docsGet started
The hosted alpha is operator-assisted while the public Python package is prepared. Start with the managed SDK quickstart and request access.
python -m pip install ./sdk/pythonOr Set up with
Action Protocol is the open trust and interoperability layer underneath Igris. It is advanced material, not a prerequisite for your first Action.
Open Source: self-host Igris for free. Use Igris Cloud when you want hosted infrastructure, managed retention, team access, and support.
Questions
Click a question above to see the answer.