ScoreCompute

Scan a grid for a counterexample

scan_counterexample

Read-onlyIdempotent

Bounded deterministic float64 scan of a scalar <= or >= claim over a declared grid of 1–6 variables. Reports numerical witnesses, undefined and uncertain evaluations, and the exact stop reason. A propagated screening guard rejects near-boundary candidates; it is not a certified interval or formal proof. An inconclusive outcome preserves unresolved sampled cells; absence of a witness does not establish the claim over the continuous box.

Input Schema

Name	Required	Description	Default
`bound`	Yes
`relation`	Yes
`tolerance`	No
`variables`	Yes
`expression`	Yes
`max_evaluations`	No
`max_counterexamples`	No

Schema Changelog

Changes observed during successful MCP inspections.

Changed1 schema field changedNov 9, 2026

changedOutput schema / (root)

Previous value: -{
-  "$schema": "http://json-schema.org/draft-07/schema#",
-  "additionalProperties": false,
-  "properties": {
-    "assumptions": {
-      "items": {
-        "maxLength": 512,
-        "minLength": 1,
-        "type": "string"
-      },
-      "maxItems": 16,
-      "minItems": 1,
-      "type": "array"
-    },
-    "bound": {
-      "maximum": 1000000000000,
-      "minimum": -1000000000000,
-      "type": "number"
-    },
-    "complete": {
-      "type": "boolean"
-    },
-    "contract_version": {
-      "const": "0.2.0",
-      "type": "string"
-    },
-    "counterexamples": {
-      "items": {
-        "additionalProperties": false,
-        "properties": {
-          "comparison_guard": {
-            "maximum": 1.7976931348623157e+308,
-            "minimum": 0,
-            "type": "number"
-          },
-          "expression_value": {
-            "maximum": 1.7976931348623157e+308,
-            "minimum": -1.7976931348623157e+308,
-            "type": "number"
-          },
-          "margin": {
-            "maximum": 1.7976931348623157e+308,
-            "minimum": 0,
-            "type": "number"
-          },
-          "values": {
-            "items": {
-              "additionalProperties": false,
-              "properties": {
-                "name": {
-                  "maxLength": 32,
-                  "minLength": 1,
-                  "type": "string"
-                },
-                "value": {
-                  "maximum": 1000000,
-                  "minimum": -1000000,
-                  "type": "number"
-                }
-              },
-              "required": [
-                "name",
-                "value"
-              ],
-              "type": "object"
-            },
-            "maxItems": 6,
-            "minItems": 1,
-            "type": "array"
-          }
-        },
-        "required": [
-          "comparison_guard",
-          "expression_value",
-          "margin",
-          "values"
-        ],
-        "type": "object"
-      },
-      "maxItems": 16,
-      "minItems": 0,
-      "type": "array"
-    },
-    "elapsed_ms": {
-      "maximum": 1000000000,
-      "minimum": 0,
-      "type": "number"
-    },
-    "engine": {
-      "const": "rust-cpu",
-      "type": "string"
-    },
-    "evaluated": {
-      "maximum": 200000,
-      "minimum": 0,
-      "type": "integer"
-    },
-    "expression": {
-      "maxLength": 512,
-      "minLength": 1,
-      "type": "string"
-    },
-    "finite_evaluations": {
-      "maximum": 200000,
-      "minimum": 0,
-      "type": "integer"
-    },
-    "first_counterexample": {
-      "anyOf": [
-        {
-          "additionalProperties": false,
-          "properties": {
-            "comparison_guard": {
-              "maximum": 1.7976931348623157e+308,
-              "minimum": 0,
-              "type": "number"
-            },
-            "expression_value": {
-              "maximum": 1.7976931348623157e+308,
-              "minimum": -1.7976931348623157e+308,
-              "type": "number"
-            },
-            "margin": {
-              "maximum": 1.7976931348623157e+308,
-              "minimum": 0,
-              "type": "number"
-            },
-            "values": {
-              "items": {
-                "additionalProperties": false,
-                "properties": {
-                  "name": {
-                    "maxLength": 32,
-                    "minLength": 1,
-                    "type": "string"
-                  },
-                  "value": {
-                    "maximum": 1000000,
-                    "minimum": -1000000,
-                    "type": "number"
-                  }
-                },
-                "required": [
-                  "name",
-                  "value"
-                ],
-                "type": "object"
-              },
-              "maxItems": 6,
-              "minItems": 1,
-              "type": "array"
-            }
-          },
-          "required": [
-            "comparison_guard",
-            "expression_value",
-            "margin",
-            "values"
-          ],
-          "type": "object"
-        },
-        {
-          "type": "null"
-        }
-      ]
-    },
-    "grid_total": {
-      "maximum": 68719476736,
-      "minimum": 1,
-      "type": "integer"
-    },
-    "limits": {
-      "items": {
-        "maxLength": 512,
-        "minLength": 1,
-        "type": "string"
-      },
-      "maxItems": 16,
-      "minItems": 0,
-      "type": "array"
-    },
-    "method": {
-      "maxLength": 4096,
-      "minLength": 1,
-      "type": "string"
-    },
-    "notes": {
-      "items": {
-        "maxLength": 512,
-        "minLength": 1,
-        "type": "string"
-      },
-      "maxItems": 16,
-      "minItems": 0,
-      "type": "array"
-    },
-    "provenance": {
-      "additionalProperties": false,
-      "properties": {
-        "client": {
-          "additionalProperties": {},
-          "properties": {
-            "name": {
-              "type": "string"
-            },
-            "version": {
-              "type": "string"
-            }
-          },
-          "required": [
-            "name",
-            "version"
-          ],
-          "type": "object"
-        },
-        "identity_source": {
-          "type": "string"
-        },
-        "model": {
-          "type": "null"
-        },
-        "server": {
-          "const": "scorecompute",
-          "type": "string"
-        },
-        "tool": {
-          "const": "scan_counterexample",
-          "type": "string"
-        }
-      },
-      "required": [
-        "tool",
-        "server",
-        "client",
-        "identity_source",
-        "model"
-      ],
-      "type": "object"
-    },
-    "relation": {
-      "anyOf": [
-        {
-          "const": "le",
-          "type": "string"
-        },
-        {
-          "const": "ge",
-          "type": "string"
-        }
-      ]
-    },
-    "statement": {
-      "maxLength": 4096,
-      "minLength": 1,
-      "type": "string"
-    },
-    "stop_reason": {
-      "anyOf": [
-        {
-          "const": "grid_complete",
-          "type": "string"
-        },
-        {
-          "const": "evaluation_budget",
-          "type": "string"
-        },
-        {
-          "const": "counterexample_limit",
-          "type": "string"
-        }
-      ]
-    },
-    "stopped_early": {
-      "type": "boolean"
-    },
-    "tolerance": {
-      "maximum": 1000000000000,
-      "minimum": 0,
-      "type": "number"
-    },
-    "uncertain_evaluations": {
-      "maximum": 200000,
-      "minimum": 0,
-      "type": "integer"
-    },
-    "undefined_evaluations": {
-      "maximum": 200000,
-      "minimum": 0,
-      "type": "integer"
-    },
-    "verdict": {
-      "anyOf": [
-        {
-          "const": "counterexamples_found",
-          "type": "string"
-        },
-        {
-          "const": "no_counterexample_in_scanned_box",
-          "type": "string"
-        },
-        {
-          "const": "inconclusive",
-          "type": "string"
-        }
-      ]
-    },
-    "work_units": {
-      "maximum": 200000,
-      "minimum": 0,
-      "type": "integer"
-    }
-  },
-  "required": [
-    "assumptions",
-    "bound",
-    "complete",
-    "contract_version",
-    "counterexamples",
-    "elapsed_ms",
-    "engine",
-    "evaluated",
-    "expression",
-    "finite_evaluations",
-    "first_counterexample",
-    "grid_total",
-    "limits",
-    "method",
-    "notes",
-    "relation",
-    "statement",
-    "stop_reason",
-    "stopped_early",
-    "tolerance",
-    "uncertain_evaluations",
-    "undefined_evaluations",
-    "verdict",
-    "work_units",
-    "provenance"
-  ],
-  "type": "object"
-}New value: +null

Changed13 schema fields changedOct 5, 2026

changedOutput schema / properties / contract_version / const
```
Previous value: -"0.1.0"New value: +"0.2.0"
```

addedOutput schema / properties / counterexamples / items / properties / comparison_guard

Added value: +{
+  "maximum": 1.7976931348623157e+308,
+  "minimum": 0,
+  "type": "number"
+}

changedOutput schema / properties / counterexamples / items / properties / expression_value / maximum
```
Previous value: -1e+308New value: +1.7976931348623157e+308
```
changedOutput schema / properties / counterexamples / items / properties / expression_value / minimum
```
Previous value: --1e+308New value: +-1.7976931348623157e+308
```
changedOutput schema / properties / counterexamples / items / properties / margin / maximum
```
Previous value: -1e+308New value: +1.7976931348623157e+308
```

changedOutput schema / properties / counterexamples / items / required

Previous value: -[
-  "expression_value",
-  "margin",
-  "values"
-]New value: +[
+  "comparison_guard",
+  "expression_value",
+  "margin",
+  "values"
+]

addedOutput schema / properties / finite_evaluations

Added value: +{
+  "maximum": 200000,
+  "minimum": 0,
+  "type": "integer"
+}

changedOutput schema / properties / first_counterexample / anyOf

Previous value: -[
-  {
-    "additionalProperties": false,
-    "properties": {
-      "expression_value": {
-        "maximum": 1e+308,
-        "minimum": -1e+308,
-        "type": "number"
-      },
-      "margin": {
-        "maximum": 1e+308,
-        "minimum": 0,
-        "type": "number"
-      },
-      "values": {
-        "items": {
-          "additionalProperties": false,
-          "properties": {
-            "name": {
-              "maxLength": 32,
-              "minLength": 1,
-              "type": "string"
-            },
-            "value": {
-              "maximum": 1000000,
-              "minimum": -1000000,
-              "type": "number"
-            }
-          },
-          "required": [
-            "name",
-            "value"
-          ],
-          "type": "object"
-        },
-        "maxItems": 6,
-        "minItems": 1,
-        "type": "array"
-      }
-    },
-    "required": [
-      "expression_value",
-      "margin",
-      "values"
-    ],
-    "type": "object"
-  },
-  {
-    "type": "null"
-  }
-]New value: +[
+  {
+    "additionalProperties": false,
+    "properties": {
+      "comparison_guard": {
+        "maximum": 1.7976931348623157e+308,
+        "minimum": 0,
+        "type": "number"
+      },
+      "expression_value": {
+        "maximum": 1.7976931348623157e+308,
+        "minimum": -1.7976931348623157e+308,
+        "type": "number"
+      },
+      "margin": {
+        "maximum": 1.7976931348623157e+308,
+        "minimum": 0,
+        "type": "number"
+      },
+      "values": {
+        "items": {
+          "additionalProperties": false,
+          "properties": {
+            "name": {
+              "maxLength": 32,
+              "minLength": 1,
+              "type": "string"
+            },
+            "value": {
+              "maximum": 1000000,
+              "minimum": -1000000,
+              "type": "number"
+            }
+          },
+          "required": [
+            "name",
+            "value"
+          ],
+          "type": "object"
+        },
+        "maxItems": 6,
+        "minItems": 1,
+        "type": "array"
+      }
+    },
+    "required": [
+      "comparison_guard",
+      "expression_value",
+      "margin",
+      "values"
+    ],
+    "type": "object"
+  },
+  {
+    "type": "null"
+  }
+]

addedOutput schema / properties / stop_reason

Added value: +{
+  "anyOf": [
+    {
+      "const": "grid_complete",
+      "type": "string"
+    },
+    {
+      "const": "evaluation_budget",
+      "type": "string"
+    },
+    {
+      "const": "counterexample_limit",
+      "type": "string"
+    }
+  ]
+}

addedOutput schema / properties / uncertain_evaluations

Added value: +{
+  "maximum": 200000,
+  "minimum": 0,
+  "type": "integer"
+}

addedOutput schema / properties / undefined_evaluations

Added value: +{
+  "maximum": 200000,
+  "minimum": 0,
+  "type": "integer"
+}

changedOutput schema / properties / verdict / anyOf

Previous value: -[
-  {
-    "const": "counterexamples_found",
-    "type": "string"
-  },
-  {
-    "const": "no_counterexample_in_scanned_box",
-    "type": "string"
-  }
-]New value: +[
+  {
+    "const": "counterexamples_found",
+    "type": "string"
+  },
+  {
+    "const": "no_counterexample_in_scanned_box",
+    "type": "string"
+  },
+  {
+    "const": "inconclusive",
+    "type": "string"
+  }
+]

changedOutput schema / required

Previous value: -[
-  "assumptions",
-  "bound",
-  "complete",
-  "contract_version",
-  "counterexamples",
-  "elapsed_ms",
-  "engine",
-  "evaluated",
-  "expression",
-  "first_counterexample",
-  "grid_total",
-  "limits",
-  "method",
-  "notes",
-  "relation",
-  "statement",
-  "stopped_early",
-  "tolerance",
-  "verdict",
-  "work_units",
-  "provenance"
-]New value: +[
+  "assumptions",
+  "bound",
+  "complete",
+  "contract_version",
+  "counterexamples",
+  "elapsed_ms",
+  "engine",
+  "evaluated",
+  "expression",
+  "finite_evaluations",
+  "first_counterexample",
+  "grid_total",
+  "limits",
+  "method",
+  "notes",
+  "relation",
+  "statement",
+  "stop_reason",
+  "stopped_early",
+  "tolerance",
+  "uncertain_evaluations",
+  "undefined_evaluations",
+  "verdict",
+  "work_units",
+  "provenance"
+]

AddedOct 5, 2026

TDQS

Score is being calculated.

All ScoreCompute tools Inspect

Try in Browser

Claude Code, inside the Godot 4 editorFlockbay puts an AI agent in the real Godot 4 editor: it writes GDScript, runs your game and fixes what breaks. Free, or bring your own Claude Code or Codex.flockbay.comAd

Glama MCP Gateway

Add one secure layer between your agents and this server.

Resources

Need Help?