Server definition

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

The blob, as servednamed by its sha256

{
  "instructions": "Building permits by street address for US cities, from city open data. Call list_cities first for city slugs. Cite the returned page URL.",
  "tools": [
    {
      "description": "Look up one building permit by its city permit number: work, date, status, cost and address.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "city": {
            "type": "string"
          },
          "permit_id": {
            "type": "string"
          }
        },
        "required": [
          "city",
          "permit_id"
        ],
        "type": "object"
      },
      "name": "get_permit",
      "outputSchema": null
    },
    {
      "description": "List the US cities and counties with building permit data, with each one's slug for the other tools.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {},
        "type": "object"
      },
      "name": "list_cities",
      "outputSchema": null
    },
    {
      "description": "Use when someone asks what is being built, remodeled or torn down at an address, whether a house had work done with permits, or what construction is going on next door. Returns every building permit on record at that street address in a supported city or county (Los Angeles, New York City, Chicago, San Francisco, Seattle, Austin, Cincinnati, Mesa, New Orleans, Fort Worth, Columbus, San Diego, Detroit, Nashville, Raleigh, Phoenix, San Antonio, Minneapolis, Montgomery County, Boston, Pittsburgh, Washington, Los Angeles County, Wake County): type of work, description, date, status and reported cost, from city open data refreshed several times a day.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "address": {
            "description": "Street address with house number, e.g. '867 N Iliff St'. New York: include the borough, e.g. '180 West Street, Brooklyn'.",
            "type": "string"
          },
          "city": {
            "description": "City slug, e.g. los-angeles, new-york, chicago",
            "type": "string"
          }
        },
        "required": [
          "city",
          "address"
        ],
        "type": "object"
      },
      "name": "permits_at_address",
      "outputSchema": null
    },
    {
      "description": "Use when someone asks what is being built near an address or a place: new buildings next door, construction on the block, what's permitted around a home they might buy or rent. Give a city and street address, or a latitude and longitude. Returns building permits within a radius (default 400 meters, about a quarter mile) issued since a date (default about six months back), newest first, each with distance in meters and compass direction from the point. Covers the last 24 months of city open data. counts.total is exact even when the list is capped.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "address": {
            "description": "Street address with house number, e.g. '2443 W Warren Blvd'.",
            "type": "string"
          },
          "city": {
            "description": "City slug, e.g. chicago. Needed with address; optional with lat and lon.",
            "type": "string"
          },
          "lat": {
            "description": "Latitude, used instead of city and address.",
            "type": "number"
          },
          "limit": {
            "description": "Most permits to list, default 50.",
            "maximum": 200,
            "minimum": 1,
            "type": "integer"
          },
          "lon": {
            "description": "Longitude, used instead of city and address.",
            "type": "number"
          },
          "radius_m": {
            "description": "Radius in meters, default 400.",
            "maximum": 1600,
            "minimum": 50,
            "type": "integer"
          },
          "since": {
            "description": "Earliest date, YYYY-MM-DD, or 6m, 1y, 2y. Default 6m (the first of the month five months back).",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "permits_near",
      "outputSchema": null
    },
    {
      "description": "Use when someone asks what is being built in their neighborhood or ZIP code. Returns the newest building permits in a supported city or county, optionally within one ZIP code.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {
          "city": {
            "type": "string"
          },
          "limit": {
            "maximum": 50,
            "minimum": 1,
            "type": "integer"
          },
          "zip": {
            "description": "5-digit ZIP code",
            "type": "string"
          }
        },
        "required": [
          "city"
        ],
        "type": "object"
      },
      "name": "recent_permits",
      "outputSchema": null
    }
  ]
}

Verify it yourself

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