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.5 | $0.00026 | $0.00445 |
| Sonnet 5.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 2mo 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.
- 2mo 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 2d ago), licensed MIT. It adds 65 tokens to every session and 1,112 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-08-31.
type-safety compared with skills from other repositories
| Mod | Type | Stars | Last push | Licence | Scan | Tokens | Works with |
|---|---|---|---|---|---|---|---|
| type-safetyseasonedcc/discord-manager | Skill | 3 | 2d ago | MIT | A | 65 | Claude Code |
| no-bare-castsprisma/orm | Skill | 48k | yesterday | Apache-2.0 | A | 52 | Claude Code, Codex |
| aws-sst-developmentsickn33/agentic-awesome-skills | Skill | 49k | yesterday | MIT | A | 26 | Claude Code |
| league-akari-shard-developmentLeagueAkari/LeagueAkari | Skill | 4.7k | 5d ago | MIT | A | 58 | Claude Code, Codex |
| dd-code-generationDataDog/pup | Skill | 1.0k | yesterday | Apache-2.0 | A | 16 | Claude Code |
| fast-typescript-checkinternet-development/www-sacred | Skill | 1.6k | 2d ago | MIT | A | 84 | Claude Code, Codex |
| typescript-magicianmcollina/skills | Skill | 2.0k | 10d ago | MIT | A | 108 | Claude Code, Codex |