    servers/
        security/
        runtime
  

RU

Runtime

Unverified Claim & verify → Security

Self-hosted MCP server: 26 deterministic dev, security, and EVM tools.

Try Remote Server

Overview Installation

Overview

Runtime is a Model Context Protocol server that provides 26 deterministic development, security, and EVM tools for any MCP-compatible AI assistant. These tools integrate directly into your workflows, letting the model decide when to use them during conversations or agent runs.

You can use Runtime hosted at https://mcp.formatho.com/mcp without local installation, or self-host it via Docker with docker run -i --rm docker.io/formatho/formatho-runtime:0.3.0. Version v0.3.0 requires no authentication. Both deployment options are available now.

Runtime appears under the Security category on mcp.site and works with MCP clients including Claude Desktop, Claude Code, Cursor, VS Code, Windsurf, and Zed. If you maintain Runtime, claim this listing to verify your ownership, earn the Verified badge, and keep information accurate.

▸Hosted endpoint — Streamable HTTP · https://mcp.formatho.com/mcp

▸Docker image — docker.io/formatho/formatho-runtime:0.3.0 · MCP over stdio

Installation

Settings → Connectors → Add custom connector
Name: Runtime
URL:  https://mcp.formatho.com/mcp

Related servers

PC

Pre-Trip compliance scanner

Security

Screen regulated-health marketing copy against source-cited rulesets, all 50 states.

        Added 1 month ago
    →
  

AR

Arketo

Security Remote

Draw your app's architecture on a live canvas and flag the bottlenecks and security gaps.

        Added 1 month ago
    →
  

BU

BlueNexus Universal MCP

Security Remote

Connect your AI to all your data - 200+ sources, intelligently filtered, compliance-ready.

        Added 1 month ago
    →
  

DF

Dynamic Feed

Security Remote

94 keyless tools of live, verifiable data for AI: weather, hazards, space, CVEs. Ed25519-signed.

        Added 1 month ago
    →
  

Helixar Security

Security Remote

Security tools for AI agents: scan MCP servers, validate HDP delegation chains, audit releases.

        Added 1 month ago
    →
  

IntoDNS.ai DNS & Email Security Scanner

Security Remote

DNS and email security: check SPF, DKIM, DMARC, DNSSEC, DANE and build the records. 45 tools.

          ★ 2
        Added 1 month ago
    →
  