Server definition

Hash: sha256:e8d3e6790fddc56f0127d4bc171986a9c13657090d598acb2a2e3c98ce315e7b
What it is: What a remote MCP server returned when asked what it offers: 5 tools

The blob, as servednamed by its sha256

{
  "instructions": "Oracle = free, certified Oklahoma records. No API key needed. Two collections: ok_roofing_insurance (15 hand-certified facts: insurance rules, contractor licensing, building codes, carrier ratings; this is the default when `collection` is omitted) and ok_property_permits (8,484 source-certified permit records: Norman 2015-present construction permits + Oklahoma City weekly residential reroofing permits; no homeowner names). Call list_collections first for the live roster and counts.\n\nUse it for:\n1. Reroofing / construction permits: search_records {\"collection\":\"ok_property_permits\",\"city\":\"Oklahoma City\",\"q\":\"reroofing\"} (OKC weekly feed); {\"collection\":\"ok_property_permits\",\"city\":\"Norman\",\"q\":\"roofing\"} (Norman has no reroof category, so find roofing work by q=roofing or a contractor name).\n2. Contractor activity and address/street lookups: search_records {\"collection\":\"ok_property_permits\",\"q\":\"CAVINS ROOFING\"} or {\"collection\":\"ok_property_permits\",\"q\":\"W MAIN ST\"}; one permit by number: {\"collection\":\"ok_property_permits\",\"permit_number\":\"ROOF-2026-04057\"}.\n3. Oklahoma roofing/insurance rules: search_records {\"subject\":\"contractor_licensing\",\"state\":\"OK\"} or {\"q\":\"FORTIFIED\"}; poll list_changes_since {\"since\":\"2026-10-01\",\"collection\":\"ok_property_permits\"} for permits certified after that date.\nFree text goes in `q`. Filters (city, state, subject, status, tag...) are exact-match and combinable. get_record takes any record_id (OK-ROOF-... or OK-PERMIT-...).",
  "tools": [
    {
      "description": "Get one certified record by record_id, from either collection (ids are globally unique), e.g. \"OK-PERMIT-2026-04835\" (a permit) or \"OK-ROOF-2026-0003\" (an insurance/roofing fact). Includes sources and certification. To look a permit up by its permit number instead, use search_records with permit_number.",
      "inputSchema": {
        "properties": {
          "record_id": {
            "description": "e.g. \"OK-PERMIT-2026-04835\" or \"OK-ROOF-2026-0003\"",
            "type": "string"
          }
        },
        "required": [
          "record_id"
        ],
        "type": "object"
      },
      "name": "get_record",
      "outputSchema": null
    },
    {
      "description": "Get the full revision lineage for a record -- every certified record it supersedes or was superseded by, oldest first. Use after get_record or search_records to see how a rule or permit record changed over time.",
      "inputSchema": {
        "properties": {
          "record_id": {
            "description": "e.g. \"OK-ROOF-2026-0003\"",
            "type": "string"
          }
        },
        "required": [
          "record_id"
        ],
        "type": "object"
      },
      "name": "get_record_history",
      "outputSchema": null
    },
    {
      "description": "Poll for what changed since a date instead of re-pulling everything: newly certified records, superseded (old->new) pairs, and reconfirmed records. Example: {\"since\":\"2026-10-01\",\"collection\":\"ok_property_permits\"} returns permits certified after that date (new weekly Oklahoma City reroofing permits). Sources are re-checked weekly (Sundays, 00:00 UTC). Omitting `collection` scopes to ok_roofing_insurance only. Free, no API key.",
      "inputSchema": {
        "properties": {
          "city": {
            "description": "ok_property_permits only: \"Norman\" or \"Oklahoma City\" (alias jurisdiction_city accepted).",
            "type": "string"
          },
          "collection": {
            "description": "Which collection to poll; default ok_roofing_insurance.",
            "enum": [
              "ok_roofing_insurance",
              "ok_property_permits"
            ],
            "type": "string"
          },
          "county": {
            "description": "ok_property_permits only: \"Cleveland\" or \"Oklahoma\" (alias jurisdiction_county accepted).",
            "type": "string"
          },
          "since": {
            "description": "ISO 8601 date or datetime, e.g. \"2026-10-01\"",
            "type": "string"
          },
          "state": {
            "description": "Two-letter state code, e.g. \"OK\".",
            "type": "string"
          },
          "subject": {
            "description": "Exact category, same values as search_records.",
            "type": "string"
          },
          "topic": {
            "description": "Exact topic / permit type, same values as search_records.",
            "type": "string"
          }
        },
        "required": [
          "since"
        ],
        "type": "object"
      },
      "name": "list_changes_since",
      "outputSchema": null
    },
    {
      "description": "List Oracle's record collections with id, label, description, live record count, certification basis, jurisdiction scope and an example query. Call this FIRST: it shows that Oracle holds both Oklahoma insurance/roofing-regulation facts and 8,000+ Norman and Oklahoma City building/reroofing permit records. Free, no API key.",
      "inputSchema": {
        "properties": {},
        "type": "object"
      },
      "name": "list_collections",
      "outputSchema": null
    },
    {
      "description": "Search certified Oklahoma records. Find reroofing and building permits (Norman 2015-present; Oklahoma City weekly residential reroofing), contractor activity, permits by address or street, a permit by number, plus Oklahoma insurance and roofing rules (contractor licensing, building code, carrier ratings, FORTIFIED roof grants). Examples: {\"collection\":\"ok_property_permits\",\"city\":\"Oklahoma City\",\"q\":\"reroofing\"}; {\"collection\":\"ok_property_permits\",\"q\":\"CAVINS ROOFING\"}; {\"collection\":\"ok_property_permits\",\"permit_number\":\"ROOF-2026-04057\"}; {\"subject\":\"contractor_licensing\",\"state\":\"OK\"}. Free text goes in `q`; all other filters are exact-match, case-insensitive and combinable. Omitting `collection` searches ONLY ok_roofing_insurance (15 records) -- pass collection=ok_property_permits for permits (the response also points to it). Free, no API key. Call list_collections to see the roster.",
      "inputSchema": {
        "properties": {
          "carrier": {
            "description": "Insurance collection only. Exact carrier name, e.g. \"Allstate Corp.\" or \"Triangle Insurance Company\". Most records have no carrier.",
            "type": "string"
          },
          "city": {
            "description": "ok_property_permits only (CANONICAL name; `jurisdiction_city` is accepted as an alias). Exact city: \"Norman\" or \"Oklahoma City\".",
            "type": "string"
          },
          "collection": {
            "description": "Which collection to search. \"ok_property_permits\" = 8,484 Norman/Oklahoma City permit records (reroofing, construction, contractors, addresses). \"ok_roofing_insurance\" = 15 hand-certified insurance/roofing-regulation facts; this is the default when omitted.",
            "enum": [
              "ok_roofing_insurance",
              "ok_property_permits"
            ],
            "type": "string"
          },
          "county": {
            "description": "ok_property_permits only (canonical; `jurisdiction_county` accepted as an alias). \"Cleveland\" (Norman) or \"Oklahoma\" (Oklahoma City).",
            "type": "string"
          },
          "jurisdiction_city": {
            "description": "Alias of `city`; prefer `city`.",
            "type": "string"
          },
          "jurisdiction_county": {
            "description": "Alias of `county`; prefer `county`.",
            "type": "string"
          },
          "limit": {
            "description": "Max records returned (default 50, max 200).",
            "type": "integer"
          },
          "offset": {
            "description": "Skip this many matches, for paging.",
            "type": "integer"
          },
          "permit_number": {
            "description": "ok_property_permits only: exact permit number, e.g. \"ROOF-2026-04057\" (Oklahoma City) or \"PRSF202305769\" (Norman 2024+). Case-insensitive. Also shown as permit.permit_number on each record.",
            "type": "string"
          },
          "q": {
            "description": "FREE-TEXT search (case-insensitive substring). Permits: matches permit category/type, address, contractor and permit number, e.g. \"roofing\", \"CAVINS ROOFING\", \"W MAIN ST\", \"ROOF-2026-04057\". Insurance: matches summary, detail and topic, e.g. \"FORTIFIED\", \"Allstate\", \"continuing education\".",
            "type": "string"
          },
          "state": {
            "description": "Two-letter state code. All records are \"OK\".",
            "type": "string"
          },
          "status": {
            "description": "Insurance: record status, one of active, superseded, expired, proposed, rescinded (all current records are \"active\"). Permits: the permit status, e.g. \"issued\".",
            "type": "string"
          },
          "subject": {
            "description": "Exact category. Insurance collection: underwriting, claims_handling, contractor_licensing, building_code, market_conduct, regulatory_filing, insurance_industry. Permits collection: the permit category, e.g. \"Residential Reroofing\" (Oklahoma City), \"Residential\", \"Single Family\", \"Commercial Addition/Alteration\", \"Demolition\" (Norman). `category` is accepted as an alias.",
            "type": "string"
          },
          "tag": {
            "description": "Exact tag. Insurance examples: \"FORTIFIED\", \"contractor licensing\", \"agency M&A\". Permit examples: \"norman\", \"okc\", \"reroofing\", \"storm_shelter\", \"solar\", \"pool\".",
            "type": "string"
          },
          "topic": {
            "description": "Exact topic. Insurance: e.g. \"fortified_roof_program_milestone\", \"roofing_contractor_annual_renewal_requirement\". Permits: the permit type, e.g. \"Residential Reroofing Permit\".",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "search_records",
      "outputSchema": null
    }
  ]
}

Verify it yourself

curl -s https://api.teppi.xyz/v1/evidence/sha256:e8d3e6790fddc56f0127d4bc171986a9c13657090d598acb2a2e3c98ce315e7b | sha256sum