User repository on GitHub
- Forks
- 1
- Last pushed
- Updated Sep 2026
Repo stats from the GitHub API, cached Oct 2026.
Jev directory
CommunityJev Repos & SDKs
JevOps — endomorphosis
A TypeSafe/Jev kernel split out of Lean Refactor Arena: it acts as a gate rather than a proof authority, with choice/score/noul projectors, caches and rankers, and Lean candidates that only a consuming Lean/Lake verifier can admit.
- Stars
- 8
- Language
- Python
- License
- AGPL-3.0
- Reading time
- 2 min
- Published by
- Community
- Author
- endomorphosis
- Last verified
- Oct 2026
Highlights
- The kernel is a gate, not a proof authority: only the consuming Lean/Lake verifier can admit proposed candidates.
- jevops.jev holds Choice/Score/Noul projectors; jevops.kernel adds an L0-L3 cache, CID, ARC/LRU and single-flight.
- Rankers span RF, Bayes-time, MCMC, SVD, integer milles, Markov, isotonic, AdaBoost, PageRank and temporal models.
- The legal adapter is opt-in with caller-owned sessions, declared-file pins and guarded callbacks that fail on drift.
- AGPL-3.0; the federal-law roadmap is described as a proposed plan, not a claim the U.S. Code has been formalized.
Watch out
Grounded on a truncated README and GitHub metadata captured 2026-10-15; the README's layout table is cut mid-row, so module descriptions cover only the visible rows. The federal-law material is explicitly a proposed integration plan, and the repo notes that source hashes are provenance, not proof.
Questions about this entry
Short answers drawn from the linked project or page.
A TypeSafe/Jev kernel split from Lean Refactor Arena and other papers. The kernel is a gate rather than a proof authority: optional refactoring and autoencoder modules propose Lean candidates, and only the consuming Lean/Lake verifier can admit them.
jevops.jev contains Choice, Score and Noul projectors, truncate_middle and a FixtureClient, so typed decisions run through the same gate as everything else the kernel admits.
Modules cover consumer hooks, a cell store, an inner loop with pointer CALL and spawn, generic goal grids, outer JSON actions, candidate oracles, Jev beam ranking, success/failure memory, caches, rankers, tactics, autoencoders and a bounded logic IR, among others.
The generic kernel keeps the verifier injectable, and a legal source-lock slice preserves helper definitions and theorem headers while rejecting helper substitution and command injection before legal admission calls Lake.
A federal-law training roadmap maps shared targets, sparse checkpoint updates and Arrow-backed feature weights into a source-grounded U.S. Code/Constitution workflow. The README stresses it is a proposed integration plan, not a claim that the corpus has been formalized.
It adds opt-in caller-owned sessions, documents and verifier/store callbacks to the existing tools, admissions and loop, checks a declared source manifest before and after backend calls, and fails on drift; offline tests cover isolation and mocked generation.
AGPL-3.0. The README lists native backend qualification, durable toolchain-bound receipts and corpus/training integration as pending, and notes that DuckDB is an optional part of the JSON-LD graph interface.
Reactions & coverage
Posts, threads, and videos about this entry from around the web.
Reddit: Localization QA with a decision model: meaning, terminology, and placeholders as separate checks.
Hacker News: Pick Verify: a single decision at the warehouse pick station catches confusable picks.
Show HN: Verifying robot picks with a decision modelRead the thread on Hacker NewsOther listings of this project
Forks and copies of this project in the directory. This entry is the canonical one.
JevOps is a control plane that has TypeSafe's Jev judge each proposed AI-agent action, then applies deterministic Python policy rules to return ALLOW, RETRY, HUMAN_REVIEW or BLOCK, with a FastAPI API, Celery worker and Next.js console.
Jev Tools & CLIs#community#control-plane#ai-agents
Community
Trevorton27/jev-opsPython
Trevorton27/jev-opsPythonMore Jev resources like this
A pluggable decision substrate for RAG pipelines: explicit state → Decision → confidence → action gates with Jev as the first swappable backend, plus a calibration-first evaluation harness for five decision primitives.
Jev Repos & SDKs#community#catalog-import#logicrw
Community
ajanm007/jevragPython
ajanm007/jevragPythonA MoonBit and TypeScript playground for Jev: an API client for noul, choice, and score questions, a single-question CLI, Jev-vs-Jev gomoku with real-time GIF replay, and experiments like an ESLint plugin whose verdicts come from Jev.
Jev Repos & SDKs#community#catalog-import#logicrw
Community
mizchi/jev-playgroundTypeScript
mizchi/jev-playgroundTypeScriptA zero-dependency tool selector that narrows a large pool of agent tools to the relevant few before the LLM call, running offline with TurboQuant or on TypeSafe Jev when a TYPESAFE_API_KEY is set.
Jev Repos & SDKs#community#catalog-import#logicrw
Community
hemanth/tool-pruneJavaScript
hemanth/tool-pruneJavaScriptA Windows UI Automation extension of arc-cua: a planner hands off a bounded subtask and a fast JEV-powered decision loop observes the desktop, picks legal actions and drives real Windows apps locally.
Jev Repos & SDKs#community#catalog-import#logicrw
Community
vbs2004/jev-windows-agentPython
vbs2004/jev-windows-agentPythonOpen reimplementation of the Jev decision-model idea: masked-logit softmax turns any small local LLM or OpenAI-compatible API into a type-safe decision engine with raw probabilities. Also ships a WeChat/QQ/Telegram crush radar with a verdict and next-move advice.
Jev Repos & SDKs#community#catalog-import#logicrw
Community
lookski/openjevPython
lookski/openjevPythonPython with a smart if: .jev files add the ~ question operator and jev/case blocks that Jev answers with a number or a label, never text. Files are rewritten to plain Python at import time; every ~ is one paid TypeSafe API call.
Jev Repos & SDKs#community#catalog-import#logicrw
Community
sumanmichael/jevlangPython
sumanmichael/jevlangPythonFrom the Jev guides
Original write-ups on what this entry is for.
From the Jev AI model community
Posts from builders shipping with Jev right now.