Tool tree
gradeNot graded
list_targetsAnswer
List the vendored WebMCP demo sites currently under audit, and for each one the tools it exposes and whether those tools are declarative or imperative.
View tool JSON
{
"name": "list_targets",
"kind": "answer",
"impl": "imperative",
"description": "List the vendored WebMCP demo sites currently under audit, and for each one the tools it exposes and whether those tools are declarative or imperative.",
"inputSchema": {
"type": "object",
"properties": {},
"additionalProperties": false
}
}run_auditAction
Run the contract audit across every vendored demo site. Each tool is called with input its own declared schema forbids, and the result is recorded. Returns the probe, violation and not-measured counts. This takes about a minute and changes the state of the demo pages being audited.
View tool JSON
{
"name": "run_audit",
"kind": "act",
"impl": "imperative",
"description": "Run the contract audit across every vendored demo site. Each tool is called with input its own declared schema forbids, and the result is recorded. Returns the probe, violation and not-measured counts. This takes about a minute and changes the state of the demo pages being audited.",
"inputSchema": {
"type": "object",
"properties": {},
"additionalProperties": false
}
}get_findingsAnswer
Return the findings recorded by the most recent audit run, optionally narrowed to one verdict or one site. Run the audit first, or this returns nothing.
View tool JSON
{
"name": "get_findings",
"kind": "answer",
"impl": "imperative",
"description": "Return the findings recorded by the most recent audit run, optionally narrowed to one verdict or one site. Run the audit first, or this returns nothing.",
"inputSchema": {
"type": "object",
"properties": {
"verdict": {
"type": "string",
"enum": [
"HONOURED",
"VIOLATED",
"NOT_MEASURED"
],
"description": "Return only findings with this verdict. HONOURED means the tool refused input its schema forbids. VIOLATED means it accepted it. NOT_MEASURED means the probe could not be generated, could not be run, or never returned."
},
"site": {
"type": "string",
"enum": [
"coffee-shop",
"doors",
"explainer",
"french-bistro",
"order-tracking",
"pizza-maker",
"real-estate-map",
"ticket-booking"
],
"description": "Return only findings for this demo site."
}
},
"additionalProperties": false
}
}export_reportAction
Return the complete audit as plain text, including the method notes and every recorded finding, formatted for pasting into a bug report or an issue.
View tool JSON
{
"name": "export_report",
"kind": "act",
"impl": "imperative",
"description": "Return the complete audit as plain text, including the method notes and every recorded finding, formatted for pasting into a bug report or an issue.",
"inputSchema": {
"type": "object",
"properties": {},
"additionalProperties": false
}
}filter_findingsAction
Filter the audit findings table by verdict and by demo site. Run the audit first.
View tool JSON
{
"name": "filter_findings",
"kind": "act",
"impl": "declarative",
"description": "Filter the audit findings table by verdict and by demo site. Run the audit first.",
"inputSchema": {
"type": "object",
"properties": {
"verdict": {
"type": "string",
"enum": [
"VIOLATED",
"ALL",
"HONOURED",
"NOT_MEASURED"
]
},
"site": {
"type": "string",
"enum": [
"coffee-shop",
"doors",
"explainer",
"french-bistro",
"order-tracking",
"pizza-maker",
"real-estate-map",
"ticket-booking"
]
}
}
}
}