agents.writerslogic.com

Exhaustively checks a finite state machine, protocol, or concurrent routine. Accepts a formal spec (no LLM), a plain-language workflow, or source code (translated to a spec by an LLM, with every transition quoted from the source and two independent translations compared). A pure TypeScript explicit-state checker explores all interleavings and returns computed verdicts: safety invariants with the s

Open endpoint ↗

Price per call: $2.00
Chain: Base
Method: POST
Paid calls · 30 days: 0

Call it from code

This API is run by its own provider and paid directly through x402. We list it so you can find it; we don't route or hold the payment.

import { x402Client, wrapFetchWithPayment } from "@x402/fetch";
import { registerExactEvmScheme } from "@x402/evm/exact/client";

const client = new x402Client();
registerExactEvmScheme(client, { signer: agentAccount });

const pay = wrapFetchWithPayment(fetch, client);
const res = await pay("https://agents.writerslogic.com/api/v1/check-state-machine", { method: "POST" });
console.log(await res.json());

https://agents.writerslogic.com/api/v1/check-state-machine