~12m15:07
Github Awesome

GitHub Trending Today #50: fast-jev-compaction, SemIf, jev-trader, jev-search, pg-jev, jev-review

Sep 19, 2026

Read: ~12m · You save: 3 min

GitHub Trending Today #50: Jev Ecosystem Deep Dive

Explore GitHub's top trending projects! This week, we dive deep into the Jev ecosystem, uncovering tools for AI, code review, market making & more. See what's new!

This edition of GitHub Trending Today, number 50, features a significant number of projects related to "Jev," a technology that appears to be gaining traction across various applications, from local decision models to code review tools and device control.

Jev Compaction and Summarization

fast-jev-compaction addresses a perceived limitation in standard context compaction methods, where summaries can omit critical details like exact file paths or error messages needed in subsequent interactions. This tool operates by scoring every tool call and its result using Jev. It then selectively deletes entries deemed no longer necessary, ensuring that the original text remains untouched.

Image Editing and Compositing

Compositor is an open-source image editor for macOS. It is built around a compositing workflow, incorporating Photoshop-style shortcuts. Users can combine layers using masks and blend modes, and apply adjustments through editable adjustment layers. The editor preserves the original resolution of layers during resizing, preventing detail loss. Content-aware fill and a clone stamp tool are included for image manipulation and cleanup.

Probabilistic Decision Making with Open Models

SemIf offers a method for reading probabilities directly from option tokens, similar to TypeSafe's Jev. A key distinction is its reliance on downloadable open models, contrasting with services that may have waitlists. Benchmarks indicate a significant speed improvement: when a model is asked to choose from 21 options, the traditional method of generating JSON and parsing it took 5.3 seconds on an RTX 3090. SemIf, by reading typed logits directly, achieved this in approximately 1 second, representing a five-fold increase in speed.

Algorithmic Trading and Market Making

jev-trader is a market maker designed to execute an entire decision process within a single monad block. This approach aims to circumvent issues common in other trading bots, such as extended gas estimation and synchronous sends per order, which can lead to price changes before an order is posted. Jev-trader hardcodes gas limits and static fees, streamlining the execution path. The decision-to-order process reportedly takes about 100 milliseconds, with inference accounting for 80 milliseconds of that time.

Efficient Web Interaction

jev-ultrafast enables web page interaction without generating coordinates or selectors. Unlike agents that screenshot pages, process them with vision models, and then determine click locations, this tool reads the Document Object Model (DOM) directly. It constructs an index table of clickable elements and makes action and target decisions within a single network round trip.

AI-Powered Search and Ranking

jev-search utilizes AI to determine search strategies and rank results without generating a synthesized answer. Users describe their needs, and Jev selects search terms, sources, and time ranges with filter options. Results are presented as links and snippets with visible relevance scores, and duplicate URLs are merged. Self-hosting requires Type-Safe and Search API keys, and each search may incur multiple billable API calls.

Tax Form Classification

Tax.Classifier identifies tax forms on a page-by-page basis, providing labels and confidence scores rather than generated explanations. It extracts text from PDFs and sends it to Type-Safe's Jev model, using form descriptions derived from IRS documents. Low-confidence results can be routed for manual review. The system identifies federal forms in English; scanned pages require Optical Character Recognition (OCR) prior to processing, as they are treated as blank without a text layer.

Local Jev Alternative

Kev is an open-source, local implementation of Type-Safe's Jev that operates entirely on a user's laptop. Built on Qwen 2 5.5B, it processes a document once and answers multiple questions in parallel, returning probabilities instead of generating text. Each question has access to the document but not to other questions. Its local server is compatible with Type-Safe's SDK, allowing for interface reuse.

Nano-Scale Jev for Decision Scoring

NanoJev is a compact Jev replica, featuring 600 million parameters. It scores all possible moves in a single forward pass, rather than generating tokens sequentially. Users provide states, questions, and candidate answers, and batch decisions are processed in one forward pass. The repository includes a training pipeline and browser replays of maze and snake tests.

3D Reconstruction from Video

A bot recon generates 3D reconstructions from video while maintaining a local context of only 12 frames. It estimates geometry and camera movement frame by frame, then integrates these estimates into a global point cloud and trajectory. This method prevents the model's working memory from expanding with video length. Optional loop closure can refine the trajectory upon revisiting a location.

Deterministic Computer Use Agents

Type safe computer use aims to avoid the need for constant screenshotting of frontier models for each interaction. Unlike agents that send screenshots to models like Opus, incurring significant time and cost, this system reads the screen deterministically. It combines OCR, the accessibility tree, and date parsing, only invoking a writing model when text input is required.

Plain Language Conditions for SQL

PG Jev integrates plain language conditions into SQL, enabling filtering of support tickets by sentiment (e.g., "frustration") or classification by department without generating embeddings. It sends batched raw data to Type-Safe's Jev API and caches session-specific answers, allowing threshold adjustments without re-execution. This requires superuser access and PostgreSQL's untrusted Python extension, limiting its use on many managed database hosts.

Smart Home Control Panel

ESP screens transforms an ESP32 touchscreen into a smart home control panel without requiring YAML configuration. This offers an alternative to expensive wall tablets or extensive manual coding for home automation interfaces. The system supports drag-and-drop configuration from Home Assistant, allowing up to 48 tiles across eight pages for controlling lights, climate, blinds, media, and displaying history graphs.

In-Browser Code Agent Operations

A side code mode allows agents to search files, filter results, and batch browser operations within a single JavaScript call. Instead of transmitting entire files or pages, it can return specific paths or extracted fields. Local searches utilize Ripgrep, while browser batches are processed through the native REPL. The efficiency gain stems from reduced tool round trips and smaller output sizes.

AI Code Reviewer Evaluation

Jev review positions AI code reviewers as prompts for investigation rather than definitive bug detectors. Unlike tools that provide confident textual reviews, this system employs bounded judgment calls with explicit thresholds for correctness, security, reliability, and compatibility, avoiding black-box explanations.

Text and JSON to Decision Routing

Lya converts text or JSON into decisions without generating explanatory sentences. Users define questions with choices, binary outcomes, or ordered scores. Its encoder models then return probabilities for routing tickets or content verification. A built-in router selects and loads English, multilingual, or task-focused checkpoints as needed.

Market Making Backtesting

HF Tengine enables frame-by-frame replay of market-making backtests using recorded Binance futures data. Its Rust runner employs HFT backtesting, while the dashboard displays the order book, estimated queue positions, latency, and simulated fills. This allows for detailed inspection of order execution and rejection reasons, rather than just a final score. The simulation excludes market impact and partial fills, and no real orders are placed.

Multi-Agent Project Coordination

Herder projects provides a single coordinator conversation for work distributed across multiple coding agents. After task approval, each worker receives a dedicated work tree and branch with shared instructions and project memory. A sidebar separates completed work from tasks awaiting input, eliminating the need to monitor all conversations.

Coding Agent Progress Monitoring

Forman monitors coding agents during operation, using Jev to assess progress, test coverage, and the need for human intervention. A separate Python policy dictates when to steer the active Codex session, halt a stalled worker, or initiate verification. The worker continues to run during these assessments. The project is presented as an experiment, with Jev's accuracy for this task noted as unproven and requiring calibration.

Transparent Wallet Tracking

Flyon is a wallet tracker that quantifies its inaccuracies. It addresses a common issue where trackers rank users based on lucky airdrops or token transfers, without providing a verifiable hit rate. Flyon records each call to a hash chain ledger before results are finalized, settling against the initial price after the window closes.

Jev-Controlled Game Inputs

Type-safe Mario enables Jev to select controller inputs from structured game data, bypassing the need for screenshots. The program reads emulator memory, converting movement, terrain, and nearby enemies into JSON, with timing calculations handled in code. A live dashboard displays action probabilities and response latency, and logs preserve decisions for analysis.

Procedural Video Generation

Procedural film creates 30-second vertical videos entirely from JavaScript drawing on a canvas and the Web Audio API for sound, without using stock footage or AI-generated clips. Given a topic, an agent writes shots, critiques its own work through multiple review passes, and renders the output as an interactive HTML file and an MP4.

Model Operation Visualization

Titania compiles and runs Qwen 3 0.6B through its own compiler, instruction set, and simulated GPU, allowing users to observe how model operations translate into individual instructions. A live panel displays the executing kernel and disassembly during text generation. Physical GPU implementation, including FPGA and eventual silicon stages, is planned. A warning is issued regarding the chat interface's bash tool, which runs commands without confirmation.

Local Jev-Compatible API

Open Jev SG Lang serves a Jev-compatible API using Kwen, without sending requests to Type-Safe. It scores answer options from first-token probabilities rather than generating explanations and reuses cached context across parallel questions, providing yes/no decisions, choices, and ordered scores through a single interface. The deployment utilizes a B200 GPU on Modal.

PostgreSQL Text Search Testing

Lead allows testing of TIN-compatible text search queries in PostgreSQL without running the production TIN engine. It supports query parsing, scoring, and highlighting, enabling SQL queries to run in development and CI environments. Its index stores no search data, sending each table page back to PostgreSQL for checking, prioritizing correctness over speed. Lead is positioned as a testing substitute, not a production search engine.

Interruptible Voice App Template

Expo GPT Live is a voice app template for iPhones that allows users to interrupt AI replies and maintain background conversations. It integrates GPT Live 1 with web search, a weather tool, and animated personas, keeping OpenAI keys server-side. A native build is required instead of Expo. Users are advised to replace the shared development token with proper user authentication before making the backend public.

AI Code Reviewer Quality Scores

Jev review provides coding agents with separate quality scores instead of written code reviews. Agents submit focused diffs through MCP and receive feedback on dimensions such as correctness and complexity, allowing for score comparison after changes. Jev does not explain the cause of a low score, requiring the agent to investigate and fix the issue. The plugin runs locally, but submitted code is sent to Type-Safe's API for evaluation.

Biomolecular Modeling Optimizations

Anthropic's biomolecular modeling packages optimize inference by integrating with pinned research tools without altering their standard calling interfaces. Modes distinguish between output-preserving optimizations, those allowing minor numerical differences, and those prioritizing reduced GPU memory usage. Each kit reports activated optimizations and rejects unsupported configurations rather than defaulting to fallback options.

Android Action Execution

Mobile Jev translates written goals into Android actions via Mobile Run without requiring an ADB connection. Jev selects an operation and target in a single request, with code verifying target validity before execution. Alive Studio displays the phone, action history, and latency. Text entry replicates the exact wording from the goal, and model confirmation requires verification against the phone's actual state.

Shell Installer Security Checks

Bashka inspects shell installers before execution, flagging patterns such as credential theft, destructive commands, and unverified downloads. It can follow scripts that fetch other scripts and records installed binaries for later review, update, or removal. The system focuses on inspection rather than isolation, as static checks may miss dynamic behavior, and server content can change between review and execution.

Local Language Model Execution on Apple Silicon

Splash runs language models locally on Apple silicon using tailored kernels and draft models. Drafts propose token blocks that the main model checks in parallel, while startup calculates a memory budget for the Mac. It exposes OpenAI and Anthropic-compatible APIs for existing clients. This approach restricts the use of ordinary MLX or Transformers checkpoints.

Direct Answer Selection

Simple Jev is designed for scenarios where a model needs to select an answer rather than generate an essay. It reads logits directly, returning choice scores and truth judgments as JSON without requiring parsing. It caches the shared prefix across questions, reportedly reducing token usage from 4,200 to 1,200 for four questions on a single document.

Local Decision Interface

Local Jev enables applications using Type-Safe's decision interface to utilize a local language model through a standard chat endpoint. It translates questions into classification prompts, validates returned JSON, and calculates choices and scores in code. The probabilities are model-generated numbers, not values read directly from internal logits.

Instruction-Based Code Checks

Abide transforms project instructions into checks that run after coding agent edits and at the end of each turn. It sends rules and changed code to Jev, then prompts the agent to repair likely violations, including judgment calls beyond a linter's scope. Each verdict links back to the original instruction. Edits proceed unchecked without a network connection or key.

Plain English Rule-Based Code Scanning

Perch checks code against plain English rules using Jev, allowing requirements such as keeping environment variable reads out of individual methods to be expressed. Rules can be scoped to files, with selectable checks and YAML-defined thresholds. Scans produce ranked findings with line numbers and confidence scores, and issues can be rechecked after fixes.

Fast Jev Compaction

Fast Jev compaction optimizes context compaction by scoring tool calls and results with Jev, only deleting unneeded ones while preserving original text, unlike traditional methods that summarize and lose detail.

  • Fast Jev compaction improves upon normal context compaction.
  • Summarization in traditional methods loses crucial details.
  • This method scores tool calls and results with Jev.
  • Only unneeded items are deleted, preserving original text.

Compositor

Compositor is an open-source Mac image editor that uses Photoshop-style shortcuts for compositing layers with masks and blend modes, offering editable adjustment layers and preserving original resolution during resizing.

  • Compositor is an open-source Mac image editor.
  • It is built around compositing with Photoshop-style shortcuts.
  • Supports combining layers with masks and blend modes.
  • Features editable adjustment layers for color.
  • Resizing preserves original resolution, preventing detail loss.

Semif

Semif offers a faster alternative to TypeSafe's Jev by reading probabilities directly from option tokens on open, downloadable models, achieving a 5x speed increase compared to generating JSON.

  • Semif performs a similar function to TypeSafe's Jev.
  • Reads probabilities directly off option tokens.
  • Runs on downloadable open models, avoiding waitlists.
  • Achieved 5.3 seconds on an RTX 3090 for 21 options vs. 1 second with SemIf.
  • Directly reading typed logits is significantly faster.

Jev Trader

Jev Trader is a market maker designed to fit decision-making within a single monad block by hardcoding gas limits and static fees, significantly reducing latency compared to bots that perform gas estimation and synchronous sends.

  • Jev Trader is a market maker.
  • Designed to fit entire decisions within one monad block.
  • Avoids gas estimation and synchronous sends on every order.
  • Hardcodes gas limits and static fees.
  • Decision to order runs in ~100ms (80ms inference).

Jev Ultrafast

Jev Ultrafast enables web page interaction without generating coordinates or selectors by directly reading the DOM, building an index of clickable elements, and making action/target decisions in a single network round trip.

  • Jev Ultrafast interacts with webpages without coordinates or selectors.
  • Avoids screenshotting and vision model analysis.
  • Reads the DOM directly.
  • Builds an index table of clickable elements.
  • Makes action and target decisions in one network round trip.

Jev Search

Jev Search uses AI to determine search terms, sources, and time ranges, presenting results as links with relevance scores and merging duplicate URLs, though self-hosting requires Type-Safe and Search API keys.

  • Jev Search uses AI to select search terms, sources, and time ranges.
  • Does not generate a summarized answer.
  • Results include links, snippets, and visible relevance scores.
  • Merges duplicate URLs.
  • Self-hosting requires Type-Safe and Search API keys.
  • Searches can trigger multiple billable API calls.

Tax.Classifier

Tax.Classifier identifies tax forms page by page using Type-Safe's Jev model, extracting text and providing labels/confidence scores without generated explanations. Scanned pages require OCR.

  • Tax.Classifier identifies tax forms page by page.
  • Returns labels and confidence scores, not explanations.
  • Extracts PDF text and sends it to Type-Safe's Jev model.
  • Uses form descriptions derived from IRS documents.
  • Low-confidence results can be routed for review.
  • Identifies federal forms in English; scanned pages need OCR.

Kev

Kev is an open-source, local alternative to TypeSafe's Jev, running on Qwen 2 5.5B on a laptop. It processes documents once to answer multiple questions in parallel, returning probabilities.

  • Kev is a local, open-source stand-in for TypeSafe's Jev.
  • Runs entirely on a laptop.
  • Built on Qwen 2 5.5B.
  • Reads a document once to answer multiple questions in parallel.
  • Returns probabilities instead of generated text.
  • Its local server works with Type-Safe's SDK.

NanoJev

NanoJev, a compact Jev replica (600M parameters), scores all possible moves in a single forward pass, processing states, questions, and candidate answers efficiently.

  • NanoJev is a nano replica of Jev with 600 million parameters.
  • Scores every possible move in one forward pass.
  • Does not generate tokens one at a time.
  • Input includes states, questions, and candidate answers.
  • Batch decisions into one forward pass.
  • Repository includes training pipeline and maze/snake replays.

A Bot Reconstructor

A Bot Reconstructor creates 3D reconstructions from video by estimating geometry and camera movement frame-by-frame, maintaining a small local context of 12 frames to manage memory.

  • A Bot Reconstructor builds 3D reconstructions from video.
  • Maintains only 12 frames of local context.
  • Estimates geometry and camera movement frame by frame.
  • Combines estimates into a global point cloud and trajectory.
  • Prevents working memory from growing with video length.
  • Optional loop closure can refine the trajectory.

Type-safe Computer Use

Type-safe computer use agents interact with screens deterministically by reading the OCR, accessibility tree, and date, only calling a writing model when necessary, unlike agents that rely on frequent screenshots.

  • Type-safe computer use skips screenshotting frontier models for clicks.
  • Most agents send screenshots to models like Opus, taking 5+ seconds.
  • This method reads the screen deterministically.
  • Uses OCR, accessibility tree, and date parsing.
  • Calls a writing model only when typing is needed.

PG Jev

PG Jev integrates plain language conditions into SQL for filtering support tickets by frustration or classifying by department, sending data to Jev API and caching results, but requires super user access and specific extensions.

  • PG Jev adds plain language conditions to SQL.
  • Filters support tickets by frustration or classifies by department.
  • Does not require creating embeddings.
  • Sends raw data to Type-Safe's Jev API in batches.
  • Caches answers within the session.
  • Requires super user access and PostgreSQL's untrusted Python extension.

ESP Screens

ESP Screens transforms ESP32 touch screens into smart home control panels via drag-and-drop from Home Assistant, eliminating the need for YAML coding or expensive tablets.

  • ESP Screens turns ESP32 touch screens into smart home control panels.
  • Does not require writing YAML code.
  • Offers an alternative to expensive wall tablets.
  • Uses drag-and-drop interface from Home Assistant.
  • Supports up to 48 tiles across eight pages.
  • Can display lights, climate, blinds, media, and history graphs.

Side Code Mode

Side Code Mode allows agents to search files, filter results, and batch browser operations within a single JavaScript call, reducing tool round trips and output size by returning only matching paths or fields.

  • Side Code Mode enables agents to search files and filter results.
  • Allows batching browser work within one JavaScript call.
  • Returns matching paths or extracted fields instead of full content.
  • Uses Ripgrep for local search.
  • Browser batches run through Side's native REPL.
  • Reduces tool round trips and output size.

Jev Review (Code)

Jev Review provides AI code review as a prompt for investigation rather than a definitive bug report, using bounded judgment calls with explicit thresholds for correctness, security, and reliability.

  • Jev Review treats AI code review as a prompt for investigation.
  • Does not present findings as definitive bug reports.
  • Uses bounded judgment calls with explicit thresholds.
  • Checks for correctness, security, and reliability.
  • Avoids black box explanations.

Lya

Lya converts text or JSON into decisions by defining questions with choices, outcomes, or scores, returning probabilities for routing or content checking, and includes a router for different checkpoint types.

  • Lya turns text or JSON into decisions without generating sentences.
  • Defines questions with choices, yes/no outcomes, or ordered scores.
  • Encoder models return probabilities for routing or content checking.
  • Built-in router selects English, multilingual, or task-focused checkpoints.
  • Loads checkpoints as needed.

HF Tengine

HF Tengine allows frame-by-frame replay of market-making backtests using Binance futures data, providing detailed insights into order book, latency, and fills, without executing real trades.

  • HF Tengine replays market-making backtests frame by frame.
  • Uses recorded Binance futures data.
  • Rust runner utilizes HFT back test.
  • Dashboard shows order book, queue positions, latency, and fills.
  • Allows inspection of why orders were filled or rejected.
  • Simulation excludes market impact and partial fills.

Herder Projects

Herder Projects centralizes work across multiple coding agents with a single coordinator conversation, assigning separate work trees and branches while sharing instructions and project memory.

  • Herder Projects provides one coordinator conversation for multiple coding agents.
  • Agents get separate work trees and branches after task approval.
  • Shared instructions and project memory are maintained.
  • Sidebar separates finished work from pending tasks.

Forman

Forman monitors coding agents using Jev to assess progress and test coverage, with a separate Python policy deciding when to steer the session, stop workers, or launch verification.

  • Forman watches coding agents during work.
  • Uses Jev to assess progress, test coverage, and need for human input.
  • A separate Python policy steers the Codex session.
  • Can stop stuck workers or launch verification.
  • The worker continues running during assessments.
  • Jev's accuracy for this job is unproven.

Flyon

Flyon is a wallet tracker that transparently reports its accuracy by writing calls to a hash chain ledger before settling results against the initial price, unlike trackers that obscure hit rates.

  • Flyon is a wallet tracker that publishes its inaccuracy.
  • Most trackers rank traders based on lucky airdrops or token dumps.
  • Flyon writes every call to a hash chain ledger before results.
  • Settles results against the first price after the window closes.
  • Allows checking a real hit rate.

Type-safe Mario

Type-safe Mario uses Jev to select controller inputs from structured game data (JSON) instead of screenshots, reading emulator memory and handling timing calculations in code.

  • Type-safe Mario lets Jev choose controller inputs from structured game data.
  • Does not use screenshots.
  • Reads emulator memory and converts game state to JSON.
  • Handles timing calculations in code.
  • Live dashboard shows action probabilities and latency.
  • Logs preserve each decision for analysis.

Procedural Film

Procedural Film generates 30-second vertical videos entirely with JavaScript drawing on a canvas and the Web Audio API, taking a topic and producing an interactive HTML file plus an MP4.

  • Procedural Film creates 30-second vertical videos.
  • Uses zero stock footage and zero AI-generated clips.
  • Pixels are drawn using JavaScript on a canvas.
  • Sounds are generated via the Web Audio API.
  • Takes a topic and an agent writes/critiques shots.
  • Renders to an interactive HTML file and an MP4.

Titania

Titania compiles and simulates Qwen 3 0.6B on a custom instruction set and GPU, allowing users to follow model operations becoming individual instructions, with future plans for physical GPU implementation.

  • Titania runs Qwen 3 0.6B through its own compiler and instruction set.
  • Simulates a GPU execution environment.
  • Allows following how model operations become individual instructions.
  • Live panel shows executing kernel and disassembly.
  • Physical GPU, FPGA, and silicon stages are planned.
  • Chat interface includes a bash tool that runs commands without confirmation.

Open Jev SG Lang

Open Jev SG Lang provides a Jev-compatible API using Kwen locally, scoring answer options from token probabilities instead of generating explanations, and reusing cached context for efficiency.

  • Open Jev SG Lang serves a Jev-compatible API using Kwen.
  • No requests are sent to Type-Safe.
  • Scores answer options from first token probabilities.
  • Does not generate explanations.
  • Reuses cached context across parallel questions.
  • Provides yes/no decisions, choices, and ordered scores.
  • Deployment uses a B200 GPU on Modal.

Lead

Lead enables testing TIN compatible text search queries in Postgres without the production engine, supporting query parsing, scoring, and highlighting, but stores no search data, favoring correctness over speed.

  • Lead tests TIN compatible text search queries in Postgres.
  • Does not require running the production TIN engine.
  • Supports query parsing, scoring, and highlighting.
  • Allows SQL to run in development and CI.
  • Stores no search data; sends table pages back to Postgres for checking.
  • Favors correctness over speed; a testing substitute, not production engine.

Expo GPT Live

Expo GPT Live is a voice app template for iPhone that allows interrupting AI replies and background conversations, integrating GPT Live 1 with web search and weather tools, while keeping the OpenAI key server-side.

  • Expo GPT Live is a voice app template for iPhone.
  • Allows interrupting AI replies and background conversations.
  • Combines GPT Live 1 with web search and a weather tool.
  • Keeps OpenAI key on the server.
  • Requires a native build, not Expo.
  • Needs proper user authentication before public backend release.

Jev Review (Plugin)

Jev Review (Plugin) assigns coding agents separate quality scores (correctness, complexity) instead of written reviews, requiring agents to investigate and fix issues based on these scores.

  • Jev Review gives coding agents separate quality scores.
  • Does not provide written code reviews.
  • Agent submits diff through MCP, gets feedback on dimensions like correctness, complexity.
  • Scores are compared after changes.
  • Agent must investigate and fix issues based on scores.
  • Plugin runs locally, but evaluation goes to TypeSafe's API.

Anthropic's Biomolecular Modeling

Anthropic's biomolecular modeling packages optimize inference by distinguishing between output-preserving optimizations and those allowing minor numerical differences or prioritizing lower GPU memory.

  • Anthropic's biomolecular modeling packages optimize inference.
  • Distinguishes between output-preserving optimizations and others.
  • Some optimizations allow small numerical differences.
  • Some prioritize lower GPU memory use.
  • Each kit reports activated optimizations.
  • Refuses unsupported configurations.

Mobile Jev

Mobile Jev translates written goals into Android actions via Mobile Run without ADB, using Jev to choose operations and targets, with Alive Studio showing phone state and action history.

  • Mobile Jev turns written goals into Android actions.
  • Uses Mobile Run without an ADB connection.
  • Jev chooses operation and target in one request.
  • Code checks target validity before acting.
  • Alive Studio shows phone, action history, and latency.
  • Text entry copies exact wording from the goal.

Bashka

Bashka inspects shell installers for malicious patterns like credential theft or destructive commands before execution, tracking installed binaries for later review.

  • Bashka checks shell installers before execution.
  • Flags patterns like credential theft and destructive commands.
  • Flags unverified downloads.
  • Can follow scripts that fetch other scripts.
  • Records installed binaries for review, update, or removal.
  • Focuses on inspection, not isolation.

Splash

Splash runs language models locally on Apple silicon using tailored kernels and draft models, exposing OpenAI and Anthropic-compatible APIs, but requires specific checkpoints and does not load ordinary MLX or Transformers checkpoints.

  • Splash runs language models locally on Apple silicon.
  • Uses tailored kernels and draft models.
  • Proposes blocks of tokens checked in parallel.
  • Calculates a memory budget for Macs.
  • Exposes OpenAI and Anthropic-compatible APIs.
  • Ordinary MLX or Transformers checkpoints won't load.

Simple Jev

Simple Jev is designed for answer selection rather than essay writing, reading logits directly to return JSON scores for choices and truth judgments, caching shared prefixes to reduce token usage.

  • Simple Jev is for selecting answers, not writing essays.
  • Reads logits directly instead of generating text.
  • Choice scores and truth judgments return as JSON.
  • No parsing required.
  • Caches the shared prefix across questions.
  • Reduced 4,200 tokens to 1,200 for four questions on one document.

Local Jev

Local Jev allows apps to use a local language model via a standard chat endpoint, translating questions into classification prompts and calculating probabilities as numbers written by the model, not read from logits.

  • Local Jev lets apps use a local language model.
  • Uses a standard chat endpoint for Type-Safe's decision interface.
  • Translates questions into classification prompts.
  • Validates returned JSON.
  • Calculates choices and scores in code.
  • Probabilities are numbers written by the model, not read from logits.

Abide

Abide turns project instructions into checks that run after coding agent edits, sending rules and code to Jev for analysis and repair of violations, with each verdict linking back to the original instruction.

  • Abide turns project instructions into checks.
  • Checks run after coding agent edits and at the end of each turn.
  • Sends rules and changed code to Jev for analysis.
  • Asks the agent to repair likely violations.
  • Includes judgment calls a linter might miss.
  • Each verdict points back to the original instruction.
  • Edits go unchecked without a key or network connection.

Perch

Perch uses Jev to check code against plain English rules, allowing requirements like keeping environment variable reads out of methods, with findings ranked by confidence scores.

  • Perch checks code against plain English rules using Jev.
  • Allows expressing requirements like keeping env variable reads out of methods.
  • Rules can be scoped to files.
  • Users choose what gets checked and set thresholds in YAML.
  • Scans produce ranked findings with line numbers and confidence scores.
  • Issues can be rechecked after a fix.