s1s

System One Search: navigate and trace code with TypeSafe judgments and repository evidence

How it uses Jev

System One Search ( s1s ) navigates a Git repository using code and Jev, TypeSafe’s decision model. The engine does not use an LLM to generate explanations. Its answers consist of source paths, identifiers, extracted comments and real references.

Source: community catalog. Details and metrics reflect the published community snapshot and are not a performance endorsement. Documentation details extracted from GitHub · the README · the project website.

Keep exploring

Similar to s1s

Browse all
blink project preview
Applications
Codebase search powered by Jev from @typesafe-ai
jgrep (kyu1204) project preview
Applications
grep for what code does, not what it's called. Semantic code search powered by TypeSafe Jev.
nlgrep project preview
Applications
TypeScript CLI that finds code, docs, logs, and text by natural-language conditions using Jev Noul judgments, with probability thresholds, source lines, and cached results.
pijev project preview
Agent tooling
PiJev: a terminal coding agent with Jev in the loop — Jev ranks the repository's files before the first call, picks skills and triages failures; your coding model writes the code. Built on Pi.
jev-search project preview
Agent tooling
Search the web with TypeSafe's Jev: source selection, query understanding and relevance ranking. Built with Search1API.
jev-trace-classifier project preview
Benchmarks & research
Application of TypeSafe Jev (noul judgment primitive) on the collusion.wiki corpus: agent vs human page authorship, head-to-head vs local Qwen3.8-Flash-Next
jevsearch project preview
Demos & playgrounds
Site search that understands the question. Ranked by TypeSafe's Jev model.
perch project preview
Agent tooling
Open-source CLI that parses a repository into a method-level call graph, then asks Jev to flag likely defects and check project rules written in plain English.
jevc project preview
Integrations
Compile agent policy prose into deterministic verdict programs: narrow evidence questions for the model, the verdict computed in code. Install: npm i -g jev-compiler