MCP serverio.github.mrpacstar2-oss/remit

Checked language for AI-written agent workflows: limits, cost and data flows known before running.

UNRATEDActivestreamable-http77-68-52-20.sslip.io

Overview

Score?

UNRATED 0.143

of what a free look can see, on 1 looks

Looks

last 8 hr ago

Tools

URL

77-68-52-20.sslip.io/mcp

streamable-http

Says it is

remit 0.1.0

protocol 2025-06-18

In the record since

9 hr ago

0median 0.606 · this server 0.143 · highest on record 0.8561

The tools this server lists, read out of the definition it returned
Tool	Schema
remit_authority_diff Compare two versions of a program: does the new one gain resources, higher worst-case calls or cost, new tagged data flows or new approval sites? Use this after editing a progr	input · no output
remit_check Type-check a program against a host interface (and optional policy TOML). Returns errors with locations and hints, and on success the authority manifest (resources, worst-case	input · no output
remit_examples List example apps, or return one (program, host.rmti, policy.toml) by name.	input · no output
remit_format Return the program in canonical format (comments preserved).	input · no output
remit_guide Return the quick guide (default) or the full language specification (section='spec').	input · output
remit_run_fixtures Run a checked program OFFLINE on JSON fixtures (canned capability and model outputs). Approvals are auto-granted. Returns the result and the list of calls made. No real capabil	input · no output

Verify it yourselfnpx teppi-check https://77-68-52-20.sslip.io/mcpcurl -s https://api.teppi.xyz/v1/trust/mcp/mcs_01M42QZHCBTC21ZFBV0CMMC01M