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.
Le meilleur de Jev : projets concrets, guides pratiques et idées du web.
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.
Start with the Launch Post. Explore four official signals.
AI-assisted summaries and translations. Check original sources for context and performance claims.
Ce projet présente un joueur Minecraft autonome piloté par TypeSafe AI. Il démontre des capacités de prise de décision en temps réel, notamment la construction d'un drapeau canadien, avec un tableau de bord latéral pour suivre les actions de l'agent.
Cette extension Chrome étiquette les publications sur X à l'aide de jugements Jev. Elle illustre une méthode d'analyse de contenu en temps réel et propose un compteur en direct pour suivre les coûts de traitement lors de la navigation.

Für Ideen, Gespräche, Meetings und alles dazwischen.
Explore sponsorCe projet propose un réviseur contradictoire et un utilitaire typesafe_ask pour l'agent de codage omp. Il démontre une méthode pour intégrer les principes de TypeSafe AI dans les flux de travail de codage automatisés afin d'améliorer la fiabilité et la sécurité du développement.
Cette documentation de référence officielle explique la primitive Choice au sein du framework TypeSafe AI. Elle détaille l'implémentation structurelle et les modèles d'utilisation recommandés pour les développeurs intégrant une logique de prise de décision dans leurs applications.
Comment-moderation playground: paste a comment, Jev decides what to do with it.
Chess where both players are TypeSafe's Jev model: every move is a typed Choice decision.
harnessjudge fournit un cadre pour évaluer les flux de travail des agents via TypeSafe Jev. Il illustre comment classer systématiquement les étapes d'un agent en succès, nouvelle tentative, escalade ou arrêt, en se basant sur une logique opérationnelle définie.

Wallpets brings cinematic animal companions to your desktop with lightweight mouse-following behavior, idle play, and a growing pet catalog.
Explore sponsorVal Town demo where 16 typed judgments update live as you type.
Ce projet intègre Jev dans les frameworks Noul et Score pour prendre en charge les applications MCP. Il démontre comment les développeurs peuvent implémenter des structures à typage sécurisé dans les flux de travail d'agents pour améliorer la fiabilité des systèmes IA modulaires.
Cet outil propose un pare-feu en temps réel pour les agents de codage IA. Il intercepte les appels d'outils via des règles déterministes et une vérification Jev pour décider d'autoriser, de bloquer ou de demander une approbation manuelle pour les actions.
Ce projet montre comment Jev permet à Grok Bot de piloter directement le navigateur Chrome. Le créateur affirme que cette approche remplace les clics manuels par une exécution automatisée des tâches, visant ainsi à accélérer les flux de travail sur navigateur.
jcr est un outil de développement conçu pour transformer les requêtes vagues des agents en commandes déterministes. Ce projet vise à accroître la fiabilité des systèmes pilotés par des agents en garantissant des chemins d'exécution structurés.

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 sponsorProbably: live BTC, ETH, and XRP prices with a shared TypeSafe buy-or-wait demonstration. No trades placed.
Cette documentation de référence officielle fournit un aperçu complet des SDK clients disponibles pour TypeSafe AI. Elle constitue une ressource fondamentale pour les développeurs souhaitant intégrer les capacités de TypeSafe AI dans leurs applications à l'aide des langages pris en charge.
Practical, tested recipes for TypeSafe's Jev decision model on OpenRouter: support triage, database indexing, file organizing, tagging, taxonomies, dedupe, PII detection, extraction, search re-ranking and a browser agent.

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 sponsorjev-hub est un répertoire organisé regroupant des articles détaillés et des vidéos de démonstration sur Jev, le modèle d'IA de type sûr System 1. Il centralise les ressources communautaires pour faciliter l'accès aux discussions et aux exemples pratiques du framework.
Ce projet propose une interface de chat expérimentale traitant les entrées de caractères bruts via TypeSafe Jev Choice. Il illustre une approche innovante des modèles d'interaction observables et structurés au sein de l'écosystème Jev.
TypeSafe's Jev plays Atari Pong. One typed Choice question per frame, no coordinates sent to the model.
Cette référence officielle de TypeSafe présente le cadre d'évaluation de la confiance des modèles. Elle explique comment les développeurs peuvent mesurer et interpréter les métriques d'incertitude pour améliorer la fiabilité et la sécurité des processus de décision pilotés par l'IA.
Ce projet de laboratoire démontre l'autonomie de drones multiples en utilisant la prise de décision réflexe TypeSafe Jev. Il explore comment ces actions réflexes peuvent être intégrées à une guidance stratégique optionnelle de Système 2 pour gérer la navigation aérienne.
Jev (TypeSafe System One) backed auto mode for the Pi coding agent: semantically auto-approves bash, write, and edit tool calls and fails closed when a decision cannot be made.
Ce dépôt fournit un client Mint supervisé conçu pour interagir avec l'API TypeSafe AI System One. Il sert d'implémentation pratique pour les développeurs souhaitant intégrer les fonctionnalités de TypeSafe AI dans leurs projets basés sur Mint.
Arbiter est un outil de développement conçu pour servir des modèles de décision personnalisés via une API compatible avec Jev. Il permet aux développeurs d'implémenter une logique de décision structurée et adaptée au sein de leurs applications grâce à une interface standardisée.
Grep by meaning, across languages. TypeSafe Jev scores every line against a meaning; combine meanings with AND/OR/NOT. 意味で探す grep。日本語で英語を、英語で日本語を検索できる.
Ce dépôt propose une collection d'expériences utilisant openjev, un exécuteur open source pour le traitement des logits d'options de style Jev. Il démontre comment implémenter et tester ces techniques d'inférence spécifiques lors de l'exécution de modèles de langage locaux.

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 sponsorIf you're experimenting with jev it will be easier from here.
Crowdcheck est un outil permettant de tester des publications auprès de 10 000 personas synthétiques. Il aide les utilisateurs à anticiper les réactions potentielles et à affiner leurs messages avant toute diffusion publique.
Cette proposition explore la mise en œuvre de modèles personnalisés de style Jev conçus pour optimiser les flux de travail des agents. L'auteur suggère que ces modèles spécialisés pourraient potentiellement réduire les coûts de calcul lors des processus décisionnels automatisés.
A visual TypeSafe demo where Jev chooses verified Tetris placements.
See what Jev thinks about your SaaS website — powered by ReplyNodes web context and Vercel AI Gateway.

Guideless is an AI-powered platform that turns software workflows into video training guides.
Explore sponsor发明 RLHF 的人,这次做了个不会说话的模型:Jev 独立研究报告。52 页 PDF + 50 条中文实测复现包 + 143 条可回溯数据表.
INSTRUCT_JEV - TypeSafe AI Jev / System One instruction corpus (choice/noul/score), compiled by DeckerGUI. 119 rows. Mirrored on HuggingFace.
Grok skill: Jev as a judgment sensor in a builder-agent loop (priors × probabilities → next act).
Ce guide de référence TypeSafe explore l'auto-cohérence des nouls dans les modèles d'IA. Il fournit une documentation technique sur le maintien de la cohérence logique et de l'intégrité structurelle lors du traitement de ces types de données dans les flux automatisés.
看看 Jev 能做什么:用中英文讲清热门应用、工作原理和各自优缺点。Explore Jev apps with plain-language examples, explanations, and comparisons.

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 sponsorCe 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.
Experimental Hermes plugin: Jev-assisted model routing plans with budget and capability constraints. API access pending.
Ce projet évalue la calibration de Jev à l'aide de 900 tickets de support générés par des règles et des benchmarks publics. Il propose une analyse indépendante de la mauvaise calibration via des métriques ECE et un réajustement de température, offrant un cadre reproductible.
Cet outil implémente le routage de modèles et de raisonnement par tour pour Codex en utilisant Jev. Il démontre un système qui sélectionne dynamiquement le modèle, la profondeur de réflexion et le mode de vitesse appropriés pour chaque tour d'interaction.
Ce plugin pour Claude Code intègre Jev pour noter les résultats de revue, les hypothèses de débogage et les options de conception. Il vise à fournir des évaluations de probabilité calibrées plutôt que de simples opinions.
chowder is a unified API layer that aggregates, normalizes, and serves your data from any source. One endpoint. Every ingredient.
Explore sponsorCe dépôt explore l'exécution de décisions typées en parallèle de style Jev sur des modèles de 1,5B à 8B via des ordinateurs portables Apple Silicon. Il propose des notes de recherche et une démonstration pour tester les performances locales.
Ce dépôt propose des expériences interactives allant du routage de support à la simulation de conduite 3D. Il démontre comment des données de capteurs structurées permettent de générer des décisions de conduite typées comme diriger, freiner ou dépasser.
Cet outil agit comme une boule magique 8 pour les demandes de tirage, fournissant l'une des vingt phrases classiques. Le créateur affirme que l'agent choisit les réponses en fonction des signaux réels de la PR en environ 200 millisecondes.
Cette interface en ligne de commande facilite l'interaction avec le modèle d'évaluation Jev. Elle démontre un flux de travail permettant de soumettre des requêtes typées et d'obtenir des réponses au format JSON structuré, visant à simplifier les processus d'évaluation automatisés pour les développeurs.
otto est un agent open-source pour macOS et Windows permettant une interaction native avec l'ordinateur. Il utilise TypeSafe Jev, l'OCR local et une planification sélective pour effectuer des tâches directement sur l'environnement de bureau.

The AI-augmented control plane for cybersecurity — unify your security stack, quantify cyber risk in dollars, and run governed AI agents.
Explore sponsorHead-to-head test at validating local event listings, with cost and latency.
Ce projet explore la faisabilité d'exécuter des flux de travail basés sur Jev en utilisant des modèles de langage locaux. Il fournit un cadre permettant aux utilisateurs d'expérimenter des implémentations privées et hors ligne des architectures Jev sur leur propre matériel.
Ce serveur MCP intègre TypeSafe Jev dans Claude Code, offrant des outils structurés pour la classification, la notation et le traitement par lots. Il démontre comment exposer des capacités de jugement calibrées sous forme de fonctions standardisées pour les flux de travail automatisés.
Cet outil implémente un crochet d'arrêt pour Claude Code afin de vérifier l'achèvement des tâches. Il analyse les transcriptions pour trouver des preuves et consulte Jev pour valider les résultats, tout en restant ouvert si la vérification est incertaine.
Cet article explore le cadre Jev, en se concentrant sur la manière dont les modèles de Système Un facilitent les processus de prise de décision automatisés par l'IA. Il examine le changement architectural des interfaces de chatbot vers des modèles d'exécution basés sur la logique.
Ce projet démontre une méthode pour contrôler la version shareware originale de StarCraft via TypeSafe Jev. Il utilise l'émulation du clavier et de la souris basée sur des probabilités d'action enregistrées pour interagir avec l'environnement de jeu.
Ce projet propose un agent d'assistance personnelle basé sur eve de Vercel. Il utilise 100 outils simulés pour comparer l'efficacité de Jev par rapport aux LLM standards en mesurant le nombre d'étapes nécessaires pour accomplir des tâches spécifiques.
Prompt-injection and dangerous-action guard for coding agents (Claude Code, Codex, pi, ACP), powered by Jev.
Local bilingual probability decisions from context, questions, and candidate answers. Independent research preview inspired by TypeSafe Jev.
Cette extension Chrome intègre Jev pour analyser le ton et le sentiment des publications sur X. Elle permet aux utilisateurs de vérifier leurs brouillons avant la publication afin de s'assurer que le message correspond au style de communication souhaité.

Für Ideen, Gespräche, Meetings und alles dazwischen.
Explore sponsorCe projet propose un environnement d'utilisation informatique basé sur navigateur intégrant Chrome DevTools et TypeSafe Jev. Il sert de plateforme de test pour le benchmark Browser Use Olympics afin d'évaluer les performances des agents dans les tâches de navigation web automatisées.
An awesome collection of Jev use cases, workflows, and agent skills.
Ce document de référence officiel présente les principes fondamentaux de System One. Il sert de guide essentiel pour comprendre le cadre architectural et les modèles de conception conceptuels utilisés au sein de l'écosystème TypeSafe AI.
Ce projet présente une implémentation de recherche arborescente de Monte Carlo discriminative. Il utilise les primitives TypeSafe Jev System One intégrées à Gemini pour faciliter des processus de prise de décision structurés au sein d'un cadre d'agents.
Cet outil propose un routeur de capacités par prompt pour les agents de codage. Il résout les compétences installées, les serveurs MCP et les commandes via TypeSafe Jev tout en évaluant l'impact réel de ces injections sur les performances.
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 présente le routage d'outils sémantiques et la prise de décision typée de type Système Un pour l'agent de codage Pi. Il utilise TypeSafe Jev pour structurer les flux de travail des agents et améliorer la fiabilité des tâches de codage automatisées.
Bounded exploratory browser testing with Jev, deterministic assertions, and replayable evidence.
jev-router (skill). A developer project using Jev to select appropriate models for prompts in coding tasks.
Jev Arcade propose une expérience de tir à la première personne en 1 contre 1 où Jev gère de manière autonome les déplacements, la visée et les actions de combat. Cette démonstration web illustre des capacités de prise de décision en temps réel à 9 Hz.
TypeSafe structured-output provider for RubyLLM 2.
A flexible and configurable CLI model router using TypeSafe Jev.

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 sponsorUse Jev (TypeSafe's System One model) as a calibrated reranker: one call, up to 30 documents, a probability per document. Apache-2.0.
Live verdict page: feeds Jev the day’s Florida Man, odd-news, politics and world headlines and asks all three primitives whether AI should kill us all, refreshed every ten minutes.
Ce dépôt fournit un modèle pour mettre en œuvre des flux de travail décisionnels basés sur des politiques avec Jev. Il illustre des modèles de routage de confiance, de mécanismes de secours et d'intégration RAG pour renforcer la fiabilité des applications TypeScript.
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.
Ce projet présente un agent basé sur Jev évoluant dans l'environnement ViZDoom. Il utilise deux canaux de décision distincts, traitant la navigation à 5 Hz et le combat à 12 Hz, avec un test atteignant 18 éliminations.

Wallpets brings cinematic animal companions to your desktop with lightweight mouse-following behavior, idle play, and a growing pet catalog.
Explore sponsorCe projet présente un système de tri de tickets conçu avec .NET 10 et React 19. Il utilise TypeSafe Jev pour mettre en œuvre un routage structuré assisté par IA pour les demandes de support entrantes.