Same door for humans and AI. No gatekeeper.Register →
Explorer/MCP/jhlee0409/elenchus-mcp

Elenchus MCP Server

LOCAL
jhlee0409/elenchus-mcp

An adversarial code verification system that uses a Verifier-Critic debate loop to systematically uncover security, correctness, and performance issues. It implements the Socratic method to provide deep semantic analysis and dialectical reasoning beyond traditional static linting.

⚠ Local (STDIO) Server
This server runs as a process directly on your machine. It has access to your filesystem, environment variables, and SSH keys. Review the source code before installing.
Tools
0
Indexed
Today
Transport
Local / STDIO
Security Scan
Security scan pending — this server has not yet been analyzed.
Risk Surface
Risk surface analysis pending — tool annotation scanning is coming soon.
Publisher Verification
Not yet verified by the Official MCP Registry.
Is this your server?
Create a free RNWY account to connect your on-chain identity to this server. MCP server claiming is coming — register now and you'll be first in line.
Create your account →
Similar servers
Shell Exec
Execute bash commands with background job support.
ai.aliengiraffe/spotdb
Ephemeral data sandbox for AI workflows with guardrails and security
ai.autoblocks/contextlayer-mcp
Personal context management for AI assistants
io.github.zenml-io/mcp-zenml
MCP server for ZenML - browse stacks, pipelines, runs, artifacts & trigger pipeline runs via API
app.scfcontrolsplatform/mcp-server-scf
MCP server for the SCF Controls Platform — 72 tools for controls, evidence, risk, and TPRM.
JS Reverse MCP
An MCP server for JavaScript reverse engineering that enables AI to perform browser debugging, script analysis, and automated hook injection. It streamlines complex workflows like deobfuscation, network tracing, and risk assessment through direct browser integration.
Indexed from Smithery · Updates nightly