A Codex MCP server that provides low-token Java semantic navigation using source indexing and optionally JDT Language Server for enhanced symbol, references, and diagnostics.
Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.
Install from
M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.
process.env. You'll be asked to provide them before it can run.AGENT_RG_CACHE_TTL_MSJAVA_HOMEJAVA_LSP_AUTOBUILD— 设为 on 时启用 JDT LS auto build;默认关闭以降低 import 等待。JAVA_LSP_BENCH_COLUMNJAVA_LSP_BENCH_FILEJAVA_LSP_BENCH_KEEP_TEMPJAVA_LSP_BENCH_LAYOUT_PROFILEJAVA_LSP_BENCH_LINEJAVA_LSP_BENCH_MODEJAVA_LSP_BENCH_PROJECT_IDJAVA_LSP_BENCH_REPO_ROOTJAVA_LSP_BENCH_RUNSJAVA_LSP_BENCH_SCENARIOSJAVA_LSP_BENCH_SEMANTIC_POLICYJAVA_LSP_BENCH_STARTUP_REPEATSJAVA_LSP_BENCH_STATUS_WAIT_MSJAVA_LSP_BENCH_STRATEGYJAVA_LSP_BENCH_VERBOSITYJAVA_LSP_BENCH_WARM_STATEJAVA_LSP_DOCUMENT_SYMBOL_ATTEMPT_TIMEOUT_MSJAVA_LSP_DOCUMENT_SYMBOL_GLOBAL_CONCURRENCY— documentSymbol 全局并发。JAVA_LSP_DOCUMENT_SYMBOL_PER_REPO_CONCURRENCY— documentSymbol 单 repo 并发。JAVA_LSP_DOCUMENT_SYMBOL_TIMEOUT_MS— documentSymbol warm-index 等待预算。JAVA_LSP_IDLE_TTL_MS— repo 空闲后自动停止 JDT LS 的时间。JAVA_LSP_IMPORT_CONCURRENCY— 透传给 JDT LS java.maxConcurrentBuilds。JAVA_LSP_JDTLS_XMX— 覆盖 JDT LS heap,例如 2g。JAVA_LSP_LOMBOK_JAR— 指定 Lombok javaagent。JAVA_LSP_MAX_ACTIVE_REPOS— 限制同时活跃的 JDT LS repo 数。JAVA_LSP_MIN_SEMANTIC_WAIT_MSJAVA_LSP_PROGRESS_IDLE_MSJAVA_LSP_PROJECTS_JSON— 覆盖 projects.json 路径。JAVA_LSP_PROJECT_JAVA_HOME— 指定默认项目 JDK。JAVA_LSP_PROJECT_JAVA_HOME_DEMO_APPJAVA_LSP_REQUEST_TIMEOUT_MSJAVA_LSP_RG_CONCURRENCY— java_impact 内部 rg section 并行度。JAVA_LSP_SMOKE_PROJECT_IDJAVA_LSP_SMOKE_REPO_ROOTJAVA_LSP_SMOKE_STARTJAVA_LSP_TEST_REPO_ROOTJAVA_LSP_WORKTREE_CACHE_TTL_DAYS— 自动删除超过指定天数未更新的 Git worktree cache;默认 2,设为 0 关闭。JDTLS_BIN— 指定 jdtls 可执行文件。JDTLS_CACHE_TTL_MSJDTLS_DATA_DIRJDTLS_EXTRA_ARGS— 追加传给 jdtls launcher 的参数,例如额外 --jvm-arg=。JDTLS_FILEWATCH— 设为 off 可关闭 JDT LS 文件监听。JDTLS_JAVA_HOME— 指定运行 JDT LS 的 Java home。JDTLS_LOG_DIRJDTLS_REQUEST_TIMEOUT_MSLISHUEDU_ROOTSHELL[](https://m8ven.ai/mcp/lkyprogramer-codex-java-lsp-mcp-17jkc9)