jev-spec
Specification-driven semantic verification engine that uses Jev to check AI-generated code and specs against explicit requirements.
- GitHub stars
- 4 as of 2026-09-22
- Forks
- 1
- Language
- TypeScript
- License
- MIT
- Created
- 2026-09-20
- Last updated on GitHub
- 2026-09-21
- Added to AionEdge
- 2026-09-21

What Jev does in jev-spec
The project describes itself this way: Specification-driven semantic verification engine that uses Jev to check AI-generated code and specs against explicit requirements. In the Agent tooling category, Jev typically decides which tool, skill or model to use next, whether a step is finished, and whether an action is risky enough to stop.
Verification
Verified. We confirmed this repository and its Jev relevance through the GitHub API and the source lists below. A specific file link has not been recorded yet.
Topics
- agent-skills
- ai
- biome
- go
- jev
- linter
- typesafe-ai
- typescript
How Agent tooling projects use Jev
Agent tooling is where Jev sees the most experimentation. These projects sit inside coding agents and assistants such as Claude Code, Codex and Pi, and hand the many small, repetitive choices an agent makes to a fast decision model, leaving the large model free for reasoning and writing.
Related Jev projects in Agent tooling
- jev-skill-gateShivamPansuriya/jev-skill-gateRanks Claude Code skills for the current project to reduce the descriptions loaded by default.★ 4
JavaScript - jev-prefdoeixd/jev-prefTurns AGENTS.md preferences into rules checked by Jev against hunks, staged files or PRs.★ 4
JavaScript - reflexkaustav1996/reflexA coding agent and personal assistant with System One reflexes (TypeSafe Jev) on top of the Pi coding agent.★ 4
TypeScript - jev-predict-skillDanielKillenberger/jev-predict-skillAn Agent skill recipe that predicts another skill’s closed-set outcome from its rules and evidence.★ 3
HTML - jev-judgmentHyunjunJeon/jev-judgmentAdds judgment checks for authorization, operation risk, and failure causes to coding Agents.★ 3
Python - jevexjvsteiner/jevexAn Agent experiment where Jev directs a tool loop, a chat model fills arguments and prose, and MCP tools execute.★ 3
Python