Fast semantic code search & diff sanity auditor for AI coding assistants (Antigravity, Cursor, Claude Code) powered by TypeSafe System One.
Agent Tooling for Jev — page 20
882 repositories with documented relationships and source evidence.
Utilizing Jev, the RLCD-type model provided by TypeSafe AI, to independently and cheaply judge agentic coding sessions.
Experimental Hermes plugin: Jev-assisted model routing plans with budget and capability constraints. API access pending.
Self-owned memory system for AI agents
Agent skill for multi-doc feature specs that can't contradict themselves — or quietly ship a claim nobody verified. One facts registry, mechanical audits, and a verify mode that gates 'shipped' on evidence.
A macOS app, TUI, and CLI to manage skills for AI coding tools. Turn skills on or off without deleting them.
stuff i use for codex
In-process authorization and tamper-evident audit for Flue agent tools
US & EU Job Market Visualizer — Karpathy-style BLS treemaps + ESCO occupations/skills/competences
OpenJev: An Claude plugin that replaces text-generation decisions with Jev (TypeSafe System One).
AI model routing for Codex subagents. Let Jev choose the model and reasoning effort for each mission, using your own task profiles.
Fail-open two-hop skill suggestion plugin for DeepSeek Harness (DSH): TypeSafe Jev ranks the roster each user turn and injects one-line skill relevance hints
Google Apps Script that classifies Gmail messages with Jev, TypeSafe's decision-only AI model. Runs on a time-driven trigger, sends each email's sender, subject, and trimmed body to Jev (via TypeSafe, OpenRouter, or Vercel AI Gateway), and applies Gmail labels based on typed Choice, Score, and Noul answers with confidence thresholds.
Jev-guided transcript compaction for Claude Code. Rust rewrite of tamaratran/fast-jev-compaction.
Claude Code per-turn model routing with TypeSafe Jev through an OpenRouter API key (fork of gargpratyush/jev-router)
A portable Jev decision sidecar for coding agents: MCP, CLI, pi, source-bound context, durable budgets and measured outcomes.
Sub-15ms context-window observability, deterministic decision gating, runtime self-healing, and continuous self-improving for AI agents using TypeSafe AI's Jev.
An agent plays Slay the Spire 2. Single-call factored decisions via TypeSafe Jev: 15x faster and 259x cheaper than Claude on identical state. Fork of alexmeckes/jev-the-spire (MIT).
Route Claude Code and Codex turns with local Laya — $0, no key, nothing leaves the machine
OpenJev: An Opencode plugin that replaces text-generation decisions with Jev (TypeSafe System One).
Open-source Codex Skills collection — featuring Jev-powered skill routing for large local catalogs.
Open verification layer for AI agents. The burden of proof is on the evidence.