Borrowing it
Nothing to install: this file belongs to seasonedcc/discord-manager. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.
curl -O https://raw.githubusercontent.com/seasonedcc/discord-manager/main/.claude/skills/type-safety/SKILL.mdgit clone --depth 1 https://github.com/seasonedcc/discord-managerWrote 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/seasonedcc/discord-manager/type-safety)<a href="https://agentmods.dev/skills/seasonedcc/discord-manager/type-safety"><img src="https://agentmods.dev/badge/skills/seasonedcc/discord-manager/type-safety/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/seasonedcc/discord-manager/type-safety"><img src="https://agentmods.dev/badge/skills/seasonedcc/discord-manager/type-safety.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.00065 | $0.01112 |
| Opus 5 | $0.00032 | $0.00556 |
| Sonnet 5 | $0.00013 | $0.00222 |
| Haiku 4.5 | $0.00006 | $0.00111 |
Grade A, and why
type-safety 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 12d 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 — 130 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Type Safety
Everything here documents the repository as it is on main. If main disagrees with this file, main wins: follow it and flag the drift.
TypeScript runs in strict mode and any is not allowed anywhere. Lean on inference: add an annotation only when removing it would lose type safety or cause a compile error. Before adding one, ask whether TypeScript would infer the correct type without it.
Return types
Do not add return types. TypeScript infers them from the body.
// correct
async function fetchBookmarks() {
const rows = await db().selectFrom('bookmarkAdditions').selectAll().execute()
return rows
}
// wrong — redundant return type
async function fetchBookmarks(): Promise<BookmarkRow[]> {
const rows = await db().selectFrom('bookmarkAdditions').selectAll().execute()
return rows
}
Exceptions where a return type is required
- Interface implementations — when a method must satisfy a library interface, such as Kysely's
MigrationProvider - Non-async functions returning promises — without
async, TypeScript can infer a more complex type than intended
Variable annotations
Do not annotate a variable whose type is obvious from the right-hand side.
// correct
const threshold = 15
// wrong — redundant
const threshold: number = 15
Empty collections need annotations
TypeScript cannot infer the element type of an empty literal. Annotate empty arrays and objects that get populated later.
const skippedChannelIds: string[] = []
const grouped = channelIds.reduce<Record<string, string[]>>(
(groups, id) => ({ ...groups, [id]: [] }),
{},
)
Map constants
A constant object indexed with a dynamic string key needs an explicit index type; otherwise TypeScript infers a literal object type that rejects arbitrary string indexing.
Copy maps keyed by a closed reason union are the opposite case: type them with satisfies Record<Reason, Guidance> so the map stays exhaustive and a new reason fails to compile until it has copy. Load integration-telemetry for what those maps hold.
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.
- 12d ago First seen · 130 lines · 65 tokens per session scan A 916535887a91
type-safety is a skill published in the GitHub repository seasonedcc/discord-manager (3 stars, last pushed 1mo ago), licensed MIT. It adds 65 tokens to every session and 1,112 once invoked, about $0.0003 per session on Opus 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-08-31.
Other skills, from other repositories
no-bare-casts
Writing as in TypeScript or TSX production code, modifying a file that contains a bare as cast, silencing a type error with a cast, encountering as unknown as, or reviewing a cast site.
aws-sst-development
SST v4 (Ion) expert for managing AWS resources as code with the Pulumi-backed framework.
league-akari-shard-development
Use when creating, extending, refactoring, splitting, or reviewing League Akari main or renderer shards, including shard file organization, controller/loader/executor/handler boundaries, naming conventions, renderer TSX usage, platform guards, and public contract compatibility.
dd-code-generation
Use pup CLI for immediate Datadog operations or generate code for integration into applications.
fast-typescript-check
Keep www-sacred's TypeScript fast to type-check and fast to run. Use when touching the ASCII/canvas animation components (the only real per-frame code here), tightening type-check wall-clock, or auditing a change for runtime or compiler regressions. Scoped to this repo — a React 19 / Next.js 16 component library plus…
migrate-better-result-3
Migrate a TypeScript codebase from better-result 2.x to 3.0. Use when upgrading better-result across the TaggedError syntax, removed Result serialization helpers, recovery inference, matching, or retry APIs.