Laya in coding tools

Coding agents make many cheap judgement calls: which files matter, how hard a task is, whether a command is risky. Several projects hand those calls to a local Laya model instead of a second LLM call, which saves tokens and keeps code on the machine.

128 projects

mu

qybaihe

Provides a coding agent with a judgment kernel that can use Laya as its local judge

179·GitHub repo

keel

codejunkie99

A macOS coding workspace uses local Laya or hosted Jev to select task routes

122·GitHub repo

arbiter

0xBakeer

Serves Laya and other typed-decision models locally with a Jev-compatible API

30·GitHub repo

laya-drift

pythongiant

Monitors opencode sessions for semantic drift using Laya typed-decision probes

15·GitHub repo

fast-jev-compaction-laya

kaiyes

Compacts OpenCode context using decisions from a locally served Laya model

8·GitHub repo

laya-codex

pilotspace

Ranks repository code for Claude Code using the Laya re-ranker, hooks, and an MCP server

5·GitHub repo

fast-laya-compaction

ShinyDataTech

Uses local Laya decisions to compact agent context and provides filters, caching, and an MCP server

4·GitHub repo
T

laya-code

tindang

A Laya fine-tune that reranks code chunks by relevance to a task description

55·HF model

laya-router-skill

wangmiaozero

Adds local Laya decision routing to coding agents through skills and MCP

3·GitHub repo

oh-my-laya

leo1394

Installs local Laya tools for classification, scoring, and routing in coding agents

3·GitHub repo

laya-ocr-guard

okrath

Adds fast Laya triage to a dual-gate code impact and regression guard

3·GitHub repo

shed

IAmUnbounded

Provides remote access to desktop coding-agent sessions with local Laya-based routing

3·GitHub repo

laya-router

marcreichel

Routes Claude Code sessions to a model based on a locally classified first prompt

3·GitHub repo

jeffrey

thomasbrueggemann

A coding-agent CLI uses Jev or Laya to choose tools while a configurable LLM executes them

2·GitHub repo

pi-pignon

siiick

A Pi coding-agent extension routes prompts by difficulty using local Laya or hosted Jev

2·GitHub repo
A

laya-toolguard-mlx

a3harva

Fine-tunes Laya in MLX to assess coding-agent tool calls for safety risks

110·HF model
E

relay-laya

eltonssouza

Provides a trained Laya classifier that routes coding requests by task, risk, and capability

86·HF model
W

code-oracle-laya-421m

wxsys

Fine-tunes Laya decision heads to verify code and score risk from programming-language AST graphs

1·HF model

laya-mcp

andragon3110

Provides MCP tools for coding-agent judgments using local decision models, including Laya

1·GitHub repo

omp-laya

KiidxAtlas

Adds local Laya decision policies and verification controls to Oh My Pi

1·GitHub repo

jev-codex-workbench

qualixar

Adds Jev decisions and optional local Laya-MLX routing to a Codex plugin and MCP server

1·GitHub repo

pi-laya-router

AdelysAlberto

Routes Pi coding-agent prompts using local Laya classification on Apple Silicon

1·GitHub repo

laya

givespace-asia

A Claude Code plugin uses Laya to guard shell commands and code patches

1·GitHub repo

hd5-antigravity-jev

alpaslan-exe

A workshop teaching developers to build projects with Antigravity and locally run Laya decisions

1·GitHub repo

Claude Code

laya-codex indexes a repository locally and gives Claude Code the relevant code before each task, using tree-sitter, BM25 and a Laya re-ranker. Install (macOS Apple Silicon or Linux x86_64):

curl -fsSL https://raw.githubusercontent.com/pilotspace/laya-codex/main/install.sh | sh
/plugin marketplace add pilotspace/laya-codex
/plugin install laya-codex@laya-codex

Its README reports that Claude Code read 38% fewer code tokens and took 21% fewer turns in a paired benchmark of 60 tasks on three repositories.

arbiter serves Laya behind a Jev-compatible API with an MCP server and a Claude Code plugin.

Model routing in coding agents

pi-pignon asks a local laya-serve (or Jev) how hard each prompt is and switches the pi agent's model:

pi install npm:pi-pignon
uv tool install "laya[serve]"
LAYA_HOST=127.0.0.1 laya-serve

Judges and gates

  • adecider: typed judgements for any coding agent through a CLI, MCP tool or HTTP, with local Laya as the default backend.
  • omp-laya-judge: a local judge for oh-my-pi. It reports a mean 160 ms per question on CPU and 8/12 correct on its benchmark.
  • laya-rust: its exfil_triage example flags shell commands that send credentials off the machine.

Workspaces

keel is a local-first macOS coding workspace. A local Laya selector (Core ML) or an opt-in hosted Jev picks a route for each new task, and the host validates the choice before applying it.

Caveats

omp-laya-judge found Laya confidently wrong on arithmetic and parity questions (confidence 0.80 and 0.84), so it routes those to the LLM whatever the confidence. Keep Laya on semantic questions and keep a fallback. laya-codex downloads a model of about 850 MB on install.

Hosted option

Several tools on this page can talk to Jev instead of a local model. Anything built on the official TypeSafe SDKs can point at a hosted Laya instead: layahost documents the switch as changing TYPESAFE_BASE_URL and the key. That saves a model download on every developer machine, at the cost of sending prompts and code snippets to a server in the EU. layahost is run by the makers of laya.tools.

More ways to use Laya