Search Results for "checker"

...It requires agents to define acceptance gates before claiming that work is finished. Each gate can specify a command, expected result, working directory, and recorded evidence. A bundled checker validates the ledger, runs approved checks, and can reverify previously completed work. The workflow emphasizes reviewing returned work and reporting only conclusions supported by verifiable evidence. It can be installed for Claude Code, Codex CLI, and other skill-compatible agents, with additional templates and orchestration guidance for more complex tasks.

ACP is an open, draft specification for letting buyers, their AI agents, and businesses complete purchases through a standardized interaction model. It’s maintained by OpenAI and Stripe and licensed under Apache-2.0, with the goal of being easy to adopt alongside a merchant’s existing commerce stack rather than replacing it. The repository organizes the spec as human-readable RFCs plus machine-readable OpenAPI and JSON Schema definitions, along with worked examples and a changelog so...

The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.

MCMAS-C is an extension to the most famous model checker MCMAS, which is implemented to verify multi-agent system. Our extension is related to check social commitments that agents can create and their fulfillment. It is model checker for CTLC logic.