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.

Scult Tools is a set of 15 free web tools that run entirely in your browser — schema markup generator, invoice generator, QR codes with UPI, JSON formatter, website speed test, ROI calculator, colour palette + WCAG contrast checker, word counter, business name and slogan generators, email signatures, favicons, UTM builder, FAQ schema, and an AI Visibility Checker that tells you whether ChatGPT knows your brand exists. Built for marketers, SEOs, freelancers and developers who just need the thing done. No account, no watermark, no credit limits, no data leaving your browser. ...