coverage — ARAKEL Machine Evidence Network MCP Tool
coverage
(coverage) is one of 13 tools on the
ARAKEL Machine Evidence Network
MCP server. Connect the server and your client discovers it on the handshake.
by client
How to call coverage from your client
- Claude Code ARAKEL Machine Evidence Network coverage run in your project directory
- Claude Desktop ARAKEL Machine Evidence Network coverage ~/Library/Application Support/Claude/claude_desktop_config.json
- Cursor ARAKEL Machine Evidence Network coverage ~/.cursor/mcp.json
- VS Code ARAKEL Machine Evidence Network coverage .vscode/mcp.json
- Zed ARAKEL Machine Evidence Network coverage ~/.config/zed/settings.json
- Windsurf ARAKEL Machine Evidence Network coverage ~/.codeium/windsurf/mcp_config.json
- Cline ARAKEL Machine Evidence Network coverage ~/Library/Application Support/Code/User/globalStorage/saoudrizwan.claude-dev/settings/cline_mcp_settings.json
- Gemini CLI ARAKEL Machine Evidence Network coverage ~/.gemini/settings.json
- Grok ARAKEL Machine Evidence Network coverage .mcp.json (in your project root)
- ChatGPT ARAKEL Machine Evidence Network coverage Settings → Connectors → Advanced → Developer mode
- Claude.ai ARAKEL Machine Evidence Network coverage Settings → Connectors → Add custom connector
- LangChain ARAKEL Machine Evidence Network coverage pip install langchain-mcp-adapters
Fastest route
claude mcp add --transport http arakel https://proof.arakelproof.space/mcpOther tools on this server
This list was read from the server itself, by connecting to it and calling tools/list on 24 September 2026. It is what
the server actually exposes, not what its listing claims.
Mutating and Read-only are read off each tool's name, not its schema — a hint, not a guarantee. The registry stores tool names only; connect the server for its live schemas.