Elenchus MCP Server

# Changelog All notable changes to this project will be documented in this file. The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/), and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). ## [1.1.0] - 2026-01-17 ### Added - **MCP Sampling Automatic Verification** - New automatic verification loop using MCP Sampling - `elenchus_start_reverification` tool for re-verification sessions - `/mcp__elenchus__auto-verify` prompt for automated verification - Supports sampling-based LLM orchestration - **One-Shot Verification Modes** - Faster verification for clean code - `fast-track` mode: Early convergence, skip Critic if no issues - `single-pass` mode: Verifier only, fastest mode - `standard` mode: Full Verifier↔Critic loop (default) - **Token Optimization & Quality Safeguards** - Confidence scoring for verification quality - Periodic safeguard checks - Sampling-based quality validation - **Advanced Data Structures** - Algorithm optimization utilities - LRU Cache, Priority Queue, Trie implementations - Performance-optimized for large codebases ### Changed - **README Rewrite** - Complete rewrite following MCP best practices - Added Security section with security model documentation - Added Troubleshooting section with common issues and solutions - Added Configuration section with environment variables - Improved tool documentation format (Inputs/Returns/Example) - Added badges (Node.js, TypeScript, MCP Compatible) - Use collapsible sections for better readability - Removed unnecessary npm install guidance (npx only) - **Korean README** - Updated to match English version ### Refactored - Extracted `session-helpers.ts` for better code organization - Extracted `result-types.ts` for consistent error handling - Extracted `output-schemas.ts` for MCP output validation - Centralized configuration in `config/constants.ts` ### Fixed - Storage paths now client-agnostic (`~/.elenchus/` instead of `~/.claude/elenchus/`) ## [1.0.0] - 2025-01-16 ### Added #### Core Features - **MCP Server** for Elenchus adversarial verification system - **Session Management** with persistent storage at `~/.claude/elenchus/sessions/` - **Verifier↔Critic Loop** for adversarial code verification - **26 Standard Verification Criteria** (SEC/COR/REL/MNT/PRF) #### MCP Tools - `elenchus_start_session` - Start a new verification session - `elenchus_get_context` - Get current verification context - `elenchus_submit_round` - Submit verification round results - `elenchus_get_issues` - Query session issues with filtering - `elenchus_checkpoint` - Create checkpoint for rollback - `elenchus_rollback` - Rollback to previous checkpoint - `elenchus_end_session` - End session with final verdict - `elenchus_ripple_effect` - Analyze code change impact - `elenchus_mediator_summary` - Get mediator status - `elenchus_get_role_prompt` - Get role guidelines - `elenchus_role_summary` - Get role enforcement summary - `elenchus_update_role_config` - Update role configuration #### MCP Prompts (Slash Commands) - `/mcp__elenchus__verify` - Run adversarial verification loop - `/mcp__elenchus__consolidate` - Create prioritized fix plan - `/mcp__elenchus__apply` - Apply fixes with verification - `/mcp__elenchus__complete` - Full pipeline until zero issues - `/mcp__elenchus__cross-verify` - Adversarial cross-verification #### Advanced Features - **Mediator** - Active intervention for verification loops - Scope drift detection - Critical path monitoring - Infinite loop detection - Coverage tracking - **Role Enforcement** - Ensure Verifier/Critic role compliance - Compliance scoring - Role alternation enforcement - Guidelines and checklists ### Documentation - English and Korean README - Full API documentation for all tools - Installation guides (npm, npx, source) [1.1.0]: https://github.com/jhlee0409/elenchus-mcp/releases/tag/v1.1.0 [1.0.0]: https://github.com/jhlee0409/elenchus-mcp/releases/tag/v1.0.0