A DSPy fork whose @typesafeify decorator routes decision-shaped signature fields to Jev, so bool, Literal, and scored outputs come back typed while freeform fields still use the LM.
from typesafe_dspy import typesafeify
@typesafeify(score_fields={"severity_score": [1, 5]})
class SupportTicketTriage(dspy.Signature):
ticket: dict = dspy.InputField()
customer_impacting: bool = dspy.OutputField()
owner_team: Literal["api-platform", "billing"] = dspy.OutputField()
severity_score: float = dspy.OutputField()Watch out
MIT-licensed, but a deliberately stripped-down proof-of-concept fork rather than a replacement for upstream DSPy; needs both OpenAI and TypeSafe keys.
Posts from builders shipping with Jev right now.
Classifying rows in DuckDB
I made a DuckDB extension where you can use @typesafeai 's Jev to do quick classification of rows in any csv/parquet file or duckdb table about 10sec for 1k rows ~ better than using an LLM, way more ergonomic than a classifier game-changing for data analysis!
A playable 16-judgment demo
typesafe's jev is fun! live demo you can play with: typesafe-demo.val.run
AI multiple choice, not essay writing
WTF is Jev by @typesafeai? Here’s the tl;dr ELI5: Think AI multiple choice, not AI essay writing. It doesn’t chat. It makes decisions your software can act on: “Spam or not?” “Which tool should this agent use?” “Does this need a human?” The exciting part: roughly 200x faster Show more
Screening agent actions with Jev
Tested TypeSafe’s Jev (no-text, probability-only model) as an AI agent safety monitor. Checking each action first worked well caught most attacks with almost no false blocks, and much faster than Gemini.
After co-inventing ChatGPT, I kept asking myself: why have superhuman chat models not led to AGI? I’ve spent the last 2 years in stealth building a new way to train models (RLCD), and a new type of frontier AI model that we are releasing today: Jev • 20-200x faster • 40-400x
Cua's small System One models
1/ Introducing CUA-S1: a family of System One Models, small, specialized, and built for computer use. Today we're open-sourcing CUA-S1-FORMS, the first in the family: github.com/trycua/cua
A 706K-parameter form filler
cua open sourced a 706k param model that fills a whole form in one 50ms pass the llm agent doing the same form took 23 turns and 39.6 seconds the specialists are going to eat the generalists from the bottom
1/ Introducing CUA-S1: a family of System One Models, small, specialized, and built for computer use. Today we're open-sourcing CUA-S1-FORMS, the first in the family: github.com/trycua/cua
