Kodai Honda avatar

Kodai Honda

Community

@kohdice · Japan

0Followers
|
44Public Repos
|
30Published Skills

Kodai Honda publishes skills for C, Go, Rust, Zig, Nix, and SQL development, covering idioms, tutoring, code review, TDD, and schema design.

Skills Distribution
DomainDeveloper To...Systems Language I.. (35%)SQL & Relational D.. (20%)Code Review & Pull.. (20%)TDD Planning & Imp.. (15%)

Agent Skills by Kodai Honda

Showing 30 vetted skills indexed across 1 GitHub repositories.

kohdicekohdice

local-review

Reviews local code changes through specialized read-only lenses and returns one consolidated findings report.

Community
Advanced
kohdicekohdice

rdb-mcp

Query and inspect MySQL, PostgreSQL, or SQLite databases through the rdb-mcp MCP server.

Community
Intermediate
kohdicekohdice

git-commit

Commits Git changes with Conventional Commits messages, splitting unstaged work into logical units.

Community
Intermediate
kohdicekohdice

architecture-patterns

Reviews module responsibilities and dependency direction in C, Go, Rust, and Zig codebases.

Community
Intermediate
kohdicekohdice

zig-idioms

Guides Zig code writing, review, and migration against version-specific official practices.

Community
Advanced
kohdicekohdice

comment-patterns

Guides writing and reviewing code comments in C, Go, Rust, and Zig.

Community
Intermediate
kohdicekohdice

c-tutor

Teaches C programming concepts to beginners through explanations, examples, and mental models.

Community
Intermediate
kohdicekohdice

simplicity-patterns

Guides C, Go, Rust, and Zig code toward simple designs using YAGNI and Tidy First principles.

Community
Intermediate
kohdicekohdice

rust-tutor

Teaches Rust concepts to beginners through explanations, examples, and compiler error walkthroughs.

Community
Intermediate
kohdicekohdice

rust-idioms

Guides Rust implementation, review, and modernization against edition and MSRV constraints.

Community
Advanced
kohdicekohdice

mini-pr-review

Reviews a GitHub pull request in an isolated worktree and submits one review.

Community
Intermediate
kohdicekohdice

sql-tutor

Teaches SQL concepts and query reasoning for MySQL, PostgreSQL, and SQLite in Japanese.

Community
Intermediate
kohdicekohdice

performance-patterns

Guides performance-sensitive C, Go, Rust, and Zig implementation and code reviews.

Community
Advanced
kohdicekohdice

work-implement

Executes non-TDD work plans with per-item verification and evidence reporting.

Community
Advanced
kohdicekohdice

lean-tutor

Teaches Lean 4 programming and Mathlib proofs through beginner-friendly Japanese tutoring.

Community
Advanced
kohdicekohdice

nvim-config-review

Reviews Neovim configurations for deprecated APIs, version compatibility, performance, and layout without modifying files.

Community
Advanced
kohdicekohdice

implement-review-loop

Orchestrates a bounded implement, review, and fix loop with objective stop conditions.

Community
Advanced
kohdicekohdice

work-plan

Creates structured execution plans for infrastructure, configuration, and documentation work without testable behavior.

Community
Intermediate
kohdicekohdice

implement

Executes TDD plans via batched Red-Green-Refactor cycles, directly or through sub-agents.

Community
Advanced
kohdicekohdice

go-idioms

Guides Go implementation, refactoring, and review using version-gated official idioms.

Community
Advanced
kohdicekohdice

nix-tutor

Teaches the Nix language, flakes, nixpkgs packaging, and module system to beginners.

Community
Advanced
kohdicekohdice

zig-tutor

Teaches Zig programming concepts through beginner-friendly explanations in Japanese.

Community
Intermediate
kohdicekohdice

sql-schema-design

Reviews and writes PostgreSQL, MySQL, and SQLite DDL with engine-aware schema design guidance.

Community
Advanced
kohdicekohdice

nix-idioms

Guides writing, refactoring, and reviewing Nix expressions against version-pinned official practices.

Community
Advanced

Frequently Asked Questions About Kodai Honda

FAQPage Schema
What 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.