Kodai Honda
Community@kohdice · Japan
Kodai Honda publishes skills for C, Go, Rust, Zig, Nix, and SQL development, covering idioms, tutoring, code review, TDD, and schema design.
Agent Skills by Kodai Honda
Showing 30 vetted skills indexed across 1 GitHub repositories.
local-review
Reviews local code changes through specialized read-only lenses and returns one consolidated findings report.
rdb-mcp
Query and inspect MySQL, PostgreSQL, or SQLite databases through the rdb-mcp MCP server.
git-commit
Commits Git changes with Conventional Commits messages, splitting unstaged work into logical units.
architecture-patterns
Reviews module responsibilities and dependency direction in C, Go, Rust, and Zig codebases.
zig-idioms
Guides Zig code writing, review, and migration against version-specific official practices.
comment-patterns
Guides writing and reviewing code comments in C, Go, Rust, and Zig.
c-tutor
Teaches C programming concepts to beginners through explanations, examples, and mental models.
simplicity-patterns
Guides C, Go, Rust, and Zig code toward simple designs using YAGNI and Tidy First principles.
rust-tutor
Teaches Rust concepts to beginners through explanations, examples, and compiler error walkthroughs.
rust-idioms
Guides Rust implementation, review, and modernization against edition and MSRV constraints.
mini-pr-review
Reviews a GitHub pull request in an isolated worktree and submits one review.
sql-tutor
Teaches SQL concepts and query reasoning for MySQL, PostgreSQL, and SQLite in Japanese.
performance-patterns
Guides performance-sensitive C, Go, Rust, and Zig implementation and code reviews.
work-implement
Executes non-TDD work plans with per-item verification and evidence reporting.
lean-tutor
Teaches Lean 4 programming and Mathlib proofs through beginner-friendly Japanese tutoring.
nvim-config-review
Reviews Neovim configurations for deprecated APIs, version compatibility, performance, and layout without modifying files.
implement-review-loop
Orchestrates a bounded implement, review, and fix loop with objective stop conditions.
work-plan
Creates structured execution plans for infrastructure, configuration, and documentation work without testable behavior.
implement
Executes TDD plans via batched Red-Green-Refactor cycles, directly or through sub-agents.
go-idioms
Guides Go implementation, refactoring, and review using version-gated official idioms.
nix-tutor
Teaches the Nix language, flakes, nixpkgs packaging, and module system to beginners.
zig-tutor
Teaches Zig programming concepts through beginner-friendly explanations in Japanese.
sql-schema-design
Reviews and writes PostgreSQL, MySQL, and SQLite DDL with engine-aware schema design guidance.
nix-idioms
Guides writing, refactoring, and reviewing Nix expressions against version-pinned official practices.
Frequently Asked Questions About Kodai Honda
FAQPage SchemaWhat tasks can I accomplish using kohdice's skills?▼
You can review local changes and GitHub PRs, commit staged Git changes, design and optimize SQL schemas and queries, apply idiomatic C, Go, Rust, Zig, and Nix practices, plan and execute TDD work, and audit Neovim configurations for compatibility and performance.
Who are kohdice's skills designed for?▼
Systems and application engineers working in C, Go, Rust, or Zig, database developers using MySQL, PostgreSQL, or SQLite, Nix and NixOS maintainers, and beginners seeking tutoring in C, Rust, Zig, SQL, Nix, or Lean 4 with Mathlib proofs.
How do the review and implementation skills work in practice?▼
local-review inspects branches or codebases without edits, pr-review and mini-pr-review submit GitHub PR reviews, while implement and tdd execute planned testable changes. implement-review-loop combines implementation, review, and fixes when all three are requested together.
What database capabilities does the rdb-mcp skill provide?▼
It operates against MySQL, PostgreSQL, and SQLite through the rdb-mcp MCP server, using execute_sql, list_tables, and describe_table to explore schemas, run single-statement SQL, read table data with row caps, and enforce confirmation before write or DDL statements.
What prerequisites do kohdice's language idiom skills require?▼
Each idiom skill requires a declared project baseline: a -std= flag for C, a go directive for Go modules, an edition and MSRV for Rust, a minimum Zig version, and pinned Nix and nixpkgs versions for Nix expressions, flakes, and NixOS modules.