Certified program synthesis. Pay per call in USDC via x402; refusals never billed.
The last two health checks of this connector failed. If this server requires authentication, missing or expired test credentials may be the cause. A test profile lets Glama authenticate for health checks and discover tools; it is separate from your personal connections.
If you are the author, claim ownership, then add or update a test profile under Admin → Test Profile.
Scored across 1 tool
With only one tool, there is no possibility of confusion with another tool. The single tool's purpose is clearly stated as inducing and certifying a program from examples.
A single tool name cannot violate consistency. The name solve_verified follows a readable verb_participle style that is self-consistent.
The server exposes exactly one tool, which is on the thin side for a compute service. While a single-purpose solver could justify one tool, it feels borderline and may lack auxiliary operations like status checks or certificate retrieval.
The tool covers the full described lifecycle: inducing a program, certifying it, and returning either a proved answer or a named refusal. No obvious gaps exist for the stated single-shot verified-compute purpose.
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
solve_verifiedDeterministic text prep for agents. Pay per call via x402 USDC.
Runs your code against a contract; HELD or BROKE at the exact input. Deterministic. 0.10 USDC/call.
Statistical adjudication for agents: backtest judges, fact-checks. Pay per call in USDC via x402.
Signed x402 attestations and bounty-packet preflight checks, paid per call in USDC on Base.
Add one secure layer between your agents and this server.
