Docs / source reviewed

jev-navigator

Locate code from a behavior description while preserving uninspected scope

ajbmachon · Sources checked 2026-09-30

Added to this collection 2026-09-30

How this project uses Jev

Input: A natural-language target, candidate code spans with file and line references, and static call, reference and neighboring-location facts
Jev decides: The TypeSafe SDK asks Jev whether a span contains the target, whether neighboring locations may be relevant, and which candidate to inspect first
Code executes: Local code owns the queue, budget and stopping rules, retaining found, uncertain and uninspected items with provenance, probabilities and request records for review or resumption

Evidence and limitations

MIT licensing, the Jev adapter and search loop were reviewed without installation or model calls. A hit does not prove correctness, and search exhaustion does not prove no other implementation exists. Static relationships and budgets limit coverage. Hosted calls transmit code context, and evidence packs contain source; handle both according to repository sensitivity.

This project has not been run independently here. Author-reported results are not independently verified results.

Original sources

Explore related use cases

Browse this category →