← home · ← tools · View as Markdown (.md) · JSON

verify-exhaustiveness

station__harm-taxonomy__verify-exhaustiveness external (needs EXECUTION_BACKEND_URL) harm-taxonomy pv-core Constructa Configa

Verify that the 8-type taxonomy is exhaustive — that all 2³=8 combinations of the three binary characteristics are covered. Returns the proof with any gaps found.

Taxonomy

Linnaean classification joined from the algovigilance taxonomy index via the parent config's rank.

Rank	Value
domain	`Substrata`
kingdom	`Constructa`
phylum	`Configa`
class	`station-config`
order	`harm`
family	`mcp-tool-config`

Characteristics:

substrate: config
domain: pv
lifecycle: continuous
authority: read
compounding: producer
io: agent-request → tool-response

Input schema

No inputs required.

Example call

POST /api/mcp
Content-Type: application/json

{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "station__harm-taxonomy__verify-exhaustiveness",
    "arguments": {}
  }
}

How to invoke from a client

From any MCP-aware client, add https://algovigilance.com/api/mcp as an MCP server, then call this tool by name. From a raw HTTP client, send the JSON-RPC body above to /api/mcp.

Agent-friendly formats

Working inside an AI assistant? Use the Copy for AI button at the top of this page (or view the raw Markdown) to paste a clean, token-budgeted version of this tool's contract into your conversation.

All tools (3062 live)
/api/mcp — endpoint
/AGENTS.md — agent guide
/tools/harm-taxonomy__verify-exhaustiveness/raw.md — this page's Markdown twin