An MCP server that extends AI coding assistants with deterministic, algorithmic capabilities such as code analysis, fault localization, and formal verification, enabling an autonomous engineering team within the IDE.
Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.
Install from
M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.
process.env. You'll be asked to provide them before it can run.GITHUB_TOKENSWARM_LITE_MODEPOSTGRES_URLGEMINI_API_KEYOPENAI_API_KEYSWARM_TRACE_PROMPTSLOCAL_LLM_URLEMBEDDING_PROVIDERLOCAL_EMBED_MODELSWARM_SESSION_IDSWARM_AGENT_IDORCHESTRATOR_MODESWARM_STRICT_GITSWARM_SBFL_ENABLEDSWARM_VERBOSE_TELEMETRY— export =trueSWARM_DEBUG— export =trueSWARM_STRICT_TOOLSIS_DOCKERGATEWAY_PORTSWARM_INTERNAL_TOOLSMCP_HOSTMCP_PORT[](https://m8ven.ai/mcp/of-arte-swarm-orchestrator-mcp-deprecated-670ibx)