Top Repos· Jev-Based· Harness· Last updated

AC40 / autolsp

“A VS Code extension that asks TypeSafe Jev to rank the completions your installed language extensions already provide. It uses the current file around the cursor, recent edits, and optional excerpts from other open f”

Jev-Based rank #222In Harness #78

TL;DR

AC40/autolsp showed up as Jev / System One related work: Verified TypeSafe Jev / System One work — Jev or System One is the core idea.

The author describes it as: “A VS Code extension that asks TypeSafe Jev to rank the completions your installed language extensions already provide. It uses the current file around the cursor, recent edits, and optional excerpts from other open f” That is their claim, not a bench this site ran.

Who it’s for

What’s inside

Top-level entries on GitHub at generation time: .env.example, .github, .gitignore, .vscode, .vscodeignore, CHANGELOG.md, LICENSE, README.md, autolsp.schema.json, core, extension, package-lock.json, package.json, scripts. Read those before you trust a one-line install.

How to use

  1. Clone and follow the author’s TypeScript toolchain. Do not invent a package name.
git clone https://github.com/AC40/autolsp.git
cd autolsp
  1. If the project calls hosted Jev, you still need a TypeSafe console key or a documented gateway.
  2. Send a complete state and typed questions. Code owns control flow after the probabilities.

Hosted Jev still looks like a function call — wrapper or not:

{
  model: "jev-1.13.0",
  state: { source: "AC40/autolsp", brief: "..." },
  questions: {
    gate: { type: "noul", instructions: "Should we act on this state?" },
    route: { type: "choice", instructions: "Pick one next system.", criteria: ["code", "review", "human"] },
  },
}

Try this

Put Jev on one real brief

Wire AC40/autolsp so one real state (ticket, diff, or utterance) becomes a Choice plus a Noul. Do not ask Jev to write the user-facing reply.

Schema-safe ≠ correct

On a case AC40/autolsp gets wrong, write down the schema-legal answer it returned and the human label. Do not “fix” it by asking Jev to generate an explanation.

FAQ

Does this replace the TypeSafe SDK?

Only if the author implemented a full client. Most harnesses still call the vendor SDK or raw HTTP.

Are the star chips live?

Star, fork, and watcher chips refresh from the public GitHub API via a scheduled job. The prose on this page is editorial.

Sources

Public repository metadata and TypeSafe documentation. No private claims.