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 agentmods add skills/ncaq/konoka/language-extensionsnpx skills add ncaq/konoka --skill language-extensionsgit clone --depth 1 https://github.com/ncaq/konokaWrote 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/ncaq/konoka/language-extensions)<a href="https://agentmods.dev/skills/ncaq/konoka/language-extensions"><img src="https://agentmods.dev/badge/skills/ncaq/konoka/language-extensions.svg" alt="Measured on agentmods" 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.00044 | $0.00863 |
| Opus 5 | $0.00022 | $0.00432 |
| Sonnet 5 | $0.00009 | $0.00173 |
| Haiku 4.5 | $0.00004 | $0.00086 |
Grade A, and why
language-extensions 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 5d 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 — 133 lines — stays where its author put it; the contents beside it link to each section on GitHub.
言語拡張の選択方針
Haskellの言語拡張と、 言語拡張のセットである言語バージョンの選択方針について説明します。
基本の方針
Haskellの言語バージョンは使える場合はGHC2024を使用します。
使えない場合はGHC2021を使用します。
GHC2024で有効になっていなくても、
比較的安全で有用な言語拡張は有効にします。
GHC2021に含まれている拡張
BangPatternsBinaryLiteralsConstrainedClassMethodsConstraintKindsDeriveDataTypeableDeriveFoldableDeriveFunctorDeriveGenericDeriveLiftDeriveTraversableDoAndIfThenElseEmptyCaseEmptyDataDeclsEmptyDataDerivingExistentialQuantificationExplicitForAllFieldSelectorsFlexibleContextsFlexibleInstancesForeignFunctionInterfaceGADTSyntaxGeneralisedNewtypeDerivingHexFloatLiteralsImplicitPreludeImplicitStagePersistenceImportQualifiedPostInstanceSigsKindSignaturesMonomorphismRestrictionMultiParamTypeClassesNamedFieldPunsNamedWildCardsNoExplicitNamespacesNumericUnderscoresPatternGuardsPolyKindsPostfixOperatorsRankNTypesRelaxedPolyRecScopedTypeVariablesStandaloneDerivingStandaloneKindSignaturesStarIsTypeTraditionalRecordSyntaxTupleSectionsTypeApplicationsTypeOperatorsTypeSynonymInstances
GHC2024に含まれている拡張
上のGHC2021に加えて、
以下の拡張がGHC2024に含まれています。
DataKindsDerivingStrategiesDisambiguateRecordFieldsExplicitNamespacesGADTsLambdaCaseRoleAnnotations
cabalファイルの設定例
典型的なcabalファイルでの言語バージョンと言語拡張の設定は以下のようになります。
default-language: GHC2024
default-extensions:
ApplicativeDo
BlockArguments
CPP
DefaultSignatures
DerivingVia
DuplicateRecordFields
FunctionalDependencies
LexicalNegation
LinearTypes
MonadComprehensions
MultiWayIf
NegativeLiterals
NoFieldSelectors
NoImplicitPrelude
OverloadedLabels
OverloadedRecordDot
OverloadedStrings
ParallelListComp
PatternSynonyms
QualifiedDo
QuantifiedConstraints
QuasiQuotes
RecordWildCards
RecursiveDo
StrictData
TemplateHaskell
TypeData
TypeFamilies
TypeFamilyDependencies
ViewPatterns
What ships with it
1 file 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.
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.
- 5d ago First seen · 133 lines · 44 tokens per session scan A ac314b093739
language-extensions is a skill published in the GitHub repository ncaq/konoka (3 stars, last pushed 2d ago), licensed Apache-2.0. It adds 44 tokens to every session and 863 once invoked, about $0.0002 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
better-auth
Skill for integrating Better Auth - comprehensive TypeScript authentication framework for Cloudflare D1, Next.js, Nuxt, and 15+ frameworks. Use when adding auth, encountering D1 adapter errors, or implementing OAuth/2FA/RBAC features.
bun-ffi
This skill should be used when the user asks about "bun:ffi", "foreign function interface", "calling C from Bun", "native libraries", "dlopen", "shared libraries", "calling native code", or integrating C/C++ libraries with Bun.
bun-hot-reloading
Use when implementing hot reloading with Bun (--hot, --watch), HMR, or automatic code reloading during development. Covers watch mode, hot mode, and HTTP server reload.
cloudflare-workers-multi-lang
Multi-language Workers development with Rust, Python, and WebAssembly. Use when building Workers in languages other than JavaScript/TypeScript, or when integrating WASM modules for performance-critical code.
test-driven-development
Strict red-green-refactor TDD workflow for implementing features, fixing bugs, or changing behavior in Rails applications. Enforces the discipline of writing a failing test before any production code. Use whenever you want to implement with TDD — whether a new feature, a bugfix, a refactor, or any behavior change.
csharp-zero-gc
C# zero-GC engineering plans. Use when the user asks to make a system allocation-free, or mentions zero-GC, zero allocation, GC spikes, per-frame allocation budgets, object pooling systems, or preventing GC regressions. Produces a plan with commitment levels, acceptance criteria and regression guards, not a one-off…