Proof Publisher MCP

Proof Publisher MCP

This MCP server publishes commit-bound proof summaries to a specified HTTPS webhook, featuring fail-closed writes and a clear authority boundary for safe external actions.

Category
Visit Server

README

Proof Publisher MCP

A deliberately small TypeScript MCP server that publishes commit-bound proof summaries to an HTTPS webhook. The project exists to make one consequential external write easy to inspect, test, and place behind an authority boundary.

Consequential boundary

The publish_proof MCP tool calls ProofPublishingService.publish(). The service validates and normalizes the exact target, repository, full commit SHA, and summary, then calls ProofPublisher.send(action). The live implementation's only external write is the fetch() POST inside HttpWebhookProofPublisher.send().

MCP publish_proof
  -> normalize exact action + SHA-256 fingerprint
  -> ProofPublisher.send(action)       <-- authority seam
  -> fetch(allowed HTTPS origin)        <-- consequential provider call

Writes fail closed unless ENABLE_WEBHOOK_WRITES=true, and even then the target must match WEBHOOK_ALLOWED_ORIGIN. Tests inject a recording provider; they do not make network calls.

Run the checks

npm install
npm run ci

Run the MCP server

Read-only/fail-closed mode is the default:

npm run build
npm start

To permit a real webhook write, an operator must explicitly configure both the write switch and the only allowed origin:

ENABLE_WEBHOOK_WRITES=true \
WEBHOOK_ALLOWED_ORIGIN=https://hooks.example.com \
npm start

No credentials are stored in this repository. The project is intentionally small so future approval logic can bind to the normalized action immediately before the provider runs, without moving validation or external I/O into the authority layer.

Recommended Servers

playwright-mcp

playwright-mcp

A Model Context Protocol server that enables LLMs to interact with web pages through structured accessibility snapshots without requiring vision models or screenshots.

Official
Featured
TypeScript
Magic Component Platform (MCP)

Magic Component Platform (MCP)

An AI-powered tool that generates modern UI components from natural language descriptions, integrating with popular IDEs to streamline UI development workflow.

Official
Featured
Local
TypeScript
Audiense Insights MCP Server

Audiense Insights MCP Server

Enables interaction with Audiense Insights accounts via the Model Context Protocol, facilitating the extraction and analysis of marketing insights and audience data including demographics, behavior, and influencer engagement.

Official
Featured
Local
TypeScript
VeyraX MCP

VeyraX MCP

Single MCP tool to connect all your favorite tools: Gmail, Calendar and 40 more.

Official
Featured
Local
graphlit-mcp-server

graphlit-mcp-server

The Model Context Protocol (MCP) Server enables integration between MCP clients and the Graphlit service. Ingest anything from Slack to Gmail to podcast feeds, in addition to web crawling, into a Graphlit project - and then retrieve relevant contents from the MCP client.

Official
Featured
TypeScript
Kagi MCP Server

Kagi MCP Server

An MCP server that integrates Kagi search capabilities with Claude AI, enabling Claude to perform real-time web searches when answering questions that require up-to-date information.

Official
Featured
Python
E2B

E2B

Using MCP to run code via e2b.

Official
Featured
Neon Database

Neon Database

MCP server for interacting with Neon Management API and databases

Official
Featured
Exa Search

Exa Search

A Model Context Protocol (MCP) server lets AI assistants like Claude use the Exa AI Search API for web searches. This setup allows AI models to get real-time web information in a safe and controlled way.

Official
Featured
Qdrant Server

Qdrant Server

This repository is an example of how to create a MCP server for Qdrant, a vector search engine.

Official
Featured