jevbooks

← All projects

neo4jev

jexp/neo4jev

Navigate a Neo4j graph hop-by-hop with TypeSafe Jev decisions.

What it is

A demo application and reusable library that navigates a Neo4j knowledge graph one hop at a time, for developers exploring structured graph traversal with TypeSafe's system_one API instead of free-text LLM generation.

How it uses Jev

At each visited node, outgoing relationships are presented as Choice options (relationship type, properties, target node label/properties), returning a probability distribution over which relationship to follow. A Noul question asks whether the goal has been reached, riding in the same system_one call. Top-k/cutoff selection over probabilities implements beam search, ranked by sum of log-probabilities.

Primitives:choicenoul

Technique worth stealing

Beam search over Jev Choice probabilities, ranked by sum of log-probabilities to avoid float underflow and length bias.

Try it

uv sync, copy .env.example to .env with credentials, then run notebooks under notebooks/ in order.

View on GitHub

judged by Jevjev-1.13.0

Evidence

Each line is one question put to Jev about the README. ≥ 0.60 reads as yes, ≤ 0.40 as no; in between Jev is not making a call.

  • Jev-centricyes0.96
  • Shows a System One patternyes0.90
  • Handles uncertaintyno0.10
  • Measuredno0.07
  • Runnableunclear0.57
  • Worth recommendingyes0.68
  • Model replicano0.05
  • Problem scopescore on a 0–2 scale0.23
  • About Jevyes0.98

Signals by Jev jev-1.13.0, card written by DeepSeek V4.1 Flash from the README on 23 Sept 2026.