Postcondition

Item: Postcondition
Rating: 74
Author: M8ven

An MCP server that checks whether the world changed after a tool call by declaring observable outcomes, verifying them with read-only verifiers, and keeping hash-chained receipts.

→ christian140903-sudo/postcondition-mcp · listed on glama

Is this your MCP?

Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.

Install from

Glama

M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.

// key findings

⚠️

Tests do not pass

Either the test suite is broken or the code regressed. Either way the published behaviour can’t be verified by the publisher’s own tests.

✅

No credential exfiltration, no sensitive file access, no obfuscation

Static analysis found nothing flowing your secrets to unexpected places.

✅

Open source with a license and README

Anyone can audit the code, the license is declared, and the publisher documents what it does.

// required environment variables

This server reads these from process.env. You'll be asked to provide them before it can run.

configPOSTCONDITION_ALLOW_PRIVATE— 1. Read [the threat model](./docs/SECURITY-MODEL.md)

configPOSTCONDITION_DB— to use a different absolute path.

// full audit trail

The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.

// improvement guidance — verified publishers only

We have 6 concrete improvements we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.

// embed badge in your README

[![M8ven Score](https://m8ven.ai/badge/mcp/christian140903-sudo-postcondition-mcp-7svc3z)](https://m8ven.ai/mcp/christian140903-sudo-postcondition-mcp-7svc3z)

commit: b3dbad8a4ef356d2809e10f5ece07f5d64cffc86

code hash: 471016c2b20c3719c3befb2fa399cc9808069d5c973c6f4de9e4ff5b295febdb

verified: 7/21/2026, 9:28:30 AM

view raw JSON →