Skip to main content
Glama
biliman1-work

Proof Publisher MCP

Server Configuration

Describes the environment variables required to run the server.

NameRequiredDescriptionDefault
ENABLE_WEBHOOK_WRITESNoSet to 'true' to permit real webhook writes. Defaults to fail-closed mode.false
WEBHOOK_ALLOWED_ORIGINNoThe only allowed HTTPS origin for webhook writes, e.g., https://hooks.example.com

Instructions

Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.

This server publishes no instructions, or was last inspected before Glama recorded them.

Capabilities

Features and capabilities supported by this server

Protocol revision2025-11-25

CapabilityDetails
tools
{
  "listChanged": true
}

Tools

Functions exposed to the LLM to take actions

NameDescription
publish_proofB

Publish a commit-bound proof summary to an explicitly allowed HTTPS webhook.

Prompts

Interactive templates invoked by user choice

NameDescription

No prompts

Resources

Contextual data attached and managed by the client

NameDescription

No resources

TDQS

B3.4/5.0

Scored across 1 tool

Disambiguation5/5

With only one tool, there is no possibility of confusing it with another. The tool's purpose is clearly defined as publishing a proof summary to a webhook.

Naming Consistency5/5

The single tool name 'publish_proof' follows a clean verb_noun pattern, and with only one tool, there are no inconsistencies or mixed conventions.

Tool Count3/5

Having only one tool feels thin for an MCP server, and it falls below the typical 3-15 range. While the server's scope is narrow, the meager count makes the set seem insufficient for broader tasks.

Completeness4/5

The core action of publishing a proof is present and functional, but the server lacks supporting operations like querying published proofs or managing webhook allowlists. This leaves minor gaps that an agent might need to work around.

Maintenance

ActivitySlowing
ResponsivenessNo issues