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

The canonical home for this skill is typesafe-ai in compozy/compozy

SKILL.md
Quality
Evals
Security

Quality

Content

75%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 dense, intelligent, well-structured instruction body that trusts the reader and routes to authoritative live docs per task. Its main gaps are the total absence of an executable example (even one minimal API/SDK call) and full dependence on network access to the live docs.

Suggestions

Include one minimal, copy-paste-ready example — e.g., a single HTTP or SDK call showing a Choice question with state, instructions, and criteria — to anchor the abstract design guidance in executable form.

Consolidate the repeated 'starting points, not the limits' caveats into one statement to trim tokens without losing meaning.

Ship a small local fallback reference (e.g., references/minimal-request.md) with a basic request/response example for when live docs are unreachable.

DimensionReasoningScore

Conciseness

The body assumes Claude's competence and contains no beginner padding, but repeats caveat phrasing ("these are starting points, not the limits" appears in both the description and body) and several dense passages could be tightened, so it is not 'every token earns its place'.

4 / 5

Actionability

Concrete, actionable guidance throughout — named request fields (state, instructions, criteria), backticked state paths like `ticket.messages[0].text`, a task-to-doc routing table, and the Mintlify `.md` trick — but it contains no executable code (no API call or SDK snippet), leaving request shape and auth to the live docs.

4 / 5

Workflow Clarity

A clear sequence (read live docs → find the useful shape → design the judgments → compose and verify) with a failure-inspection loop ('inspect the exact state, questions, candidates, answers, composition, and observed outcome'), though validation is described in prose rather than as explicit numbered checkpoints.

4 / 5

Progressive Disclosure

Well-organized sections with a navigation table pointing one level deep to specific doc pages, but all detail is delegated to external web docs with no local fallback reference, and the ~20 inline links make navigation slightly scattered.

4 / 5

Total

16

/

20

Passed

Description

80%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 with an explicit and well-crafted 'Use when' clause and clearly named capability areas. Its main weaknesses are a generic opening claim, missing natural synonyms in the trigger terms, and moderate overlap risk with general LLM app-building skills.

Suggestions

Tighten the opening 'Build AI-powered software' to a more specific action claim so the skill's purpose is immediately distinguishable from generic LLM-integration skills.

Add common natural synonyms users would say — e.g., classification, matching, scoring, moderation — to the trigger phrases and application list.

Narrow the 'Use when' conditions slightly (e.g., specify structured/typed decisions over LLM output) to reduce conflict risk with general prompt-and-parse or LLM-API skills.

DimensionReasoningScore

Specificity

Lists several concrete capability areas — "turn natural language and application state into typed judgments and probabilities that code can combine" plus "routing, ranking, extraction, verification, and interactive experiences" — but the opening "Build AI-powered software" is generic and the actions are conceptual rather than operational, so it falls short of the comprehensive anchor 5.

4 / 5

Completeness

Explicitly answers both: what ("small units of AI intelligence… typed judgments and probabilities that code can combine") 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 — matches the anchor 5 example pattern.

5 / 5

Trigger Term Quality

Natural phrases like "when brainstorming what AI could make possible in an app" and "an LLM prompt-and-parse step could become a structured decision" give good keyword coverage, but common synonyms users might say (classification, matching, scoring, moderation) are missing.

4 / 5

Distinctiveness Conflict Risk

Product names (TypeSafe, Jev, System One) create a niche identity, but broad triggers like "Build AI-powered software" and "an LLM prompt-and-parse step" overlap considerably with generic LLM-integration skills, so it could still fire for the wrong skill.

3 / 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

glenrioariesto/social-content-studio

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.