Eidos
Verified Safeby PundarikakshNTripathi
Overview
Eidos is an agentic MCP server that provides verified, reasoned feedback on low-level system programming tasks to AI coding agents, acting as a "Ground Truth Engine".
Installation
docker run -i --env-file .env eidosEnvironment Variables
- GEMINI_API_KEY
Security Notes
The server uses `subprocess.run` to execute system tools (compilers, sanitizers, `readelf`). Code is written to temporary files before being passed to tools, mitigating direct command injection through the code string. The README emphasizes running within a sandboxed Docker container, which is crucial for secure execution of untrusted code. The `sanitize_input` utility function is defined but not actively used in the provided source code, which is a minor oversight but not a critical vulnerability given the current `subprocess.run` pattern using lists of arguments and temporary files. No `eval` or hardcoded secrets found.
Similar Servers
mcp-server-infranodus
Integrates InfraNodus knowledge graph and text network analysis capabilities into LLM workflows and AI assistants for advanced text analysis, content gap detection, and SEO optimization.
mcp-4get
Provides LLMs with access to the 4get meta search engine for web, image, and news searches.
mcp-server-pipecd
Provides an MCP (Model Context Protocol) server to integrate PipeCD's application and deployment management capabilities with MCP clients.
mcp
The AI Endurance MCP server provides conversational access to personal training data, workouts, performance analytics, and training plan management for runners, cyclists, and triathletes through AI assistants.