SpecProof

Name: SpecProof
Author: specproof

@specproofMCP server · External

SpecProof: Search standards specs with MCP-ready precision.

Networkingv1.0.0

Freeno charge per call

One address for any MCP client. No sign-in needed on this server.

Safety · AI4%Low risk
Does · AIReads15 read · 0 act, by tool name
ConnectRemote · no sign-inStreamable HTTP
PopularityNo stars yetUpdated 1 Feb 2026
StatusAll clearAnswered Odel on 12 Oct

What it does

15 read2 other

Grouped by tool name. At most: only reads or looks up information.

What it costs

Free

Odel charges nothing per call. The publisher may charge for its own service.

Tools

17 · grouped by tool name · checked 12 Oct 2026

Read · 15Look things up

get_spec_references
get_spec_dependents
get_relationship_graph
get_spec_metadata
get_most_referenced_specs
get_series_overview
search_specifications
semantic_search
get_document_content
list_documents
get_requirements
diff_spec_versions
get_schema_definitions
get_rfc_lineage
get_database_stats

Other · 2Neither hinted nor named

generate_tests
build_cross_spec_suite

Try it in the Inspector

No README yet. What Odel knows about this module is on the right.

Similar modules

Browse Networking

MCP server: One MCP server.
Netdata
@netdata · External80,950 GitHub stars.
Real-time infrastructure monitoring with metrics, logs, alerts, and ML-based anomaly detection.
4% chance this is malicious. Assessed by AI, which can make mistakes.Only reads or looks up information. Assessed by AI, which can make mistakes.A remote server; it needs your API key.Free to use.
4% chance this is malicious. Assessed by AI, which can make mistakes.Only reads or looks up information. Assessed by AI, which can make mistakes.A remote server; it needs your API key.Free to use.
4% chance this is malicious. Assessed by AI, which can make mistakes.Only reads or looks up information. Assessed by AI, which can make mistakes.A remote server; it needs your API key.Free to use.
MCP server: One MCP server.
Kubeshark MCP
@kubeshark · External12,098 GitHub stars.
Real-time Kubernetes network traffic visibility and API analysis for HTTP, gRPC, Redis, Kafka, DNS.
4% chance this is malicious. Assessed by AI, which can make mistakes.Only reads or looks up information. Assessed by AI, which can make mistakes.Runs on your machine, installed from MCPB.Free to use.
4% chance this is malicious. Assessed by AI, which can make mistakes.Only reads or looks up information. Assessed by AI, which can make mistakes.Runs on your machine, installed from MCPB.Free to use.
4% chance this is malicious. Assessed by AI, which can make mistakes.Only reads or looks up information. Assessed by AI, which can make mistakes.Runs on your machine, installed from MCPB.Free to use.
MCP server: One MCP server.
Kubefwd
@txn2 · External4,176 GitHub stars.
Kubernetes port forwarding for local development with automatic /etc/hosts entries.
4% chance this is malicious. Assessed by AI, which can make mistakes.Can move money, run code, delete data or send messages for you. Assessed by AI, which can make mistakes.Runs on your machine, installed from MCPB.Free to use.
4% chance this is malicious. Assessed by AI, which can make mistakes.Can move money, run code, delete data or send messages for you. Assessed by AI, which can make mistakes.Runs on your machine, installed from MCPB.Free to use.
4% chance this is malicious. Assessed by AI, which can make mistakes.Can move money, run code, delete data or send messages for you. Assessed by AI, which can make mistakes.Runs on your machine, installed from MCPB.Free to use.
MCP server: One MCP server.
OpenOSINTRun by its publisher: served from their own domain, namespace checked by the registry.
@openosint · External1,750 GitHub stars.
AI-powered OSINT agent & MCP server. 21 tools: email, breach, IP, WHOIS, DNS, Shodan, GitHub & more.
11% chance this is malicious. Assessed by AI, which can make mistakes.Only reads or looks up information. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.Free to use.
11% chance this is malicious. Assessed by AI, which can make mistakes.Only reads or looks up information. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.Free to use.
11% chance this is malicious. Assessed by AI, which can make mistakes.Only reads or looks up information. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.Free to use.
MCP server: One MCP server.
UniFi Network MCP
@sirkirby · External879 GitHub stars.
Manage UniFi Network devices, clients, firewall, VLANs, VPNs, and more via MCP.
5% chance this is malicious. Assessed by AI, which can make mistakes.Creates or changes data. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.Package unifi-network-mcp was yanked by its publisher.Free to use.
5% chance this is malicious. Assessed by AI, which can make mistakes.Creates or changes data. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.Package unifi-network-mcp was yanked by its publisher.Free to use.
5% chance this is malicious. Assessed by AI, which can make mistakes.Creates or changes data. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.Package unifi-network-mcp was yanked by its publisher.Free to use.
MCP server: One MCP server.
rustunnel
@joaoh82 · External660 GitHub stars.
Give AI agents public HTTPS/TCP/UDP URLs for any localhost service. Open source, self-hostable.
6% chance this is malicious. Assessed by AI, which can make mistakes.Can move money, run code, delete data or send messages for you. Assessed by AI, which can make mistakes.Runs on your machine, installed from MCPB.Free to use.
6% chance this is malicious. Assessed by AI, which can make mistakes.Can move money, run code, delete data or send messages for you. Assessed by AI, which can make mistakes.Runs on your machine, installed from MCPB.Free to use.
6% chance this is malicious. Assessed by AI, which can make mistakes.Can move money, run code, delete data or send messages for you. Assessed by AI, which can make mistakes.Runs on your machine, installed from MCPB.Free to use.
MCP server: One MCP server.
Network Sketcher (Local MCP)
@cisco-open · External406 GitHub stars.
AI-native MCP server to design and manage Cisco network diagrams (L1/L2/L3, PPT/SVG) from LLMs.
3% chance this is malicious. Assessed by AI, which can make mistakes.Creates or changes data. Assessed by AI, which can make mistakes.Runs on your machine, installed from a package registry.Free to use.
3% chance this is malicious. Assessed by AI, which can make mistakes.Creates or changes data. Assessed by AI, which can make mistakes.Runs on your machine, installed from a package registry.Free to use.
3% chance this is malicious. Assessed by AI, which can make mistakes.Creates or changes data. Assessed by AI, which can make mistakes.Runs on your machine, installed from a package registry.Free to use.
MCP server: One MCP server.
Wireshark
@bx33661 · External301 GitHub stars.
Professional network analysis with tshark. Security audits, deep-dives, and threat detection.
5% chance this is malicious. Assessed by AI, which can make mistakes.Creates or changes data. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.2 known advisories (OSV) in its package.Free to use.
5% chance this is malicious. Assessed by AI, which can make mistakes.Creates or changes data. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.2 known advisories (OSV) in its package.Free to use.
5% chance this is malicious. Assessed by AI, which can make mistakes.Creates or changes data. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.2 known advisories (OSV) in its package.Free to use.