Papers
arxiv:2510.22907

Language Server CLI Empowers Language Agents with Process Rewards

Published on Oct 27
· Submitted by Yifan Zhang on Oct 28
Authors:
,

Abstract

Lanser-CLI orchestrates Language Server Protocol servers for coding agents and CI, providing deterministic workflows and actionable process rewards based on verified code facts.

AI-generated summary

Large language models routinely hallucinate APIs and mislocalize edits, while language servers compute verified, IDE-grade facts about real code. We present Lanser-CLI, a CLI-first orchestration layer that pins and mediates a Language Server Protocol (LSP) server for coding agents and CI, exposing deterministic, replayable workflows. Our position is that language servers provide not only structural information (definitions, references, types, diagnostics) but also an actionable process reward: machine-checked, step-wise signals that align an agent's planning loop with program reality. In this work, Lanser-CLI contributes: (i) a robust addressing scheme beyond brittle "file:line:col" via a Selector DSL (symbolic, AST-path, and content-anchored selectors) with a principled relocation algorithm; (ii) deterministic Analysis Bundles that normalize Language Server responses and capture environment/capability metadata with stable content hashes; (iii) a safety envelope for mutating operations (rename, code actions) with preview, workspace jails, and Git-aware, transactional apply; and (iv) a process-reward functional derived from Language Server facts (diagnostic deltas, disambiguation confidence, and safe-apply checks) that is computable online and replayable offline. We formalize determinism under frozen snapshots and establish a monotonicity property for the process reward, making it suitable for process supervision and counterfactual analysis. Project Page: https://github.com/yifanzhang-pro/lanser-cli

Community

Paper submitter

Lanser-CLI: Language Server CLI Empowers Language Agents with Process Rewards

Repo: https://github.com/yifanzhang-pro/lanser-cli
Project Page: https://yifanzhang-pro.github.io/lanser-cli

LLMs guess. Language servers check. Lanser-CLI is the official implementation of Language Server CLI Empowers Language Agents with Process Rewards — a CLI-first bridge between your coding agent and an LSP (e.g., Pyright). It turns IDE-grade facts (defs, refs, types, diagnostics, safe edits) into deterministic, replayable artifacts and a process reward that tells your agent it’s actually getting somewhere.

Less “trust me bro,” more “here are the receipts.”

Sign up or log in to comment

Models citing this paper 0

No model linking this paper

Cite arxiv.org/abs/2510.22907 in a model README.md to link it from this page.

Datasets citing this paper 0

No dataset linking this paper

Cite arxiv.org/abs/2510.22907 in a dataset README.md to link it from this page.

Spaces citing this paper 0

No Space linking this paper

Cite arxiv.org/abs/2510.22907 in a Space README.md to link it from this page.

Collections including this paper 0

No Collection including this paper

Add this paper to a collection to link it from this page.