konoka
01Plugin Claude Code
Plugin marketplace listing 14 plugins: commit, fsharp-lsp, haskell-tasuke, kyosei, log-analyzer.
Plugin Claude Code
Plugin marketplace listing 14 plugins: commit, fsharp-lsp, haskell-tasuke, kyosei, log-analyzer.
Settings file Claude Code
Agent settings declaring 55 allowed tools.
Instructions file GitHub Copilot
Repository instructions for Konoka, a marketplace for plugins used by AI coding assistants. They define its TypeScript, Node.js, Rust, Nix, npm, formatting, build, language, and repository-linking conventions.
Instructions file CodexOpenCode
Instructions for ncaq/konoka, a project described as: AI prompts, agents, and skills as loadable plugins.
Instructions file
Instructions for ncaq/konoka, a project described as: AI prompts, agents, and skills as loadable plugins.
Plugin Claude Code
Generate a commit message from staged changes, then let the user review before committing in manual mode or commit without confirmation in auto mode. Use when the user wants to commit changes or create a git commit.
Skill Claude CodeCodex
Commit message style guidelines. Use when writing or proposing git commit messages, including direct git commit commands outside the /commit skill.
Skill Claude CodeCodex
Generate a commit message from staged changes, then let the user review before committing in manual mode or commit without confirmation in auto mode. Use when the user wants to commit changes or create a git commit.
Plugin Claude Code
F# code intelligence for Claude Code via fsautocomplete LSP.
Plugin Claude Code
Haskell prompt for AI coding assistants.
Skill Claude CodeCodex
Use bracket or with-style functions to guarantee resource cleanup even on exceptions instead of separate do blocks. Use when writing or reviewing Haskell code that acquires and releases resources.
Skill Claude CodeCodex
Update Cabal project index-state to the latest timestamp. Use when it needs to bump the cabal index-state.
Skill Claude CodeCodex
Use cabal with --disable-optimization for development builds and tests, and add --enable-tests to avoid rebuilds. Use when running or suggesting cabal build or test commands in Haskell development.
Skill Claude CodeCodex
Do not throw exceptions from pure code with error or throw, give exceptions structured types, and never silently swallow errors in IO. Use when writing or reviewing Haskell error handling, exceptions, or IO code.
Skill Claude CodeCodex
Explicitly enumerate Haskell module exports instead of exporting everything implicitly, and use re-export sparingly. Use when writing or reviewing Haskell module export lists.
Skill Claude CodeCodex
Do not discard a function's final value with return (), pure (), or void; adjust the type to return the value and let the caller discard it when unneeded. Use when writing or reviewing Haskell functions that return unit or discard results.
Skill Claude CodeCodex
A Haskell custom Prelude library, meaning a replacement for the language’s usual starter module. It provides a single `Himari` import for commonly used types, functions, environment handling, and logging.
Skill Claude CodeCodex
Prefer MonadIO and MonadUnliftIO type classes over using IO directly, and avoid redundant liftIO. Use when writing or reviewing Haskell IO actions, monad transformers, or type class abstractions.
Skill Claude CodeCodex
Haskell language extension and language edition (GHC2024/GHC2021) selection policy. Use when configuring or reviewing Haskell language extensions, cabal default-extensions, or default-language.
Skill Claude CodeCodex
Use the lens library, generating accessors with makeFieldsId for NoFieldSelectors records, export accessors together with their type classes, and prefer lens or OverloadedRecordDot over pattern matching. Use when writing or reviewing Haskell code that uses lens, records, or field access.
Skill Claude CodeCodex
Avoid mutable variables like IORef, STRef, and ST in Haskell and prefer immutable records. Use STM variables such as TVar for thread communication. Use when writing or reviewing Haskell code that uses mutable state or concurrency.
Skill Claude CodeCodex
Avoid partial functions such as head, fromJust, read, and (!!) in Haskell. Prefer total functions, Maybe-returning variants, and other safe alternatives. Use when writing or reviewing Haskell code that accesses lists, parses strings, or handles Maybe.
Skill Claude CodeCodex
Prefer Text over String for text data, and use ByteString for binary or non-Unicode data. Use when writing or reviewing Haskell code that handles strings, text, or byte data.
Skill Claude CodeCodex
Distinguish mkName and newName in Template Haskell. Use mkName to capture existing names and newName for fresh non-colliding names. Use when writing or reviewing Template Haskell code that generates names.