---
title: "Search the supported graph DSL and return an exact witness when found."
method: POST
path: "/api/counterexample"
---

# Search the supported graph DSL and return an exact witness when found.

`POST /api/counterexample`

## Request

- Base URL: `https://whetstone.cyberelf.link`
- URL: `https://whetstone.cyberelf.link/api/counterexample`
- Auth: none declared

## Request body

- object: Run a bounded graph search against one Whetstone predicate expression.
  - `expression` string, required: Graph predicate in the Whetstone DSL, for example: is_connected and is_triangle_free and not is_bipartite
  - `ns` integer[]: Graph sizes searched.
  - `restarts` integer
  - `seed` integer
  - `steps` integer

## Response `200`

Deterministic receipt with item-level decision path and SHA-256 hashes.

## Other responses

- `400`: Input error (a hint points at /api/examples).
- `429`: Rate limited.

---

[API](https://skmtc.dev/cyberelf/apis/whetstone-tools.md) · [All operations](https://skmtc.dev/cyberelf/apis/whetstone-tools/llms.txt) · [OpenAPI document](https://skmtc.dev/cyberelf/apis/whetstone-tools/revisions/4c656180ee4d?raw)