CtrlK
BlogDocsLog inGet started
Tessl Logo
SkillPublic

typesafe-ai

Build AI-powered software with TypeSafe: small units of AI intelligence you can use like programming primitives. Its System One models, including Jev, turn natural language and application state into typed judgments and probabilities that code can combine. Use when a feature needs programmable common sense, when brainstorming what AI could make possible in an app, or when an LLM prompt-and-parse step could become a structured decision. Applications include routing, ranking, extraction, verification, and interactive experiences; these are starting points, not the limits. Read live docs and cookbooks to find useful patterns and discover new combinations.

Quality

82%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide
SecuritybySnyk

Low

Low-risk findings worth noting

SKILL.md
Quality
Evals
Security

Quality

Content

78%Weight 40%Scale 1-5

Reviews the quality of instructions and guidance provided to agents. Good implementation is clear, handles edge cases, and produces reliable results.

A well-structured, lean instruction skill that points to live docs as the source of truth and gives concrete design guidance for composing TypeSafe judgments. It is held back only slightly by prose that could be trimmed and by deferring all mechanical API/SDK code to external docs.

DimensionReasoningScore

Conciseness

The body is dense and high-signal, assuming Claude's competence without explaining basic concepts, with only minor prose sentences that could be trimmed; it does not pad with material Claude already knows.

4 / 5

Actionability

Provides concrete decision guidance via a Need->Primitive table (Choice/Noul/Score with distinctions), named state/instructions/criteria structure, and specifics like backticked paths `ticket.messages[0].text`; it defers mechanical API/SDK code to live docs, which is acceptable for an instruction-only skill but leaves minor gaps.

4 / 5

Workflow Clarity

A clear sequenced workflow (Read docs -> Find the useful shape -> Design the judgments -> Compose and verify) with an explicit verification/debugging section ("inspect the exact state, questions, candidates... Separate missing evidence, model errors, code errors, and service failures"), with only minor checkpoint gaps.

4 / 5

Progressive Disclosure

Acts as an overview pointing to one-level-deep external references, with a task-oriented table mapping tasks to doc links and well-organized sections; navigation is easy and references are clearly signaled with no nested chains.

5 / 5

Total

17

/

20

Passed

Description

78%Weight 40%Scale 1-5

Based on the skill's description, can an agent find and select it at the right time? Clear, specific descriptions lead to better discovery.

A strong description that clearly states what TypeSafe does and gives multiple explicit Use-when triggers, with a distinct product niche. It loses points for second-person voice and for application categories that are slightly more abstract than the most concrete anchor examples.

Suggestions

Rewrite in third person to avoid the second-person "you can use" (e.g., "small units of AI intelligence usable like programming primitives") and recover the specificity penalty.

Add a couple more literal, user-voiced trigger phrases or synonyms (e.g., "turn a prompt-and-parse heuristic into a typed call") to push trigger-term coverage toward comprehensive.

Tighten application verbs from category names toward concrete operations to match the specificity 5 anchor.

DimensionReasoningScore

Specificity

Names the domain and several concrete application types ("routing, ranking, extraction, verification") and a concrete mechanism ("typed judgments and probabilities that code can combine"), but the actions stay at the category level rather than literal operations like the 5-anchor examples. Reduced by 1 per the second-person penalty for "you can use like programming primitives".

3 / 5

Completeness

Explicitly answers both what ("turn natural language and application state into typed judgments and probabilities") and when ("Use when a feature needs programmable common sense, when brainstorming... or when an LLM prompt-and-parse step could become a structured decision") with concrete trigger phrases.

5 / 5

Trigger Term Quality

Good natural-phrase coverage with "when a feature needs programmable common sense", "brainstorming what AI could make possible in an app", and "an LLM prompt-and-parse step could become a structured decision"; a few common variations a user might say are absent, so it stops short of the comprehensive 5-anchor.

4 / 5

Distinctiveness Conflict Risk

TypeSafe/System One/Jev is a clear niche with distinct triggers ("programmable common sense", "typed judgments and probabilities"), with only minor overlap risk against generic AI/LLM skills.

4 / 5

Total

16

/

20

Passed

Validation

100%

Checks the skill against the spec for correct structure and formatting. All validation checks must pass before discovery and implementation can be scored.

Validation — 16 / 16 Passed

Validation for skill structure

No warnings or errors.

Repository

divaltor/starlight

Path

.agents/skills/typesafe-ai/SKILL.md

Reviewed

Table of Contents

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.