protogrid
Sign inAdd to your agent

Search / io.github.davisvillelabs/localproof

LocalProof

R0· no sign-in

Local government intelligence for AI agents.

v0.31.33 · active · website · descriptor JSON · versions

An agent can connect right now, no human step.Remote endpoint, no authentication, reachable on the last probe.
Quality75good
Trust79of 100
Uptime, 30 days95%
Latency p50439 ms

Connect

8 clients · secrets stay placeholders
{
  "mcpServers": {
    "localproof": {
      "type": "http",
      "url": "https://localproof.davisvillelabs.com/mcp"
    }
  }
}
claude mcp add --transport http localproof https://localproof.davisvillelabs.com/mcp
[mcp_servers.localproof]
url = "https://localproof.davisvillelabs.com/mcp"

{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "localproof": {
      "type": "remote",
      "url": "https://localproof.davisvillelabs.com/mcp",
      "enabled": true
    }
  }
}
{
  "mcpServers": {
    "localproof": {
      "type": "http",
      "url": "https://localproof.davisvillelabs.com/mcp"
    }
  },
  "deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=localproof&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vbG9jYWxwcm9vZi5kYXZpc3ZpbGxlbGFicy5jb20vbWNwIn0%3D"
}
{
  "servers": {
    "localproof": {
      "type": "http",
      "url": "https://localproof.davisvillelabs.com/mcp"
    }
  }
}
{
  "mcpServers": {
    "localproof": {
      "httpUrl": "https://localproof.davisvillelabs.com/mcp"
    }
  }
}
extensions:
  "localproof":
    enabled: true
    name: "localproof"
    type: streamable_http
    uri: "https://localproof.davisvillelabs.com/mcp"
    timeout: 300

Quality 75 / 100good

protocol75 · weight 25
  • warn
    protocol.modernnewest supported version is 2025-11-25; 2026-07-28 not supported, older versions are deprecated until 2027-07-28
  • n/a
    protocol.statelessonly applies to 2026-07-28 servers
  • pass
    protocol.transportstreamable HTTP
  • n/a
    protocol.list_ttlonly applies to 2026-07-28 servers
authorizationn/a · weight 15
  • n/a
    auth.prm, auth.as_metadata, auth.cimdno remote uses OAuth
  • n/a
    auth.secret_in_urlno templated URL
tool hygiene100 · weight 30
  • pass
    tools.descriptionsevery tool has a description
  • pass
    tools.description_lengthdescriptions are concise
  • pass
    tools.schemasevery tool has an object input schema
  • pass
    tools.annotations14 of 14 tools declare readOnlyHint or destructiveHint
  • pass
    tools.directory_hintsevery tool declares readOnlyHint, destructiveHint, idempotentHint and openWorldHint
  • pass
    tools.token_costabout 4,257 tokens to load every tool
  • pass
    tools.api_dumptools are not a one-to-one API dump
stability25 · weight 15
  • warn
    stability.changes36 tool changes in 30 days
  • fail
    stability.rug_pull10 tools kept their name but changed most of their description in 30 days; review before trusting them
dependenciesn/a · weight 15
  • n/a
    deps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI package

14 tools, about 4,257 tokens to load them all · tool set a26d6d239803 · tools last changed 2026-10-05 · checked 2026-10-20 13:49 UTC

Tool changes

  • localproof.build_development_due_diligencechangedannotations
  • localproof.compare_siteschangedannotations
  • localproof.build_property_intelligence_packchangedannotations
  • localproof.check_zoning_contextchangedannotations
  • localproof.check_code_enforcementchangedannotations
  • localproof.check_planning_activitychangedannotations
  • localproof.check_parcel_contextchangedannotations
  • localproof.check_permit_routingchangedannotations
  • localproof.check_permitschangedannotations
  • localproof.check_property_changeschangedannotations

Showing the latest 10. Full history: list_changes · trend: quality JSON.

Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.

Trust 79 / 100

no-repository
provenance45
liveness98
freshness100
hygiene80

+website +reachable +uptime-95% +updated-16d-ago -no-repository

Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.

Endpoints

remoteauthreachableuptime 30dp50protocollast ok
https://localproof.davisvillelabs.com/mcp streamable-httpnoneyes95%439 ms2025-11-252026-10-20

Tools (14)

localproof.build_development_due_diligencePaid $2.95 USD. Build the deepest released San Francisco development evidence package with cross-source chronology, attention items, completeness, source gaps, provenance, and repeat-poll guidance through check_property_changes. Use this for development due diligence; use build_property_intelligence_pack for a lighter current snapshot. Unsupported or held jurisdictions fail before payment.
localproof.build_property_intelligence_packPaid $0.25 USD. Build the broad released multi-source property package with completeness, source gaps, provenance, and repeat-poll guidance through check_property_changes. Use this for a comprehensive current property view; use focused check_* tools when only one evidence class is needed. Unsupported or held jurisdictions fail before payment.
localproof.check_code_enforcementPaid $0.25 USD. Reconcile released code-enforcement and complaint records for one property. Use this for enforcement evidence; use build_property_intelligence_pack for a broader package. Unsupported or held jurisdictions fail before payment.
localproof.check_parcel_contextPaid $0.06 USD. Return privacy-minimized official parcel and land-use attributes where a supported parcel source is released. Use this for parcel facts; use check_zoning_context for released zoning context or build_property_intelligence_pack for cross-source context. Unsupported or held jurisdictions fail before payment.
localproof.check_permit_routingPaid $0.25 USD. Trace released San Francisco permit review routing, departments, holds, timing, and recorded outcomes. Use this for administrative routing state; use check_permits for permit records. Unsupported or held jurisdictions fail before payment.
localproof.check_permitsPaid $0.09 USD. Reconcile current official permit records for one resolved property where permit coverage is released. Use this for permit detail; use check_permit_routing for San Francisco review routing and holds or build_property_intelligence_pack for cross-source context. Unsupported or held jurisdictions fail before payment.
localproof.check_planning_activityPaid $0.25 USD. Reconcile released planning applications and entitlement activity for one property. Use this for planning records; use check_zoning_context for current zoning context or build_property_intelligence_pack for multi-source context. Unsupported or held jurisdictions fail before payment.
localproof.check_property_changesPaid $0.03 USD. Find timestamped changes after an ISO 8601 since value across released evidence dimensions for a resolved property, currently comprehensive in San Francisco. Use this for repeat polling; use check_permits for current permit detail or build_property_intelligence_pack for a full current snapshot. Unsupported or held jurisdictions fail before payment.
localproof.check_zoning_contextPaid $0.01 USD. Return released official zoning context for a resolved property. Use this for zoning evidence, not a proposed-use or legal determination; use check_parcel_context for parcel attributes. Unsupported or held jurisdictions fail before payment.
localproof.compare_sitesPaid $0.49 USD. Compare two or three distinct candidate San Francisco sites across the same released evidence dimensions without selecting a winner. Use this for side-by-side site evidence; use build_property_intelligence_pack for one site. Unsupported or held jurisdictions fail before payment.
localproof.get_coverageread-onlyFree. Return released and held jurisdiction and operation coverage without querying property records. Use this to plan routing; use resolve_jurisdiction when you have a specific address.
localproof.get_source_catalogread-onlyFree. Return registered authoritative sources and freshness expectations for a jurisdiction. Use this to understand evidence sources; use get_source_health for current endpoint reachability.
localproof.get_source_healthread-onlyFree. Probe registered official-source reachability for a jurisdiction without returning source records. Use this for current source availability; use get_source_catalog for source identity and freshness expectations. Reachability is not completeness.
localproof.resolve_jurisdictionread-onlyFree. Resolve one address or place to a supported LocalProof jurisdiction and coverage state before deeper research. Use this when jurisdiction support is unknown; use get_coverage to inspect published coverage without resolving a property. Held or unsupported jurisdictions fail closed before paid work.

Schemas: list_tools.

Similar MCP servers

  • VerifyUK Property CheckR1
    io.github.namnam57/verifyuk-property-check

    Cited English property planning-constraint screening and batch tools for AI agents.

  • ExitProofR0quality 100
    com.davisvillelabs/exitproof

    Reversibility intelligence and durable exit evidence for AI agents before real-world commitments.

  • VITNA – Containment for rogue AI agentsR0quality 83
    xyz.costrinity/vitna-compliance-preflight

    Guard wraps stdio MCP servers: risky calls wait for a person; no answer, no run. Remote: cooperative

  • FacilityProofR0quality 83
    com.davisvillelabs/facilityproof

    Source-reconciled U.S. environmental facility compliance evidence for AI agents.

  • ai-compliance-monitorR0quality 79
    io.github.vdineshk/ai-compliance-monitor

    Regulatory intelligence for AI agents across jurisdictions

  • localecheckL0
    io.github.qinisolabs/localecheck

    Verified locale data for AI agents: dates, phone, currency, tax, holidays, addresses (UK/US)

More from io.github.davisvillelabs

  • PayeeProofR0quality 91
    io.github.davisvillelabs/payeeproof

    Payment identity intelligence for AI agents.

  • ScopeProofR0quality 86
    io.github.davisvillelabs/scopeproof

    Machine-verifiable authorization checks for autonomous AI agents.

  • AI Agent AnalyticsR0quality 79
    io.github.davisvillelabs/ai-agent-analytics

    Seller-side analytics for AI-agent discovery, settled revenue, delivery, and repeat use.

Official server.json
{
  "name": "io.github.davisvillelabs/localproof",
  "title": "LocalProof",
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "remotes": [
    {
      "url": "https://localproof.davisvillelabs.com/mcp",
      "type": "streamable-http"
    }
  ],
  "version": "0.31.33",
  "websiteUrl": "https://localproof.davisvillelabs.com",
  "description": "Local government intelligence for AI agents."
}