runtime
com.formatho/runtime · version 0.3.0
Community listing. Not installed or verified by cosmic-mcp. Read the source and its permissions before you run it.
Self-hosted MCP server: 26 deterministic dev, security, and EVM tools.
Quick facts
- Listing: Verified domain
- Published Sep 12, 08:38 UTC
- Transport: stdio
- Package: oci
docker.io/formatho/formatho-runtime:0.3.0 - Listed by cosmic-mcp: Nov 8, 18:57 UTC
Details
- Remote endpoint:
https://mcp.formatho.com/mcp
Setup snippets
Generated from the registry entry. cosmic-mcp has not run or reviewed this server; values in angle brackets are yours to fill in.
Remote MCP URL (Claude and ChatGPT custom connectors)
https://mcp.formatho.com/mcpClaude Code
claude mcp add --transport http 'runtime' 'https://mcp.formatho.com/mcp'Cursor (.cursor/mcp.json)
{
"mcpServers": {
"runtime": {
"url": "https://mcp.formatho.com/mcp"
}
}
}VS Code (.vscode/mcp.json)
{
"servers": {
"runtime": {
"type": "http",
"url": "https://mcp.formatho.com/mcp"
}
}
}Run it locally (oci)
docker run -i --rm 'docker.io/formatho/formatho-runtime:0.3.0'Claude Desktop (claude_desktop_config.json)
{
"mcpServers": {
"runtime": {
"args": [
"run",
"-i",
"--rm",
"docker.io/formatho/formatho-runtime:0.3.0"
],
"command": "docker"
}
}
}Claude Code
claude mcp add 'runtime' -- docker run -i --rm 'docker.io/formatho/formatho-runtime:0.3.0'Cursor (.cursor/mcp.json)
{
"mcpServers": {
"runtime": {
"args": [
"run",
"-i",
"--rm",
"docker.io/formatho/formatho-runtime:0.3.0"
],
"command": "docker"
}
}
}VS Code (.vscode/mcp.json)
{
"servers": {
"runtime": {
"args": [
"run",
"-i",
"--rm",
"docker.io/formatho/formatho-runtime:0.3.0"
],
"command": "docker",
"type": "stdio"
}
}
}Related servers
- AgentTrust — Identity & Trust for A2A Agents Verified domain
Identity, trust, and A2A orchestration for autonomous AI agents. Official A2A partner. - 13FLOW
Source-linked SEC 13F research, quality checks, watchlists and audit trails for agents. - 1Claw Vault
HSM-backed vault secrets for AI agents (JIT fetch) plus prompt-injection and threat scanning. - 212medya Growth Check Verified domain
Audit a public website for B2B marketing readiness and AI search visibility. - 3ilm-mcp
Search 1,032 verified smart contract vulnerability findings from Sherlock audits by pattern. - 402shield
x402 payment security and pre-execution transaction risk screening for autonomous AI agents.