{"ok":true,"site":{"host":"michalej.github.io","url":"https://michalej.github.io/traceforge/","type":"live","desc":"TraceForge: agent-guided, human-approved, application-certified debugging through WebMCP","tools":[{"name":"inspect_bug_trace","kind":"answer","impl":"imperative","description":"Read the current semantic trace and application-owned diagnostic state.","title":"Inspect bug trace","annotations":{"readOnlyHint":true,"untrustedContentHint":true},"inputSchema":{"type":"object","properties":{},"additionalProperties":false},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/traceforge/"},{"name":"test_bug_hypothesis","kind":"act","impl":"imperative","description":"Record an untrusted semantic hypothesis and deterministically replay its proposed reduction.","title":"Test bug hypothesis","annotations":{"readOnlyHint":false,"untrustedContentHint":true},"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},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/traceforge/"},{"name":"certify_shortest_reproducer","kind":"act","impl":"imperative","description":"Certify the shortest reproducer in the declared candidate space under current human-approved pins.","title":"Certify shortest reproducer","annotations":{"readOnlyHint":false,"untrustedContentHint":false},"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},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/traceforge/"},{"name":"replay_bug_candidate","kind":"act","impl":"imperative","description":"Visibly reset and replay the current certified candidate in the checkout UI.","title":"Replay bug candidate","annotations":{"readOnlyHint":false,"untrustedContentHint":false},"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},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/traceforge/"},{"name":"export_regression_test","kind":"act","impl":"imperative","description":"Generate and display metadata for the deterministic Playwright regression artifact.","title":"Export regression test","annotations":{"readOnlyHint":false,"untrustedContentHint":false},"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},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/traceforge/"}],"category":"Developer Tools","apiSurface":"spec","toolCount":5}}