Tool tree
TraceForge: agent-guided, human-approved, application-certified debugging through WebMCP
Implementation
gradeNot graded
gradeNot graded
inspect_bug_traceAnswer
Read the current semantic trace and application-owned diagnostic state.
View tool JSON
{
"name": "inspect_bug_trace",
"kind": "answer",
"impl": "imperative",
"description": "Read the current semantic trace and application-owned diagnostic state.",
"inputSchema": {
"type": "object",
"properties": {},
"additionalProperties": false
},
"page": "/traceforge/"
}test_bug_hypothesisAction
Record an untrusted semantic hypothesis and deterministically replay its proposed reduction.
View tool JSON
{
"name": "test_bug_hypothesis",
"kind": "act",
"impl": "imperative",
"description": "Record an untrusted semantic hypothesis and deterministically replay its proposed reduction.",
"inputSchema": {
"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
},
"page": "/traceforge/"
}certify_shortest_reproducerAction
Certify the shortest reproducer in the declared candidate space under current human-approved pins.
View tool JSON
{
"name": "certify_shortest_reproducer",
"kind": "act",
"impl": "imperative",
"description": "Certify the shortest reproducer in the declared candidate space under current human-approved pins.",
"inputSchema": {
"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."
},
"hypothesisId": {
"type": "string",
"minLength": 1,
"maxLength": 200,
"description": "Current hypothesis identifier returned by test_bug_hypothesis."
},
"expectedPinnedStepIds": {
"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": "Exact current human-approved pin set, in trace order."
}
},
"required": [
"baselineId",
"oracleId",
"hypothesisId",
"expectedPinnedStepIds"
],
"additionalProperties": false
},
"page": "/traceforge/"
}replay_bug_candidateAction
Visibly reset and replay the current certified candidate in the checkout UI.
View tool JSON
{
"name": "replay_bug_candidate",
"kind": "act",
"impl": "imperative",
"description": "Visibly reset and replay the current certified candidate in the checkout UI.",
"inputSchema": {
"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."
},
"certificateId": {
"type": "string",
"minLength": 1,
"maxLength": 200,
"description": "Current certificate identifier returned by certification."
}
},
"required": [
"baselineId",
"oracleId",
"certificateId"
],
"additionalProperties": false
},
"page": "/traceforge/"
}export_regression_testAction
Generate and display metadata for the deterministic Playwright regression artifact.
View tool JSON
{
"name": "export_regression_test",
"kind": "act",
"impl": "imperative",
"description": "Generate and display metadata for the deterministic Playwright regression artifact.",
"inputSchema": {
"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."
},
"certificateId": {
"type": "string",
"minLength": 1,
"maxLength": 200,
"description": "Current certificate identifier returned by certification."
}
},
"required": [
"baselineId",
"oracleId",
"certificateId"
],
"additionalProperties": false
},
"page": "/traceforge/"
}