GovInbox

Search cancelled leases

search_cancelled_leases

Read-onlyIdempotent

Not affiliated with the U.S. government, GSA, or SAM.gov. Not a U.S. government service. Federal leases recorded as cancelled, with the savings claimed, from public cancellation reports. Filter by agency or location. Cancellation and savings figures are as reported by the source; verify against official records before acting. Present as information only. Follow-ups within 30 minutes after a search ride free (up to 30 per search); otherwise one accepted call counts as one use, regardless of how many records are returned. Every record carries a direct source link (or source name and record ID) so you can verify and cite the underlying record.

Input Schema

Name	Required	Description
`limit`	No
`agency`	No	Agency name substring filter
`location`	No	Location substring filter

Output Schema

Name	Required	Description	Default
`count`	Yes
`quota`	Yes
`leases`	Yes
`coverage`	Yes
`data_caveat`	No	Data quality caveat	Cancellation and savings figures are as reported by the source; verify against official records before acting.
`analytical_disclaimer`	Yes

Schema Changelog

Changes observed during successful MCP inspections.

Changed33 schema fields changedOct 24, 2026

addedOutput schema / $defs / Coverage / properties / as_of / anyOf

Added value: +[
+  {
+    "type": "string"
+  },
+  {
+    "type": "null"
+  }
+]

addedOutput schema / $defs / Coverage / properties / as_of / default
```
Added value: +null
```

changedOutput schema / $defs / Coverage / properties / as_of / description

Previous value: -"UTC ISO 8601"New value: +"Known source observation time; null when not recorded. Not the query time."

removedOutput schema / $defs / Coverage / properties / as_of / type
```
Removed value: -"string"
```

addedOutput schema / $defs / Coverage / properties / cache_timestamp_basis

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Cache Timestamp Basis"
+}

addedOutput schema / $defs / Coverage / properties / cache_timestamp_field

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Cache Timestamp Field"
+}

addedOutput schema / $defs / Coverage / properties / exclusions

Added value: +{
+  "items": {
+    "type": "string"
+  },
+  "title": "Exclusions",
+  "type": "array"
+}

addedOutput schema / $defs / Coverage / properties / last_attempt_at

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Last Attempt At"
+}

addedOutput schema / $defs / Coverage / properties / last_attempt_scope

Added value: +{
+  "anyOf": [
+    {
+      "additionalProperties": true,
+      "type": "object"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Last Attempt Scope"
+}

addedOutput schema / $defs / Coverage / properties / last_success_record_count

Added value: +{
+  "anyOf": [
+    {
+      "type": "integer"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Last Success Record Count"
+}

addedOutput schema / $defs / Coverage / properties / last_success_scope

Added value: +{
+  "anyOf": [
+    {
+      "additionalProperties": true,
+      "type": "object"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Last Success Scope"
+}

addedOutput schema / $defs / Coverage / properties / last_successful_ingest_at

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Last Successful Ingest At"
+}

addedOutput schema / $defs / Coverage / properties / last_successful_refresh_at

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Last Successful Refresh At"
+}

addedOutput schema / $defs / Coverage / properties / latest_cached_at

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Latest Cached At"
+}

addedOutput schema / $defs / Coverage / properties / latest_stored_fetched_at

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Latest Stored Fetched At"
+}

addedOutput schema / $defs / Coverage / properties / latest_stored_ingested_at

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Latest Stored Ingested At"
+}

addedOutput schema / $defs / Coverage / properties / oldest_cached_at

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Oldest Cached At"
+}

addedOutput schema / $defs / Coverage / properties / oldest_ingested_at

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Oldest Ingested At"
+}

addedOutput schema / $defs / Coverage / properties / pagination_note

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Pagination Note"
+}

addedOutput schema / $defs / Coverage / properties / population

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Population"
+}

addedOutput schema / $defs / Coverage / properties / population_complete

Added value: +{
+  "default": false,
+  "title": "Population Complete",
+  "type": "boolean"
+}

addedOutput schema / $defs / Coverage / properties / population_status

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Population Status"
+}

addedOutput schema / $defs / Coverage / properties / query_time

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "description": "When this stored-data query was calculated; not proof of source refresh",
+  "title": "Query Time"
+}

addedOutput schema / $defs / Coverage / properties / record_type

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Record Type"
+}

addedOutput schema / $defs / Coverage / properties / refresh_error_code

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Refresh Error Code"
+}

addedOutput schema / $defs / Coverage / properties / refresh_status

Added value: +{
+  "default": "unknown",
+  "title": "Refresh Status",
+  "type": "string"
+}

addedOutput schema / $defs / Coverage / properties / scope_note

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Scope Note"
+}

addedOutput schema / $defs / Coverage / properties / source

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Source"
+}

addedOutput schema / $defs / Coverage / properties / source_as_of

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Source As Of"
+}

addedOutput schema / $defs / Coverage / properties / source_state

Added value: +{
+  "anyOf": [
+    {
+      "enum": [
+        "matched",
+        "no_match",
+        "not_loaded",
+        "unsupported",
+        "failed_refresh",
+        "unknown"
+      ],
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Source State"
+}

addedOutput schema / $defs / Coverage / properties / source_url

Added value: +{
+  "anyOf": [
+    {
+      "type": "string"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Source Url"
+}

addedOutput schema / $defs / Coverage / properties / stored_rows

Added value: +{
+  "anyOf": [
+    {
+      "type": "integer"
+    },
+    {
+      "type": "null"
+    }
+  ],
+  "default": null,
+  "title": "Stored Rows"
+}

removedOutput schema / $defs / Coverage / required
```
Removed value: -[
-  "as_of"
-]
```

Changed1 schema field changedOct 18, 2026

addedOutput schema / $defs / QuotaBlock / properties / mode

Added value: +{
+  "default": "ordinary",
+  "enum": [
+    "ordinary",
+    "testing",
+    "review",
+    "beta"
+  ],
+  "title": "Mode",
+  "type": "string"
+}

First observedOct 14, 2026

TDQS

A3.8/5.0

Behavior5/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

Beyond the read-only annotations, the description discloses provenance (public cancellation reports), data caveats (figures as reported, verify against official records), direct source links for citation, and a detailed billing model for follow-up searches. These are meaningful behavioral traits an agent would not know from the annotations alone.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness3/5

Is the description appropriately sized, front-loaded, and free of redundancy?

The description is informative but front-loads two legal-disclaimer sentences before stating the tool's purpose, which delays clarity. The billing and verification details are useful but make the description dense, and some phrasing is repetitive.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness4/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

Given the presence of an output schema and rich annotations, the description provides enough context about data source, caveats, filtering, billing, and source links for an agent to invoke the tool responsibly. It stops short of explicitly positioning the tool relative to sibling search tools, which is the main remaining gap.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters3/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

The schema already documents agency and location as substring filters, and the description merely restates 'Filter by agency or location' without adding syntax or format guidance. The limit parameter is undocumented in both the description and schema, though its bounds are clear from the schema. With moderate schema coverage, this is adequate but not additive.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose4/5

Does the description clearly state what the tool does and how it differs from similar tools?

The description clearly states the resource: federal leases recorded as cancelled, with claimed savings, sourced from public cancellation reports. It also mentions filtering by agency or location. It does not explicitly differentiate itself from sibling tools like search_cancelled_contracts or search_cancelled_grants, which prevents a 5.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines3/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

Usage is implied by the resource and filter options, and the description adds a caution to verify figures and present as information only. However, it provides no explicit guidance on when to use this tool versus the closely related cancelled-contract or cancelled-grant search tools.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

All GovInbox tools Inspect

Try in Browser

One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

Glama MCP Gateway

Add one secure layer between your agents and this server.

Resources

Need Help?