LocalProof

by davisvillelabs · remote · no sign-in to list tools · v0.31.33 · published by GitHub user davisvillelabs

Local government intelligence for AI agents.

Changes · 10

Compare Registry entry

14 tools: 10 change things and 4 only read.

Scanned Oct 21, 2026

Deletes or cancels0Claude Code: deny
Can't be undone0Claude Code: ask
Changes things10Claude Code: ask: see these tools
Only reads4Claude Code: allow: see these tools

1 check matched something in the tool definitions. No finding is not a safety guarantee. How the checks work.

claude mcp add --transport http localproof https://localproof.davisvillelabs.com/mcp

Findings

Matches of fixed checks, with the text they matched.

1 warn

Warnlocalproof.compare_sites
The server marks "localproof.compare_sites" as not read-only (readOnlyHint: false), and its words say it reads.
Matched text
annotations: {"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false,"openWorldHint":true}; The name "localproof.compare_sites" says "compare": a word for reading.
What this check looks for

Tools

Open a tool for its reasons and full description. Descriptions are the publisher's own words, shown as they are.

14 tools

Changes things 10Creates or changes something that can be changed back.Claude Code: ask

localproof.build_development_due_diligencePaid $2.95 USD.Reads text others writeNo findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Paid $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.
Annotations the server declares
- readOnlyHint: false
- destructiveHint: false
- idempotentHint: false
- openWorldHint: true
localproof.build_property_intelligence_packPaid $0.25 USD.Reads text others writeNo findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Paid $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.
Annotations the server declares
- readOnlyHint: false
- destructiveHint: false
- idempotentHint: false
- openWorldHint: true
localproof.check_code_enforcementPaid $0.25 USD.Reads text others writeNo findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Paid $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.
Annotations the server declares
- readOnlyHint: false
- destructiveHint: false
- idempotentHint: false
- openWorldHint: true
localproof.check_parcel_contextPaid $0.06 USD.Reads text others writeNo findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Paid $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.
Annotations the server declares
- readOnlyHint: false
- destructiveHint: false
- idempotentHint: false
- openWorldHint: true
localproof.check_permit_routingPaid $0.25 USD.Reads text others writeNo findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Paid $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.
Annotations the server declares
- readOnlyHint: false
- destructiveHint: false
- idempotentHint: false
- openWorldHint: true
localproof.check_permitsPaid $0.09 USD.Reads text others writeNo findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Paid $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.
Annotations the server declares
- readOnlyHint: false
- destructiveHint: false
- idempotentHint: false
- openWorldHint: true
localproof.check_planning_activityPaid $0.25 USD.Reads text others writeNo findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Paid $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.
Annotations the server declares
- readOnlyHint: false
- destructiveHint: false
- idempotentHint: false
- openWorldHint: true
localproof.check_property_changesPaid $0.03 USD.Reads text others writeNo findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Paid $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.
Annotations the server declares
- readOnlyHint: false
- destructiveHint: false
- idempotentHint: false
- openWorldHint: true
localproof.check_zoning_contextPaid $0.01 USD.Reads text others writeNo findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Paid $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.
Annotations the server declares
- readOnlyHint: false
- destructiveHint: false
- idempotentHint: false
- openWorldHint: true
localproof.compare_sitesPaid $0.49 USD.Reads text others write1 finding
Why it is in this group
- The name "localproof.compare_sites" says "compare": a word for reading.
- The server marks it as not read-only (readOnlyHint: false).
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Findings
- Warn
  The server marks "localproof.compare_sites" as not read-only (readOnlyHint: false), and its words say it reads.
  Matched text
  annotations: {"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false,"openWorldHint":true}; The name "localproof.compare_sites" says "compare": a word for reading.
  What this check looks for
Description, as the server wrote it
Paid $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.
Annotations the server declares
- readOnlyHint: false
- destructiveHint: false
- idempotentHint: false
- openWorldHint: true

Only reads 4Looks things up and changes nothing.Claude Code: allow

localproof.get_coverageFree.Reads text others writeNo findings
Why it is in this group
- The name "localproof.get_coverage" says "get": a word for reading.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Free. 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.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- idempotentHint: true
- openWorldHint: true
localproof.get_source_catalogFree.Reads text others writeNo findings
Why it is in this group
- The name "localproof.get_source_catalog" says "get": a word for reading.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Free. Return registered authoritative sources and freshness expectations for a jurisdiction. Use this to understand evidence sources; use get_source_health for current endpoint reachability.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- idempotentHint: true
- openWorldHint: true
localproof.get_source_healthFree.Reads text others writeNo findings
Why it is in this group
- The name "localproof.get_source_health" says "get": a word for reading.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Free. 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.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- idempotentHint: true
- openWorldHint: true
localproof.resolve_jurisdictionFree.Reads text others writeNo findings
Why it is in this group
- The name "localproof.resolve_jurisdiction" says "resolve": a word for reading.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Free. 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.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- idempotentHint: true
- openWorldHint: true

This is not a safety rating, and no finding is not a safety guarantee. The groups and findings come from fixed checks of the tool definitions the server returned on the date shown, not from its code or what it does when called. How the checks work.

Exfil surface

Which tools read private data, which read text someone else can write, and which can send data out. One of each is a path a prompt injection can use.

No private-data, untrusted-input, outbound path in this server alone: no tool is tagged private-data or outbound.

Reads private data0: Reads files, mail, messages, databases, secrets, calendars or repositories.
Reads text others write14: Brings in text someone else can write: web pages, inbound email, messages, issues and comments.; localproof.build_development_due_diligence
localproof.build_property_intelligence_pack
localproof.check_code_enforcement
localproof.check_parcel_context
localproof.check_permit_routing
localproof.check_permits
localproof.check_planning_activity
localproof.check_property_changes
localproof.check_zoning_context
localproof.compare_sites
localproof.get_coverage
localproof.get_source_catalog
and 2 more
Can send data out0: Can carry data to people or systems: it sends, posts or publishes, or takes a recipient, channel or URL.

Other servers in the same agent add their own tools to these paths. Audit your whole setup to see them together.

Remote posture

What anyone on the internet sees at the remote endpoint: an anonymous initialize and tools/list, and the public OAuth metadata.

Looked at Oct 22, 2026, 15:19 UTC, unchanged since Oct 22, 2026. No credentials were sent and no tool was called. What is looked at.

Reachable: yes
HTTP status of an anonymous initialize: 200
tools/list served without credentials: yes
Tools that change things, listed without credentials: 10
Protocol version: 2025-06-18
WWW-Authenticate on 401: not observed
resource_metadata in WWW-Authenticate: none
RFC 9728 protected resource metadata: none
Authorization servers: none
Legacy HTTP+SSE transport: no
Dynamic client registration: not observed
Client ID metadata documents: not observed

WarnThe whole server
The endpoint served tools/list without credentials, and the list has 10 tools that change things (10 write). Whether a call also works without credentials was not tested: tools are never called.
Matched text
https://localproof.davisvillelabs.com/mcp: tools/list returned 14 tools to an anonymous client, including localproof.check_property_changes (write), localproof.check_permits (write), localproof.check_permit_routing (write), localproof.check_parcel_context (write), localproof.check_planning_activity (write) and 5 more
What this check looks for

Install

Pinned to version 0.31.33. Values in angle brackets are yours to fill in.

claude mcp add --transport http localproof https://localproof.davisvillelabs.com/mcp

Run in a terminal.

Claude Code permissions

Allow the reads, ask before a change or a way out, deny the deletes. Paste into .claude/settings.json.

.claude/settings.json

{
  "permissions": {
    "allow": [
      "mcp__localproof__localproof_resolve_jurisdiction",
      "mcp__localproof__localproof_get_coverage",
      "mcp__localproof__localproof_get_source_catalog",
      "mcp__localproof__localproof_get_source_health"
    ],
    "ask": [
      "mcp__localproof__localproof_check_property_changes",
      "mcp__localproof__localproof_check_permits",
      "mcp__localproof__localproof_check_permit_routing",
      "mcp__localproof__localproof_check_parcel_context",
      "mcp__localproof__localproof_check_planning_activity",
      "mcp__localproof__localproof_check_code_enforcement",
      "mcp__localproof__localproof_check_zoning_context",
      "mcp__localproof__localproof_build_property_intelligence_pack",
      "mcp__localproof__localproof_compare_sites",
      "mcp__localproof__localproof_build_development_due_diligence"
    ],
    "deny": []
  }
}

Tools that only read are allowed, tools that change things ask first, tools that delete or cancel are denied. A read that can send data out (it takes a URL, say) asks first too. It assumes the server is installed as localproof. Review it before you use it.

Capability tags behind 14 rules

mcp__localproof__localproof_resolve_jurisdiction untrusted-input
mcp__localproof__localproof_get_coverage untrusted-input
mcp__localproof__localproof_get_source_catalog untrusted-input
mcp__localproof__localproof_get_source_health untrusted-input
mcp__localproof__localproof_check_property_changes untrusted-input
mcp__localproof__localproof_check_permits untrusted-input
mcp__localproof__localproof_check_permit_routing untrusted-input
mcp__localproof__localproof_check_parcel_context untrusted-input
mcp__localproof__localproof_check_planning_activity untrusted-input
mcp__localproof__localproof_check_code_enforcement untrusted-input
mcp__localproof__localproof_check_zoning_context untrusted-input
mcp__localproof__localproof_build_property_intelligence_pack untrusted-input
mcp__localproof__localproof_compare_sites untrusted-input
mcp__localproof__localproof_build_development_due_diligence untrusted-input

Keep track

Get told when this server's tools change: a new tool, a new description, a new class.

https://anlyon.dev/servers/io.github.davisvillelabs/localproof/changes.xml

An Atom feed. Works in any feed reader or Slack's RSS app.

Anlyon alternative

10 of these tools change something. Run those as governed actions.

Declare what an action changes, and Anlyon puts it under a shared limit, binds every approval to the exact request, and grades the outcome. It works on any HTTPS API you can describe as an action.

Anlyon does not run, proxy or govern this MCP server. A tool your own code calls directly is not routed through Anlyon and is not governed by it.

Import an OpenAPI spec →

Compare with other servers for the same product.

Source: MCP Registry. Synced Oct 21, 2026, 18:31 UTC.

For agents: Markdown · JSON · report this listing