LocalProof
Local government intelligence for AI agents.
¿Debería usar esto?
Calidad y seguridad
Hallazgos (30)
- LOWen localproof.get_source_catalog
- LOWen localproof.check_property
- LOWen localproof.check_planning_activity
- LOWen localproof.check_zoning_context
- LOWen localproof.resolve_jurisdiction
- LOWen localproof.resolve_jurisdiction
- LOWen localproof.get_coverage
- LOWen localproof.get_source_catalog
- LOWen localproof.get_source_health
- LOWen localproof.check_local_changes
Basado en el análisis automatizado de las definiciones de herramientas y el cumplimiento del protocolo.
Costo de contexto
Este es el número aproximado de tokens que se consumen cada vez que las herramientas del servidor se cargan en el contexto de un modelo. Los recuentos más altos reducen la atención disponible para otras tareas.
Instalar
Instalación con un clic
Agrega esto a tu archivo `claude_desktop_config.json`:
{
"mcpServers": {
"localproof": {
"url": "https://localproof.davisvillelabs.com/mcp"
}
}
}Puntos de conexión remotos
https://localproof.davisvillelabs.com/mcpstreamable-httpQué puede hacer
Inventario de herramientas
Herramientas (16)
🟢localproof.resolve_jurisdiction(address, city, state, unit)
Free. Resolve an address or place to a LocalProof jurisdiction and coverage state.
Esquema de entrada
{
"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
}Esquema de salida
{
"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.
Esquema de entrada
{
"type": "object",
"properties": {
"jurisdiction_id": {
"type": "string",
"maxLength": 100
},
"city": {
"type": "string",
"maxLength": 100
},
"state": {
"type": "string",
"maxLength": 40
}
},
"additionalProperties": false
}Esquema de salida
{
"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.
Esquema de entrada
{
"type": "object",
"properties": {
"jurisdiction_id": {
"type": "string",
"maxLength": 100
},
"city": {
"type": "string",
"maxLength": 100
},
"state": {
"type": "string",
"maxLength": 40
}
},
"additionalProperties": false
}Esquema de salida
{
"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.
Esquema de entrada
{
"type": "object",
"properties": {
"jurisdiction_id": {
"type": "string",
"maxLength": 100
},
"city": {
"type": "string",
"maxLength": 100
},
"state": {
"type": "string",
"maxLength": 40
}
},
"additionalProperties": false
}Esquema de salida
{
"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.
Esquema de entrada
{
"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
}Esquema de salida
{
"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.
Esquema de entrada
{
"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
}Esquema de salida
{
"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.
Esquema de entrada
{
"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
}Esquema de salida
{
"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.
Esquema de entrada
{
"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
}Esquema de salida
{
"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.
Esquema de entrada
{
"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
}Esquema de salida
{
"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.
Esquema de entrada
{
"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
}Esquema de salida
{
"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.
Esquema de entrada
{
"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
}Esquema de salida
{
"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.
Esquema de entrada
{
"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
}Esquema de salida
{
"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.
Esquema de entrada
{
"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
}Esquema de salida
{
"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.
Esquema de entrada
{
"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
}Esquema de salida
{
"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.
Esquema de entrada
{
"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
}Esquema de salida
{
"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.
Esquema de entrada
{
"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
}Esquema de salida
{
"type": "object",
"description": "Structured LocalProof result for localproof.development_due_diligence.",
"additionalProperties": true
}Comunidad
Evidencia