LocalProof

Local government intelligence for AI agents.

使うべきか

品質と安全性

B
説明の品質
93%
スキーマの完全性
78%
命名の品質
37%
ポイズニングのリスク
100%
権限の一致
100%
プロトコルへの準拠
100%

検出事項(30)

  • LOWTool 'localproof.get_source_catalog' description lacks action verblocalproof.get_source_catalog 内
  • LOWTool 'localproof.check_property' description lacks action verblocalproof.check_property 内
  • LOWTool 'localproof.check_planning_activity' description lacks action verblocalproof.check_planning_activity 内
  • LOWTool 'localproof.check_zoning_context' description lacks action verblocalproof.check_zoning_context 内
  • LOWTool 'localproof.resolve_jurisdiction' doesn't follow camelCase/snake_caselocalproof.resolve_jurisdiction 内
  • LOWTool 'localproof.resolve_jurisdiction' name length outside 3-30 rangelocalproof.resolve_jurisdiction 内
  • LOWTool 'localproof.get_coverage' doesn't follow camelCase/snake_caselocalproof.get_coverage 内
  • LOWTool 'localproof.get_source_catalog' doesn't follow camelCase/snake_caselocalproof.get_source_catalog 内
  • LOWTool 'localproof.get_source_health' doesn't follow camelCase/snake_caselocalproof.get_source_health 内
  • LOWTool 'localproof.check_local_changes' doesn't follow camelCase/snake_caselocalproof.check_local_changes 内

ツール定義とプロトコルへの準拠に関する自動分析に基づいています。

コンテキストコスト

~2,631トークン数(ツール定義)
~1.2 KB一般的なレスポンスサイズ
注意への影響は大きい(128k コンテキストの 2.06%)

これは、サーバーのツールがモデルのコンテキストに読み込まれるたびに消費されるおおよそのトークン数です。数が多いほど、ほかのタスクに使える注意が減ります。

インストール

ワンクリックインストール

これを `claude_desktop_config.json` ファイルに追加してください:

{
  "mcpServers": {
    "localproof": {
      "url": "https://localproof.davisvillelabs.com/mcp"
    }
  }
}

リモートエンドポイント

https://localproof.davisvillelabs.com/mcpstreamable-http

できること

ツール一覧

ツール(16)

🟢 読み取り専用🟡 書き込み🔴 削除⚪ 不明
🟢localproof.resolve_jurisdiction(address, city, state, unit)

Free. Resolve an address or place to a LocalProof jurisdiction and coverage state.

入力スキーマ

{
  "type": "object",
  "properties": {
    "address": {
      "type": "string",
      "minLength": 3,
      "maxLength": 300
    },
    "city": {
      "type": "string",
      "maxLength": 100
    },
    "state": {
      "type": "string",
      "maxLength": 40
    },
    "unit": {
      "type": "string",
      "maxLength": 50
    }
  },
  "required": [
    "address"
  ],
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.resolve_jurisdiction.",
  "additionalProperties": true
}
🟢localproof.get_coverage(jurisdiction_id, city, state)

Free. Return jurisdiction and source coverage without running paid research.

入力スキーマ

{
  "type": "object",
  "properties": {
    "jurisdiction_id": {
      "type": "string",
      "maxLength": 100
    },
    "city": {
      "type": "string",
      "maxLength": 100
    },
    "state": {
      "type": "string",
      "maxLength": 40
    }
  },
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.get_coverage.",
  "additionalProperties": true
}
🟢localproof.get_source_catalog(jurisdiction_id, city, state)

Free. Return authoritative public sources and freshness expectations for a jurisdiction.

入力スキーマ

{
  "type": "object",
  "properties": {
    "jurisdiction_id": {
      "type": "string",
      "maxLength": 100
    },
    "city": {
      "type": "string",
      "maxLength": 100
    },
    "state": {
      "type": "string",
      "maxLength": 40
    }
  },
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.get_source_catalog.",
  "additionalProperties": true
}
🟢localproof.get_source_health(jurisdiction_id, city, state)

Free. Probe the currently registered official sources for a jurisdiction and report reachability without returning source records.

入力スキーマ

{
  "type": "object",
  "properties": {
    "jurisdiction_id": {
      "type": "string",
      "maxLength": 100
    },
    "city": {
      "type": "string",
      "maxLength": 100
    },
    "state": {
      "type": "string",
      "maxLength": 40
    }
  },
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.get_source_health.",
  "additionalProperties": true
}
🟢localproof.check_local_changes(address, city, state, unit, since)

Paid $0.05 USD. Find material local permit-record changes for a resolved property since a caller-supplied timestamp.

入力スキーマ

{
  "type": "object",
  "properties": {
    "address": {
      "type": "string",
      "minLength": 3,
      "maxLength": 300
    },
    "city": {
      "type": "string",
      "maxLength": 100
    },
    "state": {
      "type": "string",
      "maxLength": 40
    },
    "unit": {
      "type": "string",
      "maxLength": 50
    },
    "since": {
      "type": "string",
      "format": "date-time"
    }
  },
  "required": [
    "address",
    "since"
  ],
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.check_local_changes.",
  "additionalProperties": true
}
🟢localproof.check_property_changes(address, city, state, unit, since)

Paid $0.25 USD. Find timestamped changes across released San Francisco permit, planning, enforcement, and permit-routing records for a resolved property since a caller-supplied timestamp, with deterministic change fingerprints, source-snapshot digests, per-source observational summaries, explicit timestamp semantics, source gaps, and a machine-readable next monitoring handoff.

入力スキーマ

{
  "type": "object",
  "properties": {
    "address": {
      "type": "string",
      "minLength": 3,
      "maxLength": 300
    },
    "city": {
      "type": "string",
      "maxLength": 100
    },
    "state": {
      "type": "string",
      "maxLength": 40
    },
    "unit": {
      "type": "string",
      "maxLength": 50
    },
    "since": {
      "type": "string",
      "format": "date-time"
    }
  },
  "required": [
    "address",
    "since"
  ],
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.check_property_changes.",
  "additionalProperties": true
}
🟢localproof.check_permits(address, city, state, unit)

Paid $0.10 USD. Reconcile current official permit records for a resolved property.

入力スキーマ

{
  "type": "object",
  "properties": {
    "address": {
      "type": "string",
      "minLength": 3,
      "maxLength": 300
    },
    "city": {
      "type": "string",
      "maxLength": 100
    },
    "state": {
      "type": "string",
      "maxLength": 40
    },
    "unit": {
      "type": "string",
      "maxLength": 50
    }
  },
  "required": [
    "address"
  ],
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.check_permits.",
  "additionalProperties": true
}
🟢localproof.check_permit_routing(address, city, state, unit)

Paid $0.25 USD. Trace official San Francisco building-permit review routing, departments, holds, timing, and recorded review results for a resolved property.

入力スキーマ

{
  "type": "object",
  "properties": {
    "address": {
      "type": "string",
      "minLength": 3,
      "maxLength": 300
    },
    "city": {
      "type": "string",
      "maxLength": 100
    },
    "state": {
      "type": "string",
      "maxLength": 40
    },
    "unit": {
      "type": "string",
      "maxLength": 50
    }
  },
  "required": [
    "address"
  ],
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.check_permit_routing.",
  "additionalProperties": true
}
🟢localproof.check_property(address, city, state, unit)

Paid $0.25 USD. Resolve a property and return a source-backed local-government context snapshot.

入力スキーマ

{
  "type": "object",
  "properties": {
    "address": {
      "type": "string",
      "minLength": 3,
      "maxLength": 300
    },
    "city": {
      "type": "string",
      "maxLength": 100
    },
    "state": {
      "type": "string",
      "maxLength": 40
    },
    "unit": {
      "type": "string",
      "maxLength": 50
    }
  },
  "required": [
    "address"
  ],
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.check_property.",
  "additionalProperties": true
}
🟢localproof.check_parcel_context(address, city, state, unit)

Paid $0.10 USD. Return a privacy-minimized official parcel context record, including released land-use, physical-property, zoning, and assessor attributes for jurisdictions with a supported parcel source.

入力スキーマ

{
  "type": "object",
  "properties": {
    "address": {
      "type": "string",
      "minLength": 3,
      "maxLength": 300
    },
    "city": {
      "type": "string",
      "maxLength": 100
    },
    "state": {
      "type": "string",
      "maxLength": 40
    },
    "unit": {
      "type": "string",
      "maxLength": 50
    }
  },
  "required": [
    "address"
  ],
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.check_parcel_context.",
  "additionalProperties": true
}
🟢localproof.check_planning_activity(address, city, state, unit)

Paid $0.25 USD. Reconcile planning applications and entitlement activity for a property.

入力スキーマ

{
  "type": "object",
  "properties": {
    "address": {
      "type": "string",
      "minLength": 3,
      "maxLength": 300
    },
    "city": {
      "type": "string",
      "maxLength": 100
    },
    "state": {
      "type": "string",
      "maxLength": 40
    },
    "unit": {
      "type": "string",
      "maxLength": 50
    }
  },
  "required": [
    "address"
  ],
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.check_planning_activity.",
  "additionalProperties": true
}
🟢localproof.check_code_enforcement(address, city, state, unit)

Paid $0.25 USD. Reconcile available code-enforcement and complaint records for a property.

入力スキーマ

{
  "type": "object",
  "properties": {
    "address": {
      "type": "string",
      "minLength": 3,
      "maxLength": 300
    },
    "city": {
      "type": "string",
      "maxLength": 100
    },
    "state": {
      "type": "string",
      "maxLength": 40
    },
    "unit": {
      "type": "string",
      "maxLength": 50
    }
  },
  "required": [
    "address"
  ],
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.check_code_enforcement.",
  "additionalProperties": true
}
🟢localproof.check_zoning_context(address, city, state, unit)

Paid $0.25 USD. Resolve official San Francisco zoning and height-district context for a property point, with Planning Department source provenance and boundary limitations.

入力スキーマ

{
  "type": "object",
  "properties": {
    "address": {
      "type": "string",
      "minLength": 3,
      "maxLength": 300
    },
    "city": {
      "type": "string",
      "maxLength": 100
    },
    "state": {
      "type": "string",
      "maxLength": 40
    },
    "unit": {
      "type": "string",
      "maxLength": 50
    }
  },
  "required": [
    "address"
  ],
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.check_zoning_context.",
  "additionalProperties": true
}
🟢localproof.property_intelligence_pack(address, city, state, unit)

Paid $1.00 USD. Create a reconciled multi-source property intelligence package with explicit completeness, source gaps, official-source provenance manifest, machine-readable continuation calls, and a follow-up property-change monitoring handoff.

入力スキーマ

{
  "type": "object",
  "properties": {
    "address": {
      "type": "string",
      "minLength": 3,
      "maxLength": 300
    },
    "city": {
      "type": "string",
      "maxLength": 100
    },
    "state": {
      "type": "string",
      "maxLength": 40
    },
    "unit": {
      "type": "string",
      "maxLength": 50
    }
  },
  "required": [
    "address"
  ],
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.property_intelligence_pack.",
  "additionalProperties": true
}
🟢localproof.site_selection_compare(sites)

Paid $2.50 USD. Compare two or three candidate San Francisco sites across the same released permit, planning, enforcement, and zoning evidence dimensions, with bounded evidence highlights, completeness metadata, source gaps, official-source provenance manifests, and machine-readable drilldowns, without selecting a winner.

入力スキーマ

{
  "type": "object",
  "properties": {
    "sites": {
      "type": "array",
      "minItems": 2,
      "maxItems": 3,
      "items": {
        "type": "object",
        "required": [
          "address"
        ],
        "additionalProperties": false,
        "properties": {
          "label": {
            "type": "string",
            "maxLength": 80
          },
          "address": {
            "type": "string",
            "minLength": 3,
            "maxLength": 300
          },
          "city": {
            "type": "string",
            "maxLength": 100
          },
          "state": {
            "type": "string",
            "maxLength": 40
          },
          "unit": {
            "type": "string",
            "maxLength": 50
          }
        }
      }
    }
  },
  "required": [
    "sites"
  ],
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.site_selection_compare.",
  "additionalProperties": true
}
🟢localproof.development_due_diligence(address, city, state, unit)

Paid $5.00 USD. Build an expanded San Francisco development due-diligence evidence package with cross-source chronology, administrative attention items, explicit completeness and source gaps, official-source provenance manifest, machine-readable continuation calls, a follow-up property-change monitoring handoff, and interpretation boundaries.

入力スキーマ

{
  "type": "object",
  "properties": {
    "address": {
      "type": "string",
      "minLength": 3,
      "maxLength": 300
    },
    "city": {
      "type": "string",
      "maxLength": 100
    },
    "state": {
      "type": "string",
      "maxLength": 40
    },
    "unit": {
      "type": "string",
      "maxLength": 50
    }
  },
  "required": [
    "address"
  ],
  "additionalProperties": false
}

出力スキーマ

{
  "type": "object",
  "description": "Structured LocalProof result for localproof.development_due_diligence.",
  "additionalProperties": true
}

コミュニティ

このサーバーを評価する

エビデンス

最近の観測

検証済みバージョンは記録されていませんツール 16 件