150,000+ agents registered. Trust scores show their math.Explore →
Explorer/MCP/jhlee0409/elenchus-mcp
LOCAL

Elenchus MCP Server

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.

jhlee0409/elenchus-mcpExternal link; availability not verifiedLicenseMIT LicenseLocal-only
The Ghost
This server runs locally on your machine. We can't scan it remotely; review the source code before installing.
Time indexed (5mo)
0toolsLocal/ STDIO5moindexed
Checked Apr 18, 2026
The scanner shows
This server runs locally. We can't scan it remotely; review the source code before installing.
First indexed Apr 18, 2026
Server Profile
Tools catalogued
0
No tools reported by this server.
Hosting
Local / STDIO
Runs on your machine. Has access to your filesystem, SSH keys, and environment variables.
Registry presence
Not verified
Not yet verified by the Official MCP Registry.
Liveness
No liveness checks recorded yet.
Publisher Verification
Not listed on the Official MCP Registry.
Source repository is available for review.
jhlee0409/elenchus-mcpExternal link; availability not verified

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 →
More from jhlee0409
OpenAPI Sync MCP
High-performance MCP server for OpenAPI specifications that parses specs, diffs versions, tracks dependencies, and generates code (TypeScript, Rust, Python).
Similar servers
satring-mcp
Discover and compare L402 and x402 paid API services from satring.com. Search, filter, and rank services by price, rating, or composite score across the best curated Lightning and USDC API directory.
MCPAuthFuncapp
A secure Model Context Protocol backend service built on Azure Functions that provides authenticated access to Microsoft Graph API. It leverages Azure Active Directory and APIM to enable secure tool discovery and user context management through the OAuth On-Behalf-Of flow.
MCP JS Debugger
Enables AI assistants to debug JavaScript and TypeScript applications by connecting to Chrome DevTools Protocol-compatible debuggers, allowing them to set breakpoints, step through code, inspect variables, and evaluate expressions with full source map support.
Claude Code MCP - Agent Orchestration Platform
Orchestrates multiple Claude Code agents across iTerm2 sessions with process-level isolation, enabling collaborative AI development workflows on multiple codebases with task-based inter-agent communication and persistent state management.
App Store Connect MCP Server
Enables AI assistants to access App Store Connect data including financial metrics, subscription analytics, app performance data, and revenue insights. Provides real-time iOS app metrics through secure API integration with rate limiting and comprehensive reporting capabilities.
Remote MCP Server Authless
A serverless tool that allows deployment of authentication-free Model Context Protocol servers on Cloudflare Workers, enabling AI assistants to utilize custom tool functionalities.
Indexed from Glama · Updates nightly