JevCodesharziki/semdecide
La décision
README states: Typed semantic decisions for Unix pipelines and CI, powered by TypeSafe AI Jev.
Lien de preuve
https://github.com/sharziki/semdecide/blob/main/src/reflex_guard/cli.py#L180
Étiquettes de vérification
call-site-verifiedDu code public qui appelle Jev et exploite sa réponse a été localisé.
Les étiquettes décrivent le type de preuve ; ce ne sont ni une note ni un classement.
Catégorie
- Catégorie
- Autres listes
- Dépôt
- https://github.com/sharziki/semdecide
- Ajouté le
- 2026-10-29
- Vérifié le
- 2026-10-29
Continuer sur ce site
Essai, documentation, cas et tarifs renvoient l'un à l'autre. La page suivante est sur ce site.
Plus sur ce site
- Annuaire du siteLa liste complète des pages ci-dessus.
- ÉcosystèmeProjets communautaires par catégorie.
- Couverture JevChaque entrée nomme la décision et sa preuve.
- Cas du jourLe lot suivant du corpus, chaque jour.
- CommunautéDes publications publiques, chacune avec sa source.
- BuildsNotes sur les mises à jour du modèle et du site.
- PrimitivesChoice, Noul et Score réunis.
- ModèlesRoutage, fan-out et notation composite.
- SDKHTTP, Python et JavaScript.
Utiliser clavue-jev
- Essayer un jugementÉcrivez un état et lisez la réponse.
- Scènes en directTetris, six jugements rapides et un tri. Copiez l'appel et relancez-le.
- LaboratoireTriage support, revue de release et plus — modifiez et exécutez sur place.
- Comparerclavue-jev et jev-1.13.0 répondent à la même question.
- DémosDes exemples de jugement que vous pouvez modifier.
- TarifsL'entrée est à 0,042 $ par million de tokens. La sortie est gratuite.
- APIAppelez POST /v1/judge avec une clé.
Documentation
- IntroductionÀ quoi sert ce modèle.
- Démarrage rapideLe plus petit appel qui fonctionne.
- System OneÉcrit ici : un état plus une question typée. Le modèle est clavue-jev.
- ÉtatLe texte que vous envoyez.
- ConfianceÀ quel point la réponse est sûre, et quand agir.
- ChoiceChoisir une option mutuellement exclusive.
- NoulUne question oui/non, renvoyée comme probabilité de oui.
- ScoreNoter sur une échelle.
- Routage d'intentionUn appel Choice achemine la requête.
- Routage par confianceAgir si la confiance est haute, passer la main sinon.
- Fan-outPoser plusieurs questions sur un même état.
- Notation compositeCombiner plusieurs scores en un classement.
- HTTP APILa forme de la requête sans SDK.
- SDK PythonLancer un jugement depuis Python.
- SDK JavaScriptLancer un jugement depuis JavaScript.
Cas
- Carte des cas d'usageQuelle primitive pour quel usage.
- Garde-fousUne vérification oui/non avant une action.
- Appel de fonctionDécider par jugement quelle fonction appeler.
- Classer avec confianceNe rien faire si la classe est incertaine.
- Recherche sémantiqueTrouver les passages pertinents.
- Questions parallèlesPoser toute la série en un appel.
- Classification hiérarchiqueD'abord la classe grossière, puis la fine.
- Vérification de citationSi une phrase est étayée par la source.
- Alignement d'entitésSi deux noms désignent la même chose.
- Suggestion de compétenceChoisir la compétence adaptée au moment.