An AIOps platform that closes the loop from Kubernetes alert to automated remediation: An AI Agent investigates via MCP tools, selects a fix from a pre-seeded workflow catalog and delegates execution (K8s Job, Tekton, Ansible) — or escalates with a full RCA. Approval gates, OPA policies, and audit trails keep humans in control.
Agents are starting to run real business processes. flowproof tests them like anything else: record one real run, then replay it on every commit with zero LLM calls, asserting which tools were called, with which arguments, in which order, and which were not.
The model-agnostic execution layer for AI agents: scoped routing and delegation, isolated worktrees, evidence, observability, and learning loops. The stack, not another wrapper. Seven executors — Claude Code, Codex, Cursor, opencode, DeepSeek Harness, Hermes, Pi — under one metered contract.
An agentic bioinformatics analyst: it runs the analysis on your own compute, self-heals failures, verifies the output, and returns a reproducible result.
Runtime action firewall for AI agents: the keyless Shield. Screens catastrophic tool calls (DROP TABLE, SSRF, secret exfil) in-process, no key. Watches by default; set the posture to enforce to block. MIT.