MCP Radar
Serveur MCP

remit

io.github.mrpacstar2-oss/remit
Outils développeur Sécurité Public et accessible MCP 2025-11-25

Ce que fait ce MCP

Type-checks agent workflow programs against host interfaces and policies, compares authority changes, and runs checked programs offline on fixtures.

Capacités

Outils

6 outils
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 program.
Schéma d’entrée 
{'type': 'object', 'title': 'tool_authority_diffArguments', 'required': ['old_program', 'new_program', 'host'], 'properties': {'host': {'type': 'string', 'title': 'Host'}, 'new_program': {'type': 'string', 'title': 'New Program'}, 'old_program': {'type': 'string', 'title': 'Old Program'}}}
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 calls and cost, approval sites, flows).
Schéma d’entrée 
{'type': 'object', 'title': 'tool_checkArguments', 'required': ['program', 'host'], 'properties': {'host': {'type': 'string', 'title': 'Host'}, 'policy': {'anyOf': [{'type': 'string'}, {'type': 'null'}], 'title': 'Policy', 'default': None}, 'program': {'type': 'string', 'title': 'Program'}}}
remit_examples
List example apps, or return one (program, host.rmti, policy.toml) by name.
Schéma d’entrée 
{'type': 'object', 'title': 'tool_examplesArguments', 'properties': {'name': {'anyOf': [{'type': 'string'}, {'type': 'null'}], 'title': 'Name', 'default': None}}}
remit_format
Return the program in canonical format (comments preserved).
Schéma d’entrée 
{'type': 'object', 'title': 'tool_formatArguments', 'required': ['program'], 'properties': {'program': {'type': 'string', 'title': 'Program'}}}
remit_guide
Return the quick guide (default) or the full language specification (section='spec').
Schéma d’entrée 
{'type': 'object', 'title': 'tool_guideArguments', 'properties': {'section': {'type': 'string', 'title': 'Section', 'default': 'guide'}}}
Schéma de sortie 
{'type': 'object', 'title': 'tool_guideOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
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 capability is ever invoked.
Schéma d’entrée 
{'type': 'object', 'title': 'tool_run_fixturesArguments', 'required': ['program', 'host', 'fixtures'], 'properties': {'host': {'type': 'string', 'title': 'Host'}, 'inputs': {'type': 'string', 'title': 'Inputs', 'default': '{}'}, 'policy': {'anyOf': [{'type': 'string'}, {'type': 'null'}], 'title': 'Policy', 'default': None}, 'program': {'type': 'string', 'title': 'Program'}, 'fixtures': {'type': 'string', 'title': 'Fixtures'}}}
Historique

Modifications récentes des outils

Ajouté
remit_run_fixtures
4 October 2026 02:40
Ajouté
remit_examples
4 October 2026 02:40
Ajouté
remit_authority_diff
4 October 2026 02:40
Ajouté
remit_format
4 October 2026 02:40
Ajouté
remit_check
4 October 2026 02:40
Ajouté
remit_guide
4 October 2026 02:40
Découvrir

Serveurs MCP similaires

hyperion

com.thetempleofdoom.hyperion/hyperion

Acts as a paid MCP tool marketplace and utility gateway with server discovery, HTTP and JavaScript tools, research, data conversi…

Vee3

io.github.Vee3io/vee3

Manages Clerk authentication infrastructure, including users, organizations, domains, sessions, tokens, OAuth, SSO, machines, per…

IA-QA — 130+ QA & Dev Tools for AI Agents

io.github.JcJamet/ia-qa-toolbox

Provides deterministic QA, evaluation, testing, code analysis, prompt and RAG checks, model comparison, and web security diagnost…

validoria-mcp

com.validoria/validoria-mcp

Runs continuous website, API, and webshop tests covering security, SEO, performance, accessibility, browser journeys, and inciden…

HubVibe: Pay-per-Call Tools for AI Agents: Web Search, Email Verify, KYC, Stocks, Crypto, News, Data

io.github.Its-fortunatefolly/hubvibe

Offers paid utilities for web audits, HTTP fetching and extraction, BigQuery analysis, LLM processing, code execution, blockchain…

developer-tools

net.programmes/developer-tools

Provides general-purpose developer utilities for encoding, hashing, encryption, JSON, HTML, CSS, networking, and related data tra…

Qiniso

io.github.qinisolabs/qiniso

Provides deterministic formatting, parsing, holiday and tax lookups, address handling, and checksum or structure validation for i…

ContrastAPI

com.contrastcyber/api

Provides security research and assessment tools covering CVEs, IOCs, dependencies, secrets, injection risks, HTTP headers, domain…