User repository on GitHub
Community-maintained history of Jev / TypeSafe System One APIs, SDKs, agent guidance, and engineering best practices.
- Forks
- 0
- Last pushed
- Updated Oct 2026
Repo stats from the GitHub API, cached Oct 2026.
CommunityJev Repos & SDKs
Jev Docs
A synchronizer that watches the official TypeSafe docs, agent skill and SDK repositories and regenerates a provenance-tracked reference: current state, semantic events and human-readable change reports.
- Stars
- 6
- Language
- Python
- License
- MIT
- Published by
- Community
- Author
- chenrui333
- Last verified
- Oct 2026
About this project
Community-maintained history of Jev / TypeSafe System One APIs, SDKs, agent guidance, patterns, and engineering best practices. This is an unofficial reference project. It is not maintained by TypeSafe and does not speak for TypeSafe. The synchronizer observes official TypeSafe sources only: the live documentation index at docs.typesafe.ai/llms.txt, its discovered Markdown pages, and the public sitemap;
Quoted from the project's README. Read the full README.
- Languages
- Python
Highlights
- Tracks the docs index, the official skills repo and both SDK repos, recording URLs, hashes and timestamps.
- It records hashes and small excerpts rather than mirroring the hosted docs, because no license for them was found.
- Practice statuses are recommended, discouraged, anti_pattern, deprecated or unknown, and removal needs evidence.
- Strict sync runs on a schedule, needs no API key, and fails loudly instead of overwriting last-known-good state.
Watch out
This is a mirror and validator, not documentation, so the useful reading is BEST_PRACTICES.md plus the state files. SDK capability claims are asymmetric: Python entries are attributed only after matching a published version, tag commit, release configuration and immutable changelog, while JavaScript parity is not inferred at all, so an empty JavaScript list means nothing was established rather than nothing existing. A strict sync can fail on an SDK package and tag discrepancy until the upstream evidence converges. Community posts, third-party integrations, private APIs, benchmarks and any hosted-doc mirror are deliberately out of scope. Copy reviewed against the repository README on 2026-10-04, not from running it.
Questions about this entry
Short answers drawn from the linked project or page.
Deliberately not. The synchronizer records URLs, discovery metadata, content hashes, timestamps and short excerpts needed to audit the generated state, rather than copying the hosted documentation wholesale. The reason given is licensing: the SDK and skill repositories are MIT, but no license for the hosted documentation was found, so the repository's own MIT license covers only repository-authored material.
No, it means nothing was independently established. JavaScript capability parity is not inferred, and an empty capability list explicitly means the extractor has no established entries. Python is held to a higher bar in the other direction: capabilities are attributed only after matching a published package version, tag commit, release configuration and immutable changelog, and a mutable main commit is never treated as a release.
Nothing automatic. A practice vanishing from one page is not marked deprecated, because removal requires explicit evidence, so a failed or partial source fetch cannot erase a recommendation. Missing guidance is recorded as unknown rather than filled in. Current state is generated from observations by deterministic reviewable rules, and semantic summaries keep the source and excerpt they came from.
Yes, on Python 3.10 or newer with the uv version pinned in pyproject.toml, then just setup, just sync and just check-strict, which validates generated JSON, provenance and fixture-backed determinism. Scheduled runs need no TypeSafe API key and commit only real changes. Run actionlint separately for workflow syntax, note that commits must use git commit -s, and be aware that a failed run leaves the last-known-good state untouched rather than half-updating it.
Official TypeSafe surfaces only: the live documentation index at docs.typesafe.ai/llms.txt, the Markdown pages discovered from it and the public sitemap; the official typesafe-ai/skills agent skill; and the official Python and JavaScript SDK repositories with their package metadata, tags and releases, and documented changelogs. The TypeSafe-owned system-one-adapter-python is tracked separately as an official_evaluation_tool, and its version, commit and provider families are metadata, not Jev capabilities. typesafe-ai.github.io is excluded as a static landing page.
BEST_PRACTICES.md is the concise current guide for humans and coding agents. MODEL_LIMITATIONS.md holds upstream-documented weaknesses of specific model versions, separate from the stable programming model, and missing guidance becomes unknown rather than fixed. state/ is deterministic structured current state where every derived item carries source URLs and hashes. state/cookbooks.json lists official recipes by category and difficulty. sources/ holds manifests, not a bulk web mirror, events/ holds append-safe semantic events, and changes/ holds human-readable daily reports.
Three layers. Observed evidence is a URL, repository path, package response, immutable tag or commit where available, observation timestamp and SHA-256 hash. Current state is generated from those observations by deterministic, reviewable rules. Semantic summaries such as practice statuses are conservative interpretations of explicit wording and retain the matching source and excerpt. Web documentation history starts at the first successful bootstrap, while SDK and skill history can reach further back where tags or commits provide it. Unknown history stays unknown.
More Jev resources like this
8GitHub stars
Early-alpha Haskell DSL for building Jev question packets as expressions with inferred types, exact request rendering, and exhaustive typed answer handlers.
Jev Repos & SDKs#community#jevbest#catalog-import
Community
inanna-malick/jev-dslHaskell
inanna-malick/jev-dslHaskell1GitHub stars
A Python layer over a small decision-provider contract that adds validated distributions, batching, budgets, ranking and exportable records, with Jev as the first provider.
Jev Repos & SDKs#community#jevbest#catalog-import
Community
yairshy/decidoPython
yairshy/decidoPython4GitHub stars
TypeScript router that spends one Jev call deciding how an agent turn should run — model tier, effort budget, which tools are on offer and which skill applies — then your own harness runs the turn on whatever provider it already talks to.
Jev Repos & SDKs#community#awesomejev#catalog-import
1GitHub stars
Vendor-neutral Python SDK for System One decision models. One ask(state, questions) call over noul, choice and score, with provider choice expressed as a config class rather than a string. Hosted backends, a Fastino GLiDE preset, and an in-process ONNX path needing no torch at runtime.
Jev Repos & SDKs#community#awesomejev#catalog-import
Community
asynq-io/system-onePython
asynq-io/system-onePython51GitHub stars
Local LinkedIn recruiting workspace on Browser Use's Jev Ultrafast: Jev screens titles, drives navigation, and assesses profile excerpts against your brief while a live browser stays visible; matches and evidence export as JSON.
Jev Agents & MCP#community#jevbest#catalog-import
Community
skeptrunedev/jev-recruiterPython
skeptrunedev/jev-recruiterPython33GitHub stars
Codex Skill plus stdlib-only Python CLI that recommends which installed skill to read next for a task, allowing no-skill or uncertain answers and never executing candidates.
Jev Agents & MCP#community#jevbest#catalog-import
Community
win4r/jev-skill-suggesterPython
win4r/jev-skill-suggesterPythonFrom the Jev guides
Original write-ups on what this entry is for.
Closed weights have not stopped the ecosystem from rebuilding the shape in the open. API-compatible servers, retrained heads on small models, and inference-time tricks that skip generation entirely.
Jev Repos & SDKs#open-models#research#local
Read article
From the Jev community
Posts from builders shipping with Jev right now.