Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx skills add svngoku/coding-agents-skills --skill typesafe-aigit clone --depth 1 https://github.com/svngoku/coding-agents-skillsWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/svngoku/coding-agents-skills/typesafe-ai)<a href="https://agentmods.dev/skills/svngoku/coding-agents-skills/typesafe-ai"><img src="https://agentmods.dev/badge/skills/svngoku/coding-agents-skills/typesafe-ai/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/skills/svngoku/coding-agents-skills/typesafe-ai"><img src="https://agentmods.dev/badge/skills/svngoku/coding-agents-skills/typesafe-ai.svg" alt="Reviewed on agentmods" width="80" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00067 | $0.02262 |
| Opus 5.5 | $0.00027 | $0.00905 |
| Sonnet 5.5 | $0.00013 | $0.00452 |
| Haiku 4.5 | $0.00007 | $0.00226 |
Grade A, and why
typesafe-ai scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 3d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 235 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Build with TypeSafe and Jev
Jev supplies bounded semantic judgments that code can branch on, rank, and combine. It returns typed answers and probabilities, not generated explanations. Code owns exact computation, policy, authorization, and execution.
When to Use / Not Use
Use this skill to design, integrate, troubleshoot, or evaluate Jev decisions. Routing, extraction, ranking, verification, classification, and interactive experiences are starting points, not an exhaustive application list.
A completed integration has a documented interface, evidence-bearing state, well-scoped questions, response handling, an explicit decision policy, and relevant verification. A review has evidence supporting its bounded claims, not just a supportive model number.
Do not replace arithmetic, exact lookups, parsing, date assembly, permission checks, or schema validation with semantic inference. Use a generative model when the required output is open-ended prose or code rather than a typed judgment. Applicable project/personal instructions can separately require a Jev review.
Quick Reference
Live official docs are the source of truth. Start with the official index in Sources, then read the relevant primitive, interface, and closest cookbook. Do not reload all documentation on every task.
This skill's research snapshot is 2026-10-25. Refresh version-sensitive
requirements before implementation or rollout. If .md fetching fails, try the
normal page, the index, or installed SDK types. State access limitations instead
of inventing a contract.
| Need | Read this local reference |
|---|---|
| Choose primitives; write state and questions; interpret confidence | Decision design |
| HTTP, Python, JavaScript, or an available MCP tool | Interfaces |
| Find patterns beyond classification or code review | Patterns and cookbooks |
| Experimental images and Box | Images and Box |
| Auth, limits, errors, retries, privacy, documentation drift | Operations and safety |
| Evaluate behavior, handle findings, review artifacts | Evaluation and review |
| Research coverage and official bibliography | Sources |
What ships with it
20 files beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.
- eval.yaml 506 B
- examples/cases.json 3.8 KB
- examples/request.http.json 1.1 KB
- examples/request.mcp.json 1.1 KB
- examples/response.mock.json 778 B
- graders/check.py 4.0 KB runs code
- instructions/support-triage.md 1.9 KB
- LICENSE 1.0 KB
- references/decision-design.md 6.8 KB
- references/evaluation-review.md 8.2 KB
- references/images-box.md 3.7 KB
- references/interfaces.md 7.5 KB
- references/operations-safety.md 7.6 KB
- references/patterns.md 7.8 KB
- references/sources.md 10 KB
- rubrics/quality.md 1.2 KB
- scripts/validate_examples.py 10 KB runs code
- solutions/reference-support-triage 3.0 KB
- tests/test_eval_grader.py 3.6 KB runs code
- tests/test_validate_examples.py 9.9 KB runs code
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 3d ago First seen · 235 lines · 67 tokens per session scan A be9e89e26177
typesafe-ai is a skill published in the GitHub repository svngoku/coding-agents-skills (12 stars, last pushed 2d ago), licensed MIT. It adds 67 tokens to every session and 2,262 once invoked, about $0.0003 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-10-25.
Other skills, from other repositories
image-prompt-builder-nl
Craft high-quality natural-language image prompts for any modern text-to-image or image-edit model that accepts flowing English. Trigger when the user wants help writing, rewriting, improving, or translating an English natural-language image prompt — including "write me an image prompt", "improve this image prompt"…
developing-genkit-js
Develop AI-powered applications using Genkit in Node.js/TypeScript. Use when the user asks about Genkit, AI agents, flows, or tools in JavaScript/TypeScript, or when encountering Genkit errors, validation issues, type errors, or API problems.
agent-platform-prompt-management
Manages and orchestrates prompts in Agent Platform. Use when you need to create, list, retrieve, version, or delete managed prompts in Agent Platform. Don't use for model training, model deployment to endpoints, or managing non-Agent Platform prompts.
ml-kit-genai-prompt-api
Analyzes Android codebases to implement ML Kit GenAI Prompt API. Use this skill to send natural language requests on-device to Gemini Nano, use structured output with Prompt API, implement prefix caching, optimize the current prompt, or apply best practices.".
gemini-api-dev
Use this skill when writing code that calls the Gemini API for text generation, multi-turn chat, multimodal understanding, image generation, video generation, speech generation (TTS), voice design, voice replication, streaming responses, background research tasks, function calling, structured output, or migrating from…
nowait-reasoning-optimizer
Implements the NOWAIT technique for efficient reasoning in R1-style LLMs. Use when optimizing inference of reasoning models (QwQ, DeepSeek-R1, Phi4-Reasoning, Qwen3, Kimi-VL, QvQ), reducing chain-of-thought token usage by 27-51% while preserving accuracy. Triggers on "optimize reasoning", "reduce thinking tokens"…