shipwithjev

Catalog / Tools & apps

0024GitHub

jev-spec

Checks generated code against the specification that asked for it.

Nozomi Koborinai’s engine compares code and specification by meaning rather than by diff, and Jev answers whether each requirement is actually met.

nozomi-koborinai/jev-specREADME ↗
# jev-spec

[](https://www.npmjs.com/package/jev-spec)
[](https://github.com/nozomi-koborinai/jev-spec/actions/workflows/ci.yml)
[](https://nodejs.org/)
[](https://bun.sh/)
[](./LICENSE)
[](https://github.com/sponsors/nozomi-koborinai)

<p align="center"><img src="./assets/hero.png" alt="jev-spec: catch spec drift on every commit" width="100%" /></p>

🌐 [日本語](README.ja.md) | [简体中文](README.zh.md) | [한국어](README.ko.md)

**Catch spec drift on every commit.** `jev-spec` checks your code against the requirements in your Markdown specification and fails the build when they drift apart. It asks [TypeSafe AI's Jev model](https://docs.typesafe.ai) one focused question per requirement, gets a probability back, and compares it with a threshold you set. That makes it small enough for a pre-commit hook and strict enough for a CI gate.

```text
$ npx jev-spec check

=== jev-spec Check Report ===

Target: auth [✖ FAILED]
  Spec files: docs/specs/auth.md
  Code files: src/auth/session.ts
  Model: jev-1.13.0
    ✔ REQ-AUTH-01: probability: 0.97
    ✖ REQ-AUTH-02: probability: 0.08
       └─ Violation: Probability 0.08 is below minimum threshold 0.85
    ✔ introducesUnspecifiedBehavior: probability: 0.03

Overall: ✖ CHECKS FAILED

$ echo $?
1
```

*Example report. The layout is what the CLI prints (timing and cost lines omitted); the probabilities are illustrative.*

`jev-spec` is an independent open-source project. It is not affiliated with or endorsed by TypeSafe AI. Please report problems with `jev-spec` in [this repository](https://github.com/nozomi-koborinai/jev-spec/issues), not to TypeSafe.

---

## Why jev-spec?

Linters and schema checks can tell you that `REQ-AUTH-02` exists, is well formed and is linked from the right place. They cannot tell you whether the code does what `RE

Also filed under Tools & apps

  1. 0616

    Jevstiller: distill Jev calls into a local model

    A self-hosted proxy that trains a local model on Jev's answers. It served 72% of Banking77 locally at 15 ms, with a 2% audit and a bound on disagreement.

    tomerglick57 · Tools & apps · 15 ms local

  2. 0611

    Scruple: code checks for what linters miss

    Semantic-aware linting with System One models: rules you can state in a sentence, checked against your code by Jev.

    @nalexpeae · Tools & apps

  3. 0606

    Algolia-style Postgres search with a Jev reranker

    Typo tolerance, typeahead, barcodes and facet counts in plain Postgres SQL, plus an optional Jev step that asks one question per top-10 result.

    @alex_forman1 · Tools & apps

  4. 0604

    Virtual Closet: outfits from closet videos

    built a virtual closet & outfit generator from raw closet videos. classification + semantic search thanks to jev 🥰. clueless closet dreams finally coming to life

    @maitreemervana · Tools & apps