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
certify_shortest_reproducer
Certify the shortest reproducer in the declared candidate space under current human-approved pins.
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. |
hypothesisId |
string | yes | Current hypothesis identifier returned by test_bug_hypothesis. |
expectedPinnedStepIds |
array | yes | Exact current human-approved pin set, in trace order. |
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."
},
"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
}
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