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

73%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide
SecuritybySnyk

Passed

No findings from the security scan

Fix and improve this skill with Tessl

tessl review fix ./.agents/harness/adapters/antigravity/skills/typesafe-ai/SKILL.md
SKILL.md
Quality
Evals
Security

Quality

Content

51%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.

The body is a maximally concise redirect stub that delegates entirely to an external file outside the bundle, which does not resolve in this environment. While the pointer itself is clear and cleanly one level deep, the skill provides no task guidance, no workflow, and no in-bundle material, making it unusable as a standalone artifact.

Suggestions

Inline a minimal quick-start in the body (what TypeSafe is plus one executable code snippet showing a typed judgment) instead of delegating 100% of the content to an external file.

Ship supporting material as bundle-local files under references/ and link them with relative paths so the skill is self-contained and its references actually resolve.

Add a brief fallback workflow for when the referenced shared skill file is unavailable, so the redirect is not a dead end.

DimensionReasoningScore

Conciseness

The body is two functional lines — a maintenance comment and one directive ('Load and follow the shared skill at `~/.agents/skills/typesafe-ai/SKILL.md`') — with zero padding and no over-explanation. Not 4 because there are no instances of over-explanation to trim; every token present serves a purpose.

5 / 5

Actionability

The single directive names a specific file path, which is concrete, but the body provides no code, no commands, and no guidance for the skill's actual task — everything depends on an external file that does not resolve in this environment. Not 3 because there is no partially-complete concrete guidance, only a redirect; not 1 because the one instruction given is executable rather than an abstract description.

2 / 5

Workflow Clarity

No sequence or steps exist for the skill's actual task (building software with TypeSafe); the body contains only a single coherent redirect directive with no checkpoints or follow-up. Not 1 because the one directive present is unambiguous and no risky operation lacks validation; not 3 because there are no listed steps with implicit checkpoints — no steps at all beyond the redirect.

2 / 5

Progressive Disclosure

The body's sole reference ('~/.agents/skills/typesafe-ai/SKILL.md') is clearly signaled and one level deep, but the SKILL.md contains no overview content whatsoever and the reference points outside the bundle to a path that does not exist here. Not 4 because no content is placed anywhere in the bundle and the single reference is external and unverifiable; not 2 because the reference is not buried and nothing that belongs in a separate file is inlined.

3 / 5

Total

12

/

20

Passed

Description

83%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 and explicitly states both what the skill does and when to use it, with product-specific framing and multiple concrete application areas. Its main weaknesses are buzzword-flavored phrases ('programmable common sense') and a broad brainstorming trigger that raises mild overlap risk with generic AI skills.

DimensionReasoningScore

Specificity

Lists several concrete capabilities — 'turn natural language and application state into typed judgments and probabilities that code can combine' and 'routing, ranking, extraction, verification, and interactive experiences' — though buzzword phrases like 'programmable common sense' and 'small units of AI intelligence' pad the concrete list. Not 5 because the named applications are categories rather than fully concrete operations and the fluff dilutes them; not 3 because coverage goes well beyond 1-2 actions.

4 / 5

Completeness

Explicitly answers both questions: the 'what' ('Build AI-powered software with TypeSafe... turn natural language and application state into typed judgments and probabilities that code can combine') and the 'when' via an explicit 'Use when' clause with three concrete trigger scenarios. Not 4 because the 'when' is already explicit and multi-triggered rather than merely present with room to be more specific.

5 / 5

Trigger Term Quality

Includes natural developer phrasing such as 'when an LLM prompt-and-parse step could become a structured decision' and 'when brainstorming what AI could make possible in an app', plus concrete application keywords (routing, ranking, extraction, verification). Not 5 because common synonyms like 'structured output' or 'classification' are absent and 'programmable common sense' is not a phrase users would naturally say; not 3 because keyword coverage is genuinely good with multiple natural trigger phrases.

4 / 5

Distinctiveness Conflict Risk

Product-specific framing (TypeSafe, System One, Jev) carves a clear niche with distinct typed-judgment triggers, but 'when brainstorming what AI could make possible in an app' is broad enough to overlap generic AI-assistance skills, and 'extraction'/'verification' are common application words. Not 5 due to that overlap risk with general LLM/brainstorming skills; not 3 because the niche and triggers are mostly distinct from neighboring skills.

4 / 5

Total

17

/

20

Passed

Validation

93%

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

Validation — 15 / 16 Passed

Validation for skill structure

CriteriaDescriptionResult

referenced_paths_exist

Referenced path issues: 1 missing

Warning

Total

15

/

16

Passed

Repository

phatblat/dotfiles

Path

.agents/harness/adapters/antigravity/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.