Le post de lancement de Jev
Diogo Almeida présente Jev, un modèle de décision structuré de TypeSafe. Cette ressource propose un aperçu de l'approche fondamentale du modèle, des exemples concrets et des mesures de performance rapportées par l'auteur.
JEVLe meilleur de Jev : projets concrets, guides pratiques et idées du web.
Updated 1 Resource
Diogo Almeida présente Jev, un modèle de décision structuré de TypeSafe. Cette ressource propose un aperçu de l'approche fondamentale du modèle, des exemples concrets et des mesures de performance rapportées par l'auteur.
TypeSafe lance officiellement son laboratoire de recherche et présente Jev à la communauté des développeurs. Cette annonce comprend un film de lancement réalisé par Diogo Almeida et fournit un contexte essentiel sur la mission et l'orientation future du projet.
TypeSafe a supprimé la liste d'attente pour Jev, permettant un accès public à la plateforme. Les développeurs peuvent utiliser la console officielle pour intégrer et tester des capacités de prise de décision typées dans leurs propres applications.
TypeSafe met en avant l'approche de sortie typée de Jev : les applications fournissent l'état et les questions, puis agissent sur les probabilités, les choix ou les scores. L'annonce liée couvre également l'intégration de l'API Venice.
AI-assisted summaries and translations. Check original sources for context and performance claims.
Ce projet présente un environnement d'exécution de navigateur pour agents utilisant TypeSafe Jev pour la prise de décision. Il illustre l'intégration du modèle Jev avec le runtime Aside pour gérer les choix, les scores et les opérations noul.
Vibecheck explore des méthodes pour gérer l'humour et le ton dans les interactions sur les plateformes sociales. Ce projet démontre comment des systèmes automatisés peuvent être appliqués à la modération communautaire et à la curation de contenu pour maintenir des normes d'engagement.
semdecide propose un cadre pour la prise de décision sémantique typée dans les pipelines Unix et les environnements CI. L'outil utilise TypeSafe AI Jev pour intégrer une logique structurée dans les flux de travail automatisés, visant à améliorer la fiabilité.
LLMtoJev est un outil qui analyse les prompts LLM pour identifier les décisions délimitées pouvant être migrées vers des primitives Jev. Il aide à extraire les tâches de classification, de notation et de logique booléenne pour optimiser les prompts génératifs.
Typed decisions from a System One model. An uncertain answer is a different type from a confident one — and the compiler makes you handle it.

Wallpets brings cinematic animal companions to your desktop with lightweight mouse-following behavior, idle play, and a growing pet catalog.
Explore sponsorCe projet démontre une implémentation de Typesafe.AI pour automatiser la génération de revues de différences de code. Il propose un flux de travail permettant d'intégrer l'analyse par IA dans les processus de contrôle de version pour assister les développeurs.
JEV picks which stream idea becomes the live MVP. TypeSafe System One decision board.
WXT browser extension: Jev-powered page clutter removal with reusable template rules.
JEVLAB ARTChrome extension that re-ranks Google results with TypeSafe Jev and folds away sales pages and SEO filler.
The first general-purpose System One agent for Jev.

Whale sharks drifting past. A quiet café after hours. Sixteen living worlds, just beyond your screen.
Explore sponsorCette ressource explique que Jev est un modèle de Système Un pour la prise de décision structurée et non un LLM de génération de texte. Elle montre aux développeurs comment intégrer Jev avec des agents de codage pour la classification, le scoring et le routage.
Cet outil convertit les fichiers de préférences AGENTS.md en un linter basé sur Jev. Il démontre une méthode pour automatiser la validation des configurations d'agents en exploitant l'architecture Jev afin d'appliquer des normes de comportement définies lors du développement.
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.
Ce projet présente un lanceur d'applications prédictif utilisant Jev pour interpréter l'intention de l'utilisateur. Il vise à améliorer la découverte d'applications en anticipant les besoins des utilisateurs grâce au traitement des intentions.
TypeSafe Jev playground — custom Choice/Score/Noul builder with live distributions.
chowder is a unified API layer that aggregates, normalizes, and serves your data from any source. One endpoint. Every ingredient.
Explore sponsorJev-Trades est un bot de trading utilisant le modèle système un Jev de TypeSafe AI. Ce projet illustre l'intégration de la logique du modèle Jev dans ses premières phases au sein de flux de travail de trading automatisés.
Ce projet présente un agent automatisé pour macOS qui utilise l'OCR pour lire l'écran et TypeSafe pour classer les actions. Le créateur affirme que cette méthode permet une efficacité de coût d'environ 0,0002 dollar par étape.
JEVLAB ARTCe projet de recherche évalue la valeur pratique des scores de confiance Jev lors de l'exécution de tâches. Il fournit un cadre permettant aux développeurs d'analyser la corrélation entre ces métriques et les performances du modèle dans des scénarios réels.
A Chrome extension that organizes bookmarks using user-defined rules for categorization.
JEVLAB ARTjev-scout est un outil open source destiné à explorer les dépôts et les crates. Il s'appuie sur le système de notation TypeSafe AI Jev System One pour fournir des résultats tout en visant à limiter les hallucinations.

Falconer is an AI-powered company brain that keeps your engineering documentation accurate, searchable, and up to date by syncing with GitHub, Slack, Linear, and the rest of your stack.
Explore sponsorBrowser use for coding agents, 3-5x faster than browser-use. MCP server + CLI; TypeSafe Jev decides every step in ~300 ms.
JEVLAB ARTA tool for automated risk review of pull requests using Jev.
Ce jeu de simulation propose de gérer une ville bâtie sur le dos d'une baleine. Il illustre un système de prise de décision intégré à GPT-6 Astra et H3 Max pour assurer la survie de la colonie.
Cette ressource présente les fonctions principales et les mesures d'évaluation de Jev en tant que modèle System One de TypeSafe. Elle offre un aperçu du fonctionnement du système et des critères utilisés pour évaluer ses performances dans les flux de travail d'agents.
JEVLAB ARTIl s'agit du serveur communautaire officiel de TypeSafe. Il sert de plateforme centrale où les constructeurs présentent des démonstrations en direct de leurs projets dans le canal dédié Show and Tell pour favoriser les échanges.
Lemonpod gives founders one morning brief that combines GitHub, calendar, tasks, inbox, and other work signals into a text summary and audio update. Start the day knowing what needs attention without checking multiple apps.
Explore sponsorCe projet explore l'intégration de Jev dans les flux de travail de conception UX/UI. Il démontre le potentiel du modèle pour interpréter des tâches liées aux couleurs et suggère de nouvelles façons d'interagir avec des interfaces créatives via des entrées textuelles.
Ce dépôt propose une collection communautaire de plus de 110 cas d'utilisation, jeux et défis logiques pour l'IA. Il dispose d'une interface mobile permettant aux utilisateurs de modifier des prompts et de comparer les résultats de différents modèles via des tests A/B.
Cet outil en ligne de commande utilise TypeSafe Jev pour identifier les informations personnellement identifiables dans le texte. Il montre comment détecter la présence de données, évaluer la sensibilité et extraire des plages de caractères pour les audits de confidentialité.
Ce prototype Python présente un agent jouant à Super Mario Bros. sur NES en interprétant des données RAM structurées. Il utilise Jev pour traiter l'état du jeu et décider des mouvements et des sauts appropriés pour le personnage.
Cette vidéo explore les capacités du nouveau modèle Jev. Elle propose une démonstration pratique du fonctionnement de l'architecture dans le contexte des modèles System One et discute de ses implications potentielles pour le développement futur de l'IA.

Cette expérience évalue Jev comme reranker de recherche, révélant des améliorations limitées par rapport à la recherche vectorielle classique. L'auteur rapporte des résultats mitigés qui varient considérablement en fonction des méthodes d'évaluation appliquées lors des tests.
What your last session knew, scored against what this one is doing. MCP server: a per-project ledger written as things happen, recalled per task with TypeSafe's Jev evaluation model via Vercel AI Gateway.
A self-hosted skills library with optional Jev recommendations.
JEVLAB ARTCe dépôt propose une démonstration publique de l'intégration de Jev et TypeSafe AI pour X. Il sert d'outil expérimental permettant aux développeurs d'explorer la manière dont ces frameworks interagissent dans un contexte de médias sociaux.
Jev Social présente un outil de recherche automatisé qui effectue des opérations de navigation limitées sur les réseaux sociaux. Il capture des preuves provenant d'Instagram, TikTok et LinkedIn pour générer des rapports cités basés sur les données récupérées.

Menta es el software de gestión clínica impulsado por IA. Una plataforma todo en uno para la gestión administrativa y clínica de profesionales y clínicas
Explore sponsorCette expérience évalue la capacité de Jev à résoudre des problèmes de recherche de chemin en comparant ses résultats à l'algorithme A* traditionnel. Le projet sert de démonstration pratique sur la manière dont Jev gère la navigation sur grille.
Ce projet présente une architecture de codage hybride où un Système 2 délibératif gère la logique complexe tandis qu'un Système 1 basé sur Jev assure des exécutions réflexes rapides. Il explore l'équilibre entre le raisonnement de haut niveau et les réponses automatisées immédiates.
Cet outil CLI en Python démontre une approche expérimentale de la recherche sémantique de lignes utilisant TypeSafe Jev et OpenRouter. Il fournit une interface légère pour interroger des données sans nécessiter de dépendances d'exécution complexes.
Small game that tests how Jev handles unknown input.
Cette publication communautaire propose une liste de répliques open-source de Jev développées au sein de l'écosystème chinois. Elle met en avant les spécifications techniques de chaque projet, offrant aux développeurs une référence pour explorer les implémentations régionales et les variations architecturales du framework Jev.

Für Ideen, Gespräche, Meetings und alles dazwischen.
Explore sponsorInterlock présente un cadre de sécurité utilisant Jev comme capteur pour réguler l'accès aux outils d'agents. Ce projet explore des méthodes visant à renforcer le contrôle opérationnel et la sécurité fonctionnelle au sein des environnements d'agents autonomes.
JEVLAB ARTJevArena présente un environnement compétitif où deux agents Jev s'affrontent dans des jeux par navigateur basés sur le clic. Ce projet explore l'intégration des frameworks Browser Use et TypeSafe Jev pour faciliter l'interaction autonome des agents au sein des interfaces web.
commentcop est un outil basé sur Jev conçu pour évaluer et auditer les commentaires dans le code source. Il propose un mécanisme automatisé pour examiner la qualité de la documentation, aidant les développeurs à maintenir des annotations plus claires et efficaces.
Ce serveur MCP intègre les modèles Jev de TypeSafe dans des agents IA, fournissant des sorties structurées telles que des jugements oui/non, des choix multiples et des scores basés sur des rubriques. Il permet aux agents d'effectuer des évaluations typées et directes des données.
Cette interface de terminal intègre OpenAI et TypeSafe Jev pour fournir des réponses. Elle démontre un flux de travail générant des rapports de décision transparents, permettant aux utilisateurs d'examiner le processus de raisonnement derrière chaque résultat fourni par le système.

Sound notifications for any AI agent — hooks for Claude Code, Cursor, Codex & more, plus an MCP server so the agent can choose its own sounds.
Explore sponsorCe dépôt propose des implémentations Python pour le modèle Jev de TypeSafe AI, illustrant l'utilisation de probabilités calibrées pour une prise de décision automatisée et typée dans les logiciels. Il couvre des cas comme le triage de sécurité, le traitement des factures et les garde-fous pour modèles génératifs.
Loki est un harnais pour agents auto-améliorants. Il propose un compagnon Jev optionnel à typage fort pour structurer les jugements de choix, de score et de Noul au sein des processus décisionnels des agents.
Cet outil utilise Jev pour scanner les bases de code à la recherche de comportements trompeurs ou de vol de données. Il signale les fichiers et les lignes suspects, permettant aux utilisateurs d'évaluer les risques potentiels avant toute exécution.
JEVLAB ARTCette expérience présente StarCraft Brood War fonctionnant via WebAssembly en tant que serveur MCP. Elle montre un agent IA tentant de jouer, bien que le créateur précise que l'agent a été vaincu par une attaque Zerg.
1,800-point thread debating whether typed decisions replace LLM calls for classification, routing, and scoring.

The AI-augmented control plane for cybersecurity — unify your security stack, quantify cyber risk in dollars, and run governed AI agents.
Explore sponsorTypeSafe Jev as a decision layer for the Pi coding agent: a measured tool-call gate plus jev_ask for typed, calibrated answers.
Jev Calc est un carnet de calcul intelligent capable d'effectuer diverses opérations grâce à la puissance de traitement de Jev. Cet outil illustre comment les entrées en langage naturel peuvent être analysées et calculées dans un environnement documentaire structuré.
Ce guide de référence de TypeSafe AI présente les stratégies essentielles pour mettre en œuvre des garde-fous dans les grands modèles de langage. Il montre comment établir des limites de sécurité pour gérer les sorties du modèle et atténuer les risques potentiels lors du déploiement.
Cet outil automatise le contrôle qualité en effectuant quatorze vérifications sur les pull requests. Il vise à identifier les problèmes potentiels tels que les secrets codés en dur ou les modèles SQL suspects lors du développement.
Ce guide de TypeSafe AI présente des méthodes systématiques pour vérifier l'exactitude des citations générées par les LLM. Il propose des flux de travail essentiels pour garantir que les sources référencées sont authentiques et correctement attribuées lors des tâches de recherche.

Guideless is an AI-powered platform that turns software workflows into video training guides.
Explore sponsorJob Risk Analyzer est un outil CLI et API REST conçu pour évaluer les risques professionnels. Il utilise Jev pour calculer un score d'exposition des métiers aux licenciements liés à l'IA et pour mesurer leur résilience globale.
Ce projet propose un agent de navigateur TypeScript pour ego lite. Il illustre une approche des actions indexées Jev et de la prise de décision TypeSafe via une interface CLI persistante, sans dépendance à Chrome ou Playwright.
Ce projet démontre une méthode pour interroger des LLM locaux sur Apple Silicon afin d'obtenir des probabilités calibrées plutôt que du texte. Il vise à fournir des sorties structurées directement, en contournant la génération de texte et l'analyse syntaxique.
Ce projet propose une implémentation de serveur MCP secondaire pour Jev. Il sert de ressource technique aux développeurs souhaitant intégrer des composants basés sur PyModel dans leurs flux de travail d'agents compatibles avec Jev.
Ce projet démontre l'utilisation du modèle d'IA Jev pour résoudre le jeu du Démineur. Il utilise des modèles de fan-out spéculatif et de routage basé sur la confiance pour évaluer les probabilités de mines, en les comparant à un solveur déterministe.
A GitHub project implements a web search tool where Jev selects sources for plain-language queries.
Head-to-head test at validating local event listings, with cost and latency.
Typed decisions with TypeSafe's Jev, the first System One model.
Ce guide TypeSafe AI présente des techniques pour catégoriser les passages récupérés au sein des pipelines RAG. Il enseigne aux développeurs comment implémenter une logique de classification afin d'améliorer la pertinence et la précision des systèmes de recherche d'informations.
A tool for verifying generated code against specified requirements.

Wallpets brings cinematic animal companions to your desktop with lightweight mouse-following behavior, idle play, and a growing pet catalog.
Explore sponsorCette démonstration explore l'utilisation de l'ingénierie d'inférence et des points de terminaison de notation pour orienter les modèles open source vers une prise de décision de type Jev. L'auteur présente un flux de travail pour implémenter ces ajustements comportementaux.
Nushell module for the TypeSafe System One API: typed decisions with calibrated probabilities.
A community post shares a tech talk by Jev's founder, highlighting its speed, cost-effectiveness, and lack of hallucination.
Cette simulation par navigateur présente une voiture autonome 2D pilotée par le modèle de décision Jev. Le projet illustre la manière dont le cadre gère la navigation en temps réel et la logique de recherche d'itinéraire dans un environnement virtuel.
Ce dépôt propose une cartographie factuelle des performances de Jev, s'appuyant sur des journaux d'appels API réels pour identifier les points forts et les limites. Il constitue une ressource utile pour évaluer la fiabilité du système via des données empiriques vérifiables.
JEVLAB ART
Whale sharks drifting past. A quiet café after hours. Sixteen living worlds, just beyond your screen.
Explore sponsorValidated enhancement pack for MiniMax Code CLI on arm64 DGX Spark + local GLM-5.3-EXL3: TUI scrollbar + context-meter patches, compaction repair for local vLLM, Jev Ultrafast + Playwright MCP browser integration, real usage ledger.
Build versioned judgment functions on TypeSafe's Jev once, then call the same published version from your backend over HTTP and from coding agents over MCP. The vendor key stays on your machine.