Coverage — HALLUX MCP Resource

Coverage is one of 2 resources on the HALLUX MCP server. Connect the server and your client can attach it as context.

by client

How to attach Coverage from your client

• Claude Code HALLUX Resource/Coverage run in your project directory
• Claude Desktop HALLUX Resource/Coverage ~/Library/Application Support/Claude/claude_desktop_config.json
• Cursor HALLUX Resource/Coverage ~/.cursor/mcp.json
• VS Code HALLUX Resource/Coverage .vscode/mcp.json
• Zed HALLUX Resource/Coverage ~/.config/zed/settings.json
• Windsurf HALLUX Resource/Coverage ~/.codeium/windsurf/mcp_config.json
• Cline HALLUX Resource/Coverage ~/Library/Application Support/Code/User/globalStorage/saoudrizwan.claude-dev/settings/cline_mcp_settings.json
• Gemini CLI HALLUX Resource/Coverage ~/.gemini/settings.json
• Grok HALLUX Resource/Coverage .mcp.json (in your project root)
• ChatGPT HALLUX Resource/Coverage Settings → Connectors → Advanced → Developer mode
• Claude.ai HALLUX Resource/Coverage Settings → Connectors → Add custom connector
• LangChain HALLUX Resource/Coverage pip install langchain-mcp-adapters

Other resources on this server

• Verdict semantics

Read from the server itself, by connecting to it and calling resources/list on 24 September 2026. A listing does not declare its resources, so asking is the only way to know them, and this is what the server actually offers rather than what its listing claims. Names only are stored; connect the server for each resource's type and contents.