GuardiaMCP: A Free, Offline, Test-Verified Defensive Layer for the Model Context Protocol

The Model Context Protocol (MCP) lets AI assistants such as Claude, Cursor and VS Code call external "servers" that can read local files, use the user's credentials and inject instructions into the model's context. Every server a user installs therefore expands their attack surface, yet most users install them with little scrutiny. This report presents GuardiaMCP, a free, open-source and fully offline defensive layer for MCP on Windows. GuardiaMCP combines a static scanner that inspects the MCP servers, skills and configurations already present on a machine against 93 pattern rules, and a real-time "Shield" — a transparent stdio proxy that checks every message between the AI and a local server, hiding tools that change, redacting secrets and blocking poisoned calls, recording every decision in a tamper-evident signed ledger. The tool never executes the code it analyzes, never uses the network, and keeps no account or telemetry. It is developed with a purple-team methodology, and every design guarantee is bound to an automated test. We describe the threat model, the design, the detection approach, and an honest account of what the tool does not cover.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-10-30
DOI
https://doi.org/10.5281/zenodo.23814322
Primary Topic
Security and Verification in Computing
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

GuardiaMCP: A Free, Offline, Test-Verified Defensive Layer for the Model Context Protocol

Alexander Puglisi
3 links
Zenodo (CERN European Organization for Nuclear Research)
Security and Verification in Computing
preprint

GuardiaMCP: A Free, Offline, Test-Verified Defensive Layer for the Model Context Protocol

Alexander Puglisi
preprint en

Abstract

The Model Context Protocol (MCP) lets AI assistants such as Claude, Cursor and VS Code call external "servers" that can read local files, use the user's credentials and inject instructions into the model's context. Every server a user installs therefore expands their attack surface, yet most users install them with little scrutiny. This report presents GuardiaMCP, a free, open-source and fully offline defensive layer for MCP on Windows. GuardiaMCP combines a static scanner that inspects the MCP servers, skills and configurations already present on a machine against 93 pattern rules, and a real-time "Shield" — a transparent stdio proxy that checks every message between the AI and a local server, hiding tools that change, redacting secrets and blocking poisoned calls, recording every decision in a tamper-evident signed ledger. The tool never executes the code it analyzes, never uses the network, and keeps no account or telemetry. It is developed with a purple-team methodology, and every design guarantee is bound to an automated test. We describe the threat model, the design, the detection approach, and an honest account of what the tool does not cover.

Zenodo (CERN European Organization for Nuclear Research)
Peace, justice, and strong institutions
Security and Verification in Computing
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon
GuardiaMCP: A Free, Offline, Test-Verified Defensive Layer for the Model Context Protocol — Alexander Puglisi · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS