Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Capabilities
Features and capabilities supported by this server
| Capability | Details |
|---|---|
| tools | {} |
| logging | {} |
| prompts | {} |
| resources | {
"subscribe": true,
"listChanged": true
} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| elenchus_start_session | Start a new Elenchus verification session. Collects initial context, builds dependency graph, and initializes mediator. |
| elenchus_get_context | Get current verification context including files, issues summary, and session state. |
| elenchus_submit_round | Submit the output of a verification round. Analyzes for new issues, context expansion, convergence, and mediator interventions. |
| elenchus_end_session | End the verification session with a final verdict. |
| elenchus_get_issues | Get issues from the current session with optional filtering. |
| elenchus_checkpoint | Create a checkpoint for potential rollback. |
| elenchus_rollback | Rollback session to a previous checkpoint. |
| elenchus_apply_fix | Apply a fix for an issue within the current session. Creates checkpoint, updates issue status, refreshes file context, and optionally triggers re-verification. Use this to maintain fix-verify continuity without starting new sessions. |
| elenchus_ripple_effect | Analyze ripple effect of a code change. Shows which files and functions will be affected by modifying a specific file. |
| elenchus_mediator_summary | Get mediator summary including dependency graph stats, verification coverage, and intervention history. |
| elenchus_get_role_prompt | Get detailed role prompt and guidelines for Verifier or Critic. Includes mustDo/mustNotDo rules, output templates, and checklists. |
| elenchus_role_summary | Get role enforcement summary including compliance history, average scores, violations, and current expected role. |
| elenchus_update_role_config | Update role enforcement configuration. Can enable strict mode, change minimum compliance score, or toggle role alternation requirement. |
| elenchus_start_reverification | Start a re-verification session for resolved issues. Links to a previous verification session and focuses on verifying that fixes are correct and complete. Returns focused verification context with target issues. |
| elenchus_save_baseline | Save verification baseline after a successful session. This baseline is used for differential analysis in future verifications to only check changed code. |
| elenchus_get_diff_summary | Get differential analysis summary for a project. Shows what has changed since the last verification and estimates token savings. |
| elenchus_get_project_history | Get verification history for a project including past sessions and baselines. |
| elenchus_get_cache_stats | Get cache statistics including hit rate, total entries, and token savings. |
| elenchus_clear_cache | Clear all cached verification results. Requires confirm: true. |
| elenchus_get_pipeline_status | Get current tier pipeline status including completed tiers, escalations, and token usage. |
| elenchus_escalate_tier | Manually escalate to a higher verification tier (screen → focused → exhaustive). |
| elenchus_complete_tier | Mark the current tier as complete and check for auto-escalation based on issues found. |
| elenchus_get_safeguards_status | Get quality safeguards status including periodic verification, confidence, and sampling stats. |
| elenchus_update_confidence | Update confidence scores for files based on verification method (cache, chunk, tiered, etc.). |
| elenchus_record_sampling_result | Record results from random sampling verification of a skipped file. |
| elenchus_check_convergence_allowed | Check if session convergence is allowed based on quality safeguards. |
| elenchus_set_compression_mode | Set the response compression mode for token optimization. Use "compact" for moderate savings or "minimal" for aggressive savings. |
| elenchus_get_optimization_stats | Get current token optimization statistics and recommendations. |
| elenchus_configure_optimization | Configure token optimization settings including compression, context management, and semantic caching. |
| elenchus_estimate_savings | Estimate potential token savings for a verification session. |
| elenchus_generate_roles | Generate customized Verifier/Critic role prompts based on user requirements. This is a 3-step process:
Each step returns a prompt to send to an LLM. After all 3 steps, call elenchus_set_dynamic_roles with the results. |
| elenchus_set_dynamic_roles | Set dynamically generated roles for a session. Call this after completing all 3 steps of elenchus_generate_roles. The roles will be used automatically by getRolePrompt when sessionId is provided. |
| elenchus_evaluate_convergence | Get LLM evaluation prompt for convergence quality assessment. Returns a prompt to send to an LLM. |
| elenchus_evaluate_severity | Get LLM evaluation prompt for issue severity assessment. Returns a prompt to send to an LLM. |
| elenchus_evaluate_edge_cases | Get LLM evaluation prompt for edge case coverage. Returns a prompt to send to an LLM. |
| elenchus_submit_llm_evaluation | Submit LLM evaluation response. Call this after receiving an LLM response to an evaluation prompt. |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
| verify | Run adversarial verification on target code with Verifier↔Critic loop |
| consolidate | Consolidate verification results into prioritized fix plan |
| apply | Apply consolidated fixes to codebase with verification |
| complete | Run complete pipeline: VERIFY → CONSOLIDATE → APPLY → RE-VERIFY until zero issues |
| cross-verify | Adversarial cross-verification loop for thorough validation |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |