unsafe SKILL.md skillA
unsafe from ncaq/konoka is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add ncaq/konoka/unsafe@git:20260521.2762d01Pins git:20260521.2762d01 in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- ncaq/konoka
- Path
plugins/haskell-tasuke/skills/unsafe/SKILL.md- Versions recorded
- 1
- Latest version
- git:20260521.2762d01, committed May 21, 2026
- Size
- 3,116 bytes
- Repository stars
- 3
- License
- Apache-2.0
Forbid unsafe Haskell functions such as unsafePerformIO, unsafeCoerce, and other unsafe-prefixed functions. Use when writing or reviewing Haskell code that uses any unsafe-prefixed function.
Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.
What the file says
# unsafeな関数の禁止 名前に`unsafe`が付く関数は、 参照透過性や型安全性といったHaskellの根幹の保証を破壊するため、 原則として使用を禁止します。 `unsafe`接頭辞は「これを使うと言語の保証が効かなくなる」という作者からの警告です。 ## 特に避けるべき関数 ### unsafePerformIO `IO`アクションを純粋なコンテキストで実行します。 参照透過性を破壊します。 GHCの最適化により評価回数や評価順序が変わったり、 共有によって一度しか実行されなかったりするため、 副作用のタイミングを予測できなくなります。 ### unsafeDupablePerformIO `unsafePerformIO`の制約をさらに緩めたものです。 複数のスレッドから同時に、 あるいは重複して実行される可能性があり、 `unsafePerformIO`よりも危険です。 ### unsafeInterleaveIO `IO`アクションを遅延実行します。 実際に値が必要になるまで実行が遅延されるため、 副作用の発生タイミングが完全に非決定的になります。 遅延IOにまつわる諸問題の原因です。 ### unsafeFixIO `IO`における不動点を計算します。 まだ定まっていない値を参照するとデッドロックや実行時エラーになります。 ### unsafeCoerce ある型の値を無検査で別の型へ変換します。 型システムを完全に迂回するため、 誤用するとセグメンテーション違反など、 Haskellでは本来起こり得ないクラッシュを引き起こします。 ## ライブラリが提供するunsafe関数 `bytestring`の`unsafeIndex`や、 `vector`の`unsafeRead`など、 ライブラリにも境界チェックを省略する`unsafe`接頭辞の関数があります。 これらもパフォーマンスのために安全性を犠牲にしているので、 原則として安全版である`indexMaybe`や`!?`などを使ってください。 ## coerceとの混同に注意 `Data.Coerce.coerce`は`unsafeCoerce`と名前も用途も似ていますが別物です。 `coerce`は`Coercible`制約によってコンパイル時に安全性が保証されるため、 こちらは禁止しません。 `newtype`の包み直しなどでは`unsafeCoerce`ではなく`coerce`を使ってください。 ## 使わざるを得ない場面 FFIのバインディングや、 `NOINLINE`と組み合わせたグローバルな可変変数の定義など、 `unsafePerformIO`が事実上の定石になっている領域があります。 そうした場合でも、 …
Read the whole file at its exact version.
How to install
mdr add ncaq/konoka/unsafe@sha256:72e4123fda66583eThe line at the top of this page pins the label git:20260521.2762d01, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.
[](https://markdownregistry.com/a/art_q5k3zerxdglkthpj)
3 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 1 version of this file, committed on May 21, 2026.
Audit of the latest version
- pass: Frontmatter block present
- pass: Frontmatter declares a name
- pass: Frontmatter declares a description
- pass: Size between 200 bytes and 200 KB (3116 bytes)
- pass: No zero-width or bidi control characters
- pass: No instruction hidden inside an HTML comment
- pass: No link to an exfiltration or paste host
- pass: No credential-shaped string
- pass: No instruction to send local credentials anywhere
- pass: No text hidden with inline styles
- pass: No prompt-injection phrasing
- pass: No curl or wget piped into a shell
- pass: No recursive delete of root, home or parent
- pass: No instruction to read or print local credentials
- pass: No base64 blob over 200 characters
- pass: No link to a raw IP address
- pass: No script tag
Source
ncaq/konoka · 3 stars · license Apache-2.0 · pushed 2026-10-19 · branch master
API
GET https://markdownregistry.com/api/v1/artifacts/art_q5k3zerxdglkthpj GET https://markdownregistry.com/api/v1/resolve?ref=ncaq/konoka/unsafe GET https://markdownregistry.com/api/v1/blob/72e4123fda66583e3a1db2e9f7d2480488c38473bc7a4f75565d97bc7395bdfc
Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.
Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.