Cyberelf Labs Counterexample API
The Counterexample API from Cyberelf Labs — 1 operation(s) for counterexample.
Work with this as data
Every API here is available over the APIs.io API and to AI agents over MCP.
MCP server
One button, every client — Claude, Cursor, VS Code and the rest.
https://apis.io/mcp
Tools for apis
7 MCP tools reach this
find_apisBrowse and filter every API in the catalog.get_api_artifactsOne API's artifacts, grouped by type.get_openapiThe primary OpenAPI for this API.find_similar_apisAPIs that look like this one.apis_io_searchSTART HERE — APIs, providers and tags for one query, each with its total.resolveTurn a domain, URL or GitHub org into the provider it belongs to.find_cohortsEvery scored population of providers in the catalog.
Call it yourself
curl for this page
This API
curl "https://apis.io/api/v1/apis/cyberelf-link:cyberelf-link-counterexample-api"
All apis
curl "https://apis.io/api/v1/apis?limit=25"Calls without X-API-Key need no key. Calls with it need a paid plan — get a key.
Get an API key
Free tier, no form to fill in. Signing in shares your email address with us — we store it to create your key and to recognise you if you sign in with another provider. See our Privacy Policy and Terms.
A second provider on the same verified email joins the account you already have.
OpenAPI Specification
openapi: 3.2.0
info:
description: Verifier-grounded evaluation tools for AI systems. Workbench and report-card requests are stateless and unauthenticated; payloads and results are not persisted. Open Promotion Bench may persist only an opt-in public manifest and sanitized receipt, never task contents or answers. Operational counters and standard access logs are retained.
license:
name: AGPL-3.0-or-later
url: https://www.gnu.org/licenses/agpl-3.0.html
title: Whetstone Tools Counterexample API
version: 0.8.0
x-build-commit: 780558024ed039fc19bd626d956b4bd3267d61f5
servers:
- url: https://whetstone.cyberelf.link
tags:
- name: Counterexample
paths:
/api/counterexample:
post:
operationId: counterexample
requestBody:
content:
application/json:
example:
expression: is_connected and is_triangle_free and not is_bipartite
ns:
- 8
- 9
- 10
- 11
restarts: 4
seed: 0
steps: 800
schema:
additionalProperties: false
description: Run a bounded graph search against one Whetstone predicate expression.
properties:
expression:
description: 'Graph predicate in the Whetstone DSL, for example: is_connected and is_triangle_free and not is_bipartite'
maxLength: 500
minLength: 1
type: string
ns:
default:
- 8
- 9
- 10
- 11
description: Graph sizes searched.
items:
maximum: 12
minimum: 4
type: integer
maxItems: 5
minItems: 1
type: array
restarts:
default: 4
maximum: 6
minimum: 1
type: integer
seed:
default: 0
type: integer
steps:
default: 800
maximum: 1500
minimum: 50
type: integer
required:
- expression
type: object
required: true
responses:
'200':
description: Deterministic receipt with item-level decision path and SHA-256 hashes.
'400':
description: Input error (a hint points at /api/examples).
'429':
description: Rate limited.
summary: Search the supported graph DSL and return an exact witness when found
tags:
- Counterexample