agentleFS
githubnextgithubnext/chopin/.agents/skills/typesafe-ai/SKILL.md

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

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-hubSkill

    computer-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

  • GoogleSkill

    diagnosing-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 FaceSkill

    implement

    Make tests pass. Invoke after /write-tests produces failing tests.

    Also in 4 projects that use this

  • GoogleSkill

    codebase-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

  • MicrosoftSkill

    grill-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

  • VercelSkill

    find-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

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
  1. Distinctive:

    Before integrating, read the current API, chosen SDK, and closest cookbook.

    line 21
  2. Distinctive:

    Read only the reference needed for the task:

    line 26
  3. Distinctive:

    Start with the desired application behavior.

    line 35
  4. Very specific:

    Use explicit paths such as ticket.messages[0].text when they clarify the target.

    line 60
  5. Common:

    Ask one coherent semantic judgment per question.

    line 63
  6. Distinctive:

    Ask independent questions over the same state together, including useful speculative branches.

    line 71
  7. Distinctive:

    Keep probabilities and raw judgments reusable.

    line 76
  8. Distinctive:

    Treat cookbook thresholds and performance numbers as dated examples.

    line 87

“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.

Keep what fits and drop the rest. Your version, ready for your agents.
Files
SKILL.md

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:

NeedUseful shapeRead next
Interpret a requestChoose a handler and closed-set arguments; compute other values in codeFunction calling
Extract a valueFind candidates, select the intended span, copy and normalize itPre-parsed extraction
Retrieve evidenceRetrieve cheaply, then judge query–candidate pairsRe-ranking
Compare preferencesScore dimensions once; combine weights in code or use probabilities as learned featuresComposite scoring, feature discovery
Check another model's workJudge specific claims against supplied evidence; escalate uncertaintyCitation checks, extraction cascade
Guide an app or agentSelect bounded actions from current state; keep observations, goals, and stop conditions explicitSkill suggestion

Design the judgments

Answer meansPrimitiveRead it correctly
One of a defined setChoiceOne selected option and a competing-options distribution
Whether a condition holdsNoulProbability of yes; near 0.5 means uncertainty, not medium intensity
Degree along a dimensionScoreProbability-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.

Download now (ZIP)

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
What did you use it for? e.g. Reviewing pull requests in a Rails app

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.