An experimental playground for open-source, all-in-one office AI for universities: code, docs, spreadsheets, slides, browser – all are the AI's workspace. Local-first, event-driven, auditable, with both TypeScript and Python implementations.
Put a live Jev (TypeSafe) meter on any video: every sentence scored, rendered as a 16:9 edit
AtlasAgent - an auditable AI agent control plane: evidence-backed memory, governed tool runtime, checkpoint DAG recovery, and a 55-chapter engineering tutorial. FastAPI / Next.js PWA / Textual TUI
Local-first AI meeting minutes workbench: FunASR speech-to-text + Ollama LLM, engineering-scene recognition, DOCX/PDF export, zero API keys, fully offline. 本地优先的智能会议纪要工作台:录音转写、场景识别、纪要导出全流程本地运行。
Agent evals and guardrails as Jev decisions: one request per trace, a fraction of a cent, fast enough for the agent loop. Runs locally with Kev or Laya.
基于 AI Agent 的产业园区项目管理研究 · 原型验证平台(Prototype,不代表最终产出产品)
—
CRAP scores for Clojure, Java, Go, TypeScript, Rust, and Python, in the snapshot uml-viewer reads.
台灣軟體工程師薪水分布與求職洞察
数模Agent(数模 Agent)/ 数学建模 AI 助手:多智能体协作完成题意分析、文献检索、建模、代码执行与论文写作,支持人工审核和断点恢复。Local-first multi-agent workbench for mathematical modeling.
Everything you need to run TypeSafe's Jev with Claude Code: a tool-call guard, tier guard, file search, browser agent, review, belay, compaction and installers.
Deterministic telemetry & control plane for multi-agent AI systems. Atomic POSIX JSONL event bus, W3C/OpenTelemetry DAG reconstruction, and circular handoff guardrails.
Official RollingGo Hotel Booking MCP Server. 2M+ hotels at wholesale rates, 40+ LLM compatible. Free unlimited calls for businesses & individual devs. Filter by location, date, star grade, guests & tags; pull real-time room types, pricing & cancellation rules.
Typed semantic decisions for Unix pipelines and CI, powered by TypeSafe AI Jev.
Ask your house a question, get a number back. Home Assistant integration for TypeSafe Jev: typed answers as sensors, four actions for automations, and a conversation agent for Assist.
Distill a repeated Jev classification task into a local model, on the fly — same answers, your hardware.
Local proxy that learns your app's typed LLM decisions and answers them with a Laya head. Jev and OpenAI compatible.
Open-source alternative to TypeSafe's Jev: a System One style model layer that gives typed, calibrated decisions from any open-weights LLM in one forward pass (HF + vLLM), with honest benchmarks
Report which existing loggers logging.config.dictConfig() will silently disable, and warn or refuse before it does.
—
Add a decorator for dspy Signatures that automatically uses TypeSafe where relevant
Self-hosted, private family AI health steward. Multimodal AI structures health data into a person-centric profile with dashboard & AI consultation (Feishu/Lark integration). 开源可私有化部署的家庭 AI 健康管家:多模态大模型 + 健康画像看板 + AI 咨询 + 飞书渠道。
A local, API-compatible replacement for Jev, TypeSafe's System One model
Jev 决策模型驱动的 UI 自动化测试框架:不生成「下一步做什么」的文字,而是在候选元素里直接打分;一句话写用例,pytest 执行,Allure 出报告,每个操作决策中位 458 ms(UI test automation driven by the Jev decision model — scored decisions, not generated prose; ~458 ms per decision)
HomeOS is a smart family dashboard designed to simplify household management by bringing chores, grocery lists, reminders, and useful information into one shared touchscreen interface.
Trading bot with the all new TypeSafe AI's first system one model named as Jev
A database-agnostic Agentic GraphRAG framework using swappable System One models (local Laya / cloud Jev). A plug-and-play intelligence layer featuring a complete 4-phase pipeline, continuous evaluation and custom A* traversal for any graph database.
The live homelab dashboard: 173 integrations, actions on the cards, boards for the desk, the phone and the wall.
Typed judgment tools for MCP agents. TypeSafe's Jev model as verify, screen, find, classify, rerank, decide, compare, extract, review, gate, and score: the model judges, policy decides auto, review, or escalate.
Mutation testing for Clojure, Java, Go, TypeScript, Rust, and Python, in the snapshot uml-viewer reads.
24/7 market-making system around Jev (TypeSafe System One) decisions: deterministic state, calibrated judgments, hard risk vetoes.
Open reproduction of TypeSafe Jev: a 150M typed decision engine (noul/choice/score in one non-autoregressive pass, calibrated confidence). 0.697 vs Jev's 0.727, 2.5x better calibrated, 4x faster, free. Trains on a Colab T4 in 30 min.
An agent skill to discover TypeSafe Jev opportunities, design typed questions, and learn from recent community experiments.
Self-evolving cognitive decision engine & TypeSafe Jev alternative. Deliberative decision flywheel ('explore first, crystallize later' System 2→1) with 100% option-order invariance. Typed probabilistic API (Choice, Noul, Score) for Open LLMs, Laya (ModernBERT), & commercial Jev with calibrated logprobs and adaptive safety guards.
Fast browser agent on langchain-typesafe
Nerve is a supervisory nervous system for Hermes agents, adding typed System One decisions, ranking, verification, token-aware oversight, and an opt-in tool gate powered by TypeSafe Jev or Open Source Laya
万象谱 Loreweft|面向长篇小说工程的 AI 原生创作工作台|AGPL-3.0 开源
Skill for Hermes, and other agents, to ask typesafe's jev
Open replica of TypeSafe's Jev: typed calibrated decisions in one forward pass, on Gemma 4 E2B / Gemma 3 270M (Modal)
Open-source desktop AI agent with an embedded browser runtime and human-in-the-loop control.
Batched single-token choice inference for open language models, compatible with TypeSafe
A 4B decision model: calibrated probabilities for yes/no, choice and score questions over long inputs.
Self-hosted web panel for the SoftEther VPN Server: the complete JSON-RPC management API, live machine monitoring, and a one-command install.
Local bilingual probability decisions from context, questions, and candidate answers. Independent research preview inspired by TypeSafe Jev.
TypeSafe(Jev / System One)申请 → 确认邮件 → 获批 → 注册 → 建 API Key 全链路工具,纯 HTTP 无浏览器
A Clash Royale bot with no trained policy: Jev (TypeSafe System One) makes every decision from the live game state
Unofficial PoC: a BERT-style encoder decision engine behind a typed-decision (noul / choice / score) HTTP API. Not affiliated with TypeSafe.
用 TypeSafe Jev 推荐已安装 Skill / Bounded installed-skill recommendations with TypeSafe Jev. Python CLI, Codex skill, bilingual docs and live examples.
Let Jev read every new arXiv paper each morning and surface the few you should read. Plain-English interests, calibrated probabilities, ~$0.06/day, fork and go.
AI-powered Nuclei template prioritization using deep target fingerprinting and TypeSafe Jev to surface relevant security findings faster.
GTM workflows with Jev: datasets, prompts, and benchmark results.
Agents you can inspect, replay and trust. An agent framework for TypeScript and Python, built on an append-only event log.
离线可用的本地类型化决策:4 核 CPU 单题 15.6ms。Local & offline Jev / System One inference on CPU — ONNX + INT8, no torch at runtime. 支持 laya / kev / PlayJev
TypeSafe Jev controls original StarCraft shareware through keyboard and mouse with recorded action probabilities.
sort by meaning: order lines along a plain-English dimension, from pairwise comparisons judged by TypeSafe's Jev model
Independent, evidence-based map of when TypeSafe's Jev actually holds up vs. breaks down — real API-call receipts, not a leaderboard. 中文為主的雙語 repo。
LLM plugin for accessing Jev and other TypeSafe AI models
Local text-to-speech: 28 voices, 10 languages, voice cloning, SDKs for Python, Swift, Go, Rust and TypeScript
A tiny jev-like model that answers Choice, Score and Noul questions in one forward pass and returns calibrated probabilities. MLX or PyTorch, fully offline, System One compatible.
A local-first resume editor with LaTeX typesetting and free PDF export.简墨:本地编辑,输入内容,自动基于latex进行专业排版,让简历回归内容。