typesafe-ai
Skill616 starsChanged 30 days agoMITView on GitHub
Design, implement, and evaluate software using TypeSafe's Jev System One model. Use when a feature needs semantic routing, ranking, extraction, verification, or other typed judgments; when improving Jev questions, state, or thresholds; or when exploring what programmable common sense could add to an application.
35 other projects use a version of this.
Adopted by
Most recently taken up by
- steveu/skillstheir own version, first seen Nov 8, 2026
- DAAF-Contribution-Community/daaftheir own version, first seen Nov 8, 2026
- tornikegomareli/Skillstheir own version, first seen Nov 8, 2026
- dzhng/jevgreptheir own version, first seen Nov 7, 2026
- compozy/compozytheir own version, first seen Nov 7, 2026
- the-vibey-project/vibeytheir own version, first seen Nov 5, 2026
Used with
Projects with it also use computer-use, diagnosing-bugs and 8 more.
Other files people use alongside this one.
Files found in the same public projects as a version of this one, more often than they turn up anywhere else. Each project counts once, large collections count for less, and this file's own repository is left out.
HK-hubSkillcomputer-use
Use Orca's computer-use CLI to inspect and operate local desktop app windows through accessibility trees, screenshots, and safe UI actions. Use for desktop app interaction: list apps/windows, get app state, read visible UI, click controls, type, press keys, scroll, drag, set values, or perform accessibility actions. Also use for browser windows, webviews, Orca app UI, or other desktop UI. Triggers include "computer use", "orca computer", "read Spotify", "read Slack", "control/click/read in a desktop app", and "get app state".
Also in 3 projects that use this
GoogleSkilldiagnosing-bugs
Diagnosis loop for hard bugs and performance regressions. Use when the user says "diagnose"/"debug this", or reports something broken/throwing/failing/slow.
Also in 3 projects that use this
Hugging FaceSkillimplement
Make tests pass. Invoke after /write-tests produces failing tests.
Also in 4 projects that use this
GoogleSkillcodebase-design
Shared vocabulary for designing deep modules. Use when the user wants to design or improve a module's interface, find deepening opportunities, decide where a seam goes, make code more testable or AI-navigable, or when another skill needs the deep-module vocabulary.
Also in 3 projects that use this
MicrosoftSkillgrill-with-docs
Grilling session that challenges your plan against the existing domain model, sharpens terminology, and updates documentation (CONTEXT.md, ADRs) inline as decisions crystallise. Use when user wants to stress-test a plan against their project's language and documented decisions.
Also in 3 projects that use this
VercelSkillfind-skills
Helps users discover and install agent skills when they ask questions like "how do I do X", "find a skill for X", "is there a skill that can...", or express interest in extending capabilities. This skill should be used when the user is looking for functionality that might exist as an installable skill.
Also in 3 projects that use this
- +3 more from google
Other versions35 projects use a version of this.
Word for word · 0
None found.
Edited · 0
None found.
Wrote their own version · 35
- dzhng/jevgrep★ 3.2ksame name
- compozy/compozy★ 2.9ksame name
- typesafe-ai/skills★ 2.8ksame name
- DAAF-Contribution-Community/daaf★ 239same name
- nidhi-singh02/agent-router★ 87same name
- baldaworks/callee★ 78same name
- KenSuh/open-agent-harness★ 30same name
- wundercorp/loki★ 28same name
- aymericbeaumet/dotfiles★ 22same name
- delorenj/skills★ 17same name
25 more not listed
How matches are found. Word for word: the exact same text. Edited: shares passages with this file (“99% same” means 99% of its five-word phrases also appear here; 10% or more counts). Their own version: similar meaning, or, weakest, the same name. We can’t tell which project had it first. Projects are counted among the 200 most-starred candidates, and mentions are links to the repository we found, up to 50 per site, so both counts are a floor.
In this repository7 other files it gives its agents.
- AGENTS.mdAGENTS.md
- chopin-pr-readinessSkill
- gh-stackSkill
- testing-pr-previewsSkill
- creating-chopin-plansSkill
- implementing-chopin-plansSkill
- local-investigationsSkill
The file
We split this skill into the rules it gives an agent
8 rules. 1 is common, 6 are distinctive, and 1 is very specific to this project.
1
Common
Most of the 35 edited versions we read keep these.
6
Distinctive
This author's own choices. Worth a look.
1
Very specific
Tied to their project's names, files or tools. Probably skip.
- Common
- Distinctive
- Very specific
- Distinctive: line 21
Before integrating, read the current API, chosen SDK, and closest cookbook.
- Distinctive: line 26
Read only the reference needed for the task:
- Distinctive: line 35
Start with the desired application behavior.
- Very specific: line 60
Use explicit paths such as ticket.messages[0].text when they clarify the target.
- Common: line 63
Ask one coherent semantic judgment per question.
- Distinctive: line 71
Ask independent questions over the same state together, including useful speculative branches.
- Distinctive: line 76
Keep probabilities and raw judgments reusable.
- Distinctive: line 87
Treat cookbook thresholds and performance numbers as dated examples.
“Common” is measured: kept by at least 6 in 10 of the 35 edited versions of this file we could read. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.
Files
Build with TypeSafe
Jev contributes small units of AI intelligence to ordinary software: application state and typed questions go in; answers and probabilities come out. Code owns control flow and actions. A generative model can write text or reason when needed.
Read the relevant guidance
The live documentation index is the source of
truth for API contracts, SDKs, models, limits, and cookbooks. Follow its links;
append .md for Markdown, or try the normal page if Markdown fetching fails.
Before integrating, read the current API, chosen
SDK, and closest cookbook. Preserve the
existing stack and transport boundary. If live access fails, inspect installed
types and local documentation and state which details remain unverified.
Read only the reference needed for the task:
- Question design: preparing state, decomposing judgments, choosing primitives, and fixing ambiguous instructions or criteria.
- Composition and evaluation: batching, extraction, retrieval, routing, confidence, regression cases, and agent economics.
Find the useful shape
Start with the desired application behavior. Identify where semantic understanding helps, and leave exact lookups, arithmetic, permission checks, and execution in code. For a concrete request, choose a suitable pattern and build. For exploration, offer a few possibilities suited to the user's goal. These patterns are starting points:
| Need | Useful shape | Read next |
| Interpret a request | Choose a handler and closed-set arguments; compute other values in code | Function calling |
| Extract a value | Find candidates, select the intended span, copy and normalize it | Pre-parsed extraction |
| Retrieve evidence | Retrieve cheaply, then judge query–candidate pairs | Re-ranking |
| Compare preferences | Score dimensions once; combine weights in code or use probabilities as learned features | Composite scoring, feature discovery |
| Check another model's work | Judge specific claims against supplied evidence; escalate uncertainty | Citation checks, extraction cascade |
| Guide an app or agent | Select bounded actions from current state; keep observations, goals, and stop conditions explicit | Skill suggestion |
Design the judgments
| Answer means | Primitive | Read it correctly |
| One of a defined set | Choice | One selected option and a competing-options distribution |
| Whether a condition holds | Noul | Probability of yes; near 0.5 means uncertainty, not medium intensity |
| Degree along a dimension | Score | Probability-weighted position on ordered, descriptive levels |
Give each question the evidence and relationships it needs, preferably in named
JSON fields. Put the judgment in instructions and define answers in criteria.
Question IDs are not sent to the model: instructions must carry the full meaning.
Use explicit paths such as ticket.messages[0].text when they clarify the target.
Strings suit simple questions; objects and arrays suit definitions and examples.
Ask one coherent semantic judgment per question. Split independently useful dimensions; preserve relationships required to interpret meaning. Atomic does not mean context-free fact extraction: bounded action selection and contextual intent are valid. Include a no-match outcome when appropriate and check candidate coverage. Describe Score levels concretely so each stands on its own.
Compose and verify
Ask independent questions over the same state together, including useful speculative branches. They cannot see one another's answers; state conditional premises explicitly and let code consume only applicable answers. Use another request when an earlier answer changes the evidence, state, or candidates. Measure token cost and latency.
Keep probabilities and raw judgments reusable. Choice/Score confidence summarizes the answer distribution; it is not the probability that the workflow is correct. Thresholds belong to each question and action and must be evaluated on representative data. A weighted preference score is not a substitute for an explicit veto condition. Typed output guarantees shape, not truth or authorization.
For failures, inspect the exact state, questions, candidates, distributions, policy, and observed outcome. Separate missing evidence, question ambiguity, model errors, composition errors, and service failures. Add regression cases for demonstrated failures. Verify final application behavior as well as individual judgments. Pin an evaluated model version when thresholds matter and log the resolved model. Treat cookbook thresholds and performance numbers as dated examples. Keep API credentials server-side in web applications.
Does it work?
Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.
No reviews yet
People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.
- It worked
- Partly
- It didn't
Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.
Your trail
Files you open will collect here, so you can find them again.
Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.
Now do this for your own.
Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.

