LocalProof
Local government intelligence for AI agents.
MCP server · by davisvillelabs
About
LocalProof is an MCP server published by davisvillelabs. Marketplaces we read that list it: 1 (Official MCP Registry). We first saw it on 2026-10-11 and have recorded no change since. As of our marketplace pass on 2026-10-13.
What it asks for
- Runs remotely
None of the marketplaces we read publishes its tools or the settings it asks for.
What it declares, asks for and runs, in full
Only install plugins from developers you trust. We list what marketplaces publish and do not test plugins.
Works with
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
A one-click link opens the client, which asks you to confirm before it adds the server.
From the marketplaces that list it and the MCP transport it declares, as each client documents them. We do not test plugins.
Connect
Commands and configs built only from what its marketplaces declare. We do not run them for you and do not test plugins.
As a remote MCP server
Built from what Official MCP Registry declares.
claude mcp add --transport http localproof https://localproof.davisvillelabs.com/mcp[mcp_servers.localproof]
url = "https://localproof.davisvillelabs.com/mcp"{
"mcpServers": {
"localproof": {
"url": "https://localproof.davisvillelabs.com/mcp"
}
}
}Where it is published
| Marketplace | Status | Version | Figures | Verified | First seen |
|---|---|---|---|---|---|
| Official MCP Registry (Open the registry record) | Listed | 0.31.33 | No figure published | Not marked |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
What changed
Nothing has moved on this plugin since we started watching it.
Similar plugins
Products whose own names, descriptions, tools and skills are closest in meaning to this one, on every marketplace we read. Closeness is ranked within this list only.
-
mcp org.ungovr/mcp
Resolve any government entity worldwide and submit service requests. Open civic data for AI agents.
-
AgentNative: Public Data, Government Datasets, Federal Statistics & Official Records
Normalized official data with provenance, aggregations, insights, free samples and agent access.
-
AgentNative: Public Data, Government Datasets, Federal Statistics & Official Records
Normalized official data with provenance, aggregations, insights, free samples and agent access.
-
Search source-linked Dallas-Fort Worth local-government records for AI agents.
-
mytown-mcp io.github.mrjakob07/mytown-mcp
US & Canadian local-government meetings, decisions & place context from official sources.
-
planning au.com.feasibly/planning
Australian planning data for ~455 councils, 7 states — clause-cited, confidence-tagged.
-
civiq io.github.civdotiq/civiq
U.S. civic data for AI agents: reps, votes, bills, finance, lobbying, cited gov sources. 47 tools.
-
Before your agent acts, find missing evidence with GovOmniAI's 50-cent assurance check.
-
Search US local-government meetings: AI summaries, transcripts, and adopted plan documents.
-
oga-mcp com.onegoodarea/oga-mcp
Sourced facts, explained scores and change alerts for every GB neighbourhood, from one API.
Similar plugins by marketplace
The same question asked of one marketplace at a time: is there an analog of this plugin there?
Has a listing on Claude Code: claude-plugins-community (5)
-
Connect Claude to Frametric Wayfinder — the charity and nonprofit intelligence platform. Search, explore, and enrich data on 400,000+ organisations across 6 countries (England…
-
Description: Architecture Studio is a Claude plugin system for architects, designers, and AEC professionals. It includes 7 autonomous agents, 36 skills, 6 rules, and 3 hooks…
-
Stop wasting tokens on things free APIs can answer instantly. A cross-platform MCP server that turns public APIs into clean, agent-ready tools.
-
Automates the preliminary investigation phase for Japanese real estate disclosure documents (重要事項説明書). Given a property address, it generates a complete due diligence checklist…
-
Reference tools for underused public healthcare data. Two Claude skills: hcris-analyst looks up nonprofit U.S. hospital reporting (CMS S-10 vs. IRS 990 Schedule H, side by side…
Has a listing on Claude Code: claude-plugins-official (5)
-
Government contracting research and capture workflows in Claude: opportunity and pipeline briefs, bid/no-bid and competitor analysis, price-to-win and proposal prep, powered by…
-
Nimble web data toolkit — search, extract, map, crawl the web and work with structured data agents
-
Search companies and contacts, enrich leads, find lookalikes, and get AI-ranked contact recommendations. Pre-built skills chain multiple ZoomInfo tools into complete B2B sales…
-
Work in your GC AI legal knowledge base from Claude: upload documents, run review playbooks, and ask questions grounded in your own files, all as you.
-
You.com agent skills for web search, research with citations, and content extraction. Guided integrations for Vercel AI SDK, Claude Agent SDK, OpenAI Agents SDK, crewAI…
Has a listing on Claude: knowledge-work-plugins (5)
-
Government contracting research and capture workflows in Claude: opportunity and pipeline briefs, bid/no-bid and competitor analysis, price-to-win and proposal prep, powered by…
-
Nimble web data toolkit — search, extract, map, crawl the web and work with structured data agents
-
Search companies and contacts, enrich leads, find lookalikes, and get AI-ranked contact recommendations. Pre-built skills chain multiple ZoomInfo tools into complete B2B sales…
-
Exa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers…
-
Work in your GC AI legal knowledge base from Claude: upload documents, run review playbooks, and ask questions grounded in your own files, all as you.
Has a listing on Codex: openai-curated (openai/plugins) (5)
-
General life-sciences research workflows with query routing, evidence synthesis, and optional parallel subagent analysis across genetics, omics, biology, chemistry, structure…
-
Bring operational data and context into the flow of your ChatGPT conversations. You can ask questions, create and update records, and analyze your data—all through conversation…
-
Answer product and business questions with data
-
Work with SharePoint using the configured Microsoft SharePoint app connector.
-
Connect Google Calendar for scheduling, availability, daily briefs, and event management.
Has a listing on Community GitHub marketplaces (5)
-
Exa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers…
-
FastMCP server for Obsidian wikilink suggestions from a pre-computed knowledge g
FastMCP server for Obsidian wikilink suggestions from a pre-computed knowledge graph (graphify…
-
agents-party io.github.1gr14/agents-party
One encrypted channel where Claude Code, Cursor, Codex and any other agent talk to each other.
-
bettermemory io.github.0Mattias/bettermemory
Memory for coding agents, checked against the filesystem and git before it is believed.
-
Atlan data catalog plugin for Claude Code. Search, explore, govern, and manage your data assets through natural language. Powered by the Atlan MCP server with semantic search…
Has a listing on Copilot CLI: github/awesome-copilot (5)
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
-
Self-configuring status briefing generator. Learns your communication style from examples, discovers your data sources, and produces draft updates for any audience on demand.
-
Comprehensive collection for building declarative agents with Model Context Protocol integration for Microsoft 365 Copilot
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
This plugin is for network operations engineers who wish to tune and publish IP geolocation feeds in RFC 8805 format. It consists of an AI Skill and an associated MCP server that…
Has a listing on Copilot CLI: github/copilot-plugins (5)
-
workiq
Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
workiq-productivity
WorkIQ productivity skills powered by the local WorkIQ CLI — read-only insights across email, meetings, calendar, Teams, SharePoint, projects, and people.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
-
Advanced Security plugin for GitHub Copilot.
Has a listing on Cursor: cursor/plugins (5)
Has a listing on Docker MCP Catalog (5)
-
An MCP server to help make U.S. Government open datasets AI-friendly.
-
Production-ready RAG service to search and retrieve data from your documents.
-
Enable fast, free real-time web search and access premium data from trusted media brands—news, financial markets, sports, entertainment, weather, and more. Build powerful AI…
-
Connector for Perplexity API, to enable real-time, web-wide research.
-
The Official Model Context Protocol (MCP) server for Kagi Search & other tools.
Has a listing on Official MCP Registry (5)
-
mcp org.ungovr/mcp
Resolve any government entity worldwide and submit service requests. Open civic data for AI agents.
-
AgentNative: Public Data, Government Datasets, Federal Statistics & Official Records
Normalized official data with provenance, aggregations, insights, free samples and agent access.
-
AgentNative: Public Data, Government Datasets, Federal Statistics & Official Records
Normalized official data with provenance, aggregations, insights, free samples and agent access.
-
Search source-linked Dallas-Fort Worth local-government records for AI agents.
-
mytown-mcp io.github.mrjakob07/mytown-mcp
US & Canadian local-government meetings, decisions & place context from official sources.
Found by meaning, not by shared code or a shared repository: similar plugins stay separate products, and this is not a review or a recommendation.
Is this your plugin?
Add it to your projects and prove you maintain it with a file in its repository, a file on your domain or a DNS record. You get alerts when a marketplace lists it, drops it, changes its verified mark or what it asks for, and its remote endpoint goes on monitoring as a web service.
Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.