agents.writerslogic.com

Formalizes natural-language clauses (or accepts a formal IR directly with zero LLM calls) into typed Boolean, integer and rational constraints, then answers "is P possible", "does invariant I always hold" or "are any clauses contradictory" with a pure-TypeScript CDCL(T) solver (exact rational simplex, branch-and-bound, minimal unsatisfiable cores). SAT returns an exact counterexample checked again

Open endpoint ↗

Price per call: $2.50
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/prove-contract-logic", { method: "POST" });
console.log(await res.json());

https://agents.writerslogic.com/api/v1/prove-contract-logic