michalej.github.io
TraceForge: agent-guided, human-approved, application-certified debugging through WebMCP
First seen 2026-11-05 · Last seen 2026-11-05 · Source: webmcp.com
Answer 1 · Act 4 · Transact 0 · Score: Not yet scored
Tool inspector
test_bug_hypothesis
Record an untrusted semantic hypothesis and deterministically replay its proposed reduction.
Page: /traceforge/
Input schema
| Property | Type | Required | Description |
|---|---|---|---|
baselineId |
string | yes | Baseline identifier returned by inspect_bug_trace. |
oracleId |
string | yes | Oracle identifier returned by inspect_bug_trace. |
hypothesis |
string | yes | Agent-authored diagnostic hypothesis (untrusted). |
retainedStepIds |
array | yes | Canonical step IDs to retain, in trace order. |
removedStepIds |
array | yes | Canonical step IDs to remove, in trace order. |
stepInterpretations |
array | yes | One interpretation for every canonical trace step. |
Raw JSON schema
{
"type": "object",
"properties": {
"baselineId": {
"type": "string",
"minLength": 1,
"maxLength": 200,
"description": "Baseline identifier returned by inspect_bug_trace."
},
"oracleId": {
"type": "string",
"minLength": 1,
"maxLength": 200,
"description": "Oracle identifier returned by inspect_bug_trace."
},
"hypothesis": {
"type": "string",
"minLength": 1,
"maxLength": 280,
"description": "Agent-authored diagnostic hypothesis (untrusted)."
},
"retainedStepIds": {
"type": "array",
"items": {
"type": "string",
"enum": [
"case.open_customer_report",
"market.select_eu",
"cart.add_atlas_lamp",
"shipping.preview_estimate",
"customer.set_business",
"vat.validate_eu_id",
"partner.apply_profile"
],
"minLength": 1,
"maxLength": 200
},
"uniqueItems": true,
"maxItems": 7,
"description": "Canonical step IDs to retain, in trace order."
},
"removedStepIds": {
"type": "array",
"items": {
"type": "string",
"enum": [
"case.open_customer_report",
"market.select_eu",
"cart.add_atlas_lamp",
"shipping.preview_estimate",
"customer.set_business",
"vat.validate_eu_id",
"partner.apply_profile"
],
"minLength": 1,
"maxLength": 200
},
"uniqueItems": true,
"maxItems": 7,
"description": "Canonical step IDs to remove, in trace order."
},
"stepInterpretations": {
"type": "array",
"minItems": 7,
"maxItems": 7,
"items": {
"type": "object",
"properties": {
"stepId": {
"type": "string",
"enum": [
"case.open_customer_report",
"market.select_eu",
"cart.add_atlas_lamp",
"shipping.preview_estimate",
"customer.set_business",
"vat.validate_eu_id",
"partner.apply_profile"
],
"minLength": 1,
"maxLength": 200,
"description": "Canonical trace step identifier."
},
"classification": {
"type": "string",
"enum": [
"causal",
"contextual",
"noise"
],
"description": "Agent-proposed semantic classification."
},
"reason": {
"type": "string",
"minLength": 1,
"maxLength": 160,
"description": "Short reason for the proposed classification (untrusted)."
}
},
"required": [
"stepId",
"classification",
"reason"
],
"additionalProperties": false
},
"description": "One interpretation for every canonical trace step."
}
},
"required": [
"baselineId",
"oracleId",
"hypothesis",
"retainedStepIds",
"removedStepIds",
"stepInterpretations"
],
"additionalProperties": false
}
Similar websites
morphus.myles4miles.chatgpt.site
Morphus is an AI-native workspace for designing worlds and generating playable game experiences.
damnpdfs.com
Install the DamnPDFs Codex plugin, pair a browser workspace and use PDF, image and file tools from your coding agent. Includes setup and privacy limits.
insignifi4nt.github.io
broCAD/M: local-first CAD and CAM for parametric design, wire EDM planning, simulation and controller export.
cabinet.varera.studio
The Cartographer's Cabinet