Back to Home
PundarikakshNTripathi icon

Eidos

Verified Safe

by 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

Run Command
docker run -i --env-file .env eidos

Environment 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

Stats

Interest Score0
Security Score8
Cost ClassHigh
Avg Tokens20000
Stars0
Forks0
Last Update2025-11-30

Tags

AgenticMCP ServerCode AnalysisSystems ProgrammingLLM-powered