├── .claude └── settings.json ├── .github └── workflows │ └── 07-test.yaml ├── .gitignore ├── README.md ├── SETUP.md ├── examples ├── 00-setup │ ├── package-lock.json │ ├── package.json │ ├── src │ │ ├── math.test.ts │ │ └── math.ts │ └── tsconfig.json ├── 01-dijkstra │ ├── package-lock.json │ ├── package.json │ ├── src │ │ ├── dijkstra.test.ts │ │ ├── dijkstra.ts │ │ ├── example.ts │ │ └── graph.ts │ └── tsconfig.json ├── 02-todo │ ├── .gitignore │ ├── README.md │ ├── dev.db │ ├── package-lock.json │ ├── package.json │ ├── prisma │ │ ├── dev.db │ │ ├── migrations │ │ │ ├── 20250705230253_init │ │ │ │ └── migration.sql │ │ │ └── migration_lock.toml │ │ ├── schema.prisma │ │ └── test-cli-todos.db │ ├── src │ │ ├── __tests__ │ │ │ ├── cli.test.ts │ │ │ └── db.test.ts │ │ ├── cli.ts │ │ ├── db.ts │ │ └── index.ts │ ├── src_v2 │ │ ├── cli.test.ts │ │ ├── cli.ts │ │ ├── dev.db │ │ ├── examples │ │ │ └── 04-mcp │ │ │ │ └── package.json │ │ ├── index.ts │ │ ├── prisma-repository.ts │ │ ├── repository-factory.ts │ │ ├── repository.test.ts │ │ ├── sqlite-repository.ts │ │ └── types.ts │ ├── tsconfig.json │ └── vitest.config.ts ├── 03-ink-game │ ├── README.md │ ├── package-lock.json │ ├── package.json │ ├── pnpm-lock.yaml │ ├── src │ │ ├── RoguelikeGame.tsx │ │ ├── TestInput.tsx │ │ ├── index.tsx │ │ └── pathfinding.ts │ └── tsconfig.json ├── 04-mcp │ ├── .mcp.json │ ├── README.md │ ├── package-lock.json │ ├── package.json │ ├── src │ │ ├── echo-client.ts │ │ ├── echo-server.ts │ │ ├── mcp-server.ts │ │ ├── server.test.ts │ │ ├── server.ts │ │ └── test-client.ts │ └── tsconfig.json ├── 05-survivor-game │ ├── .gitignore │ ├── README.md │ ├── eslint.config.js │ ├── index.html │ ├── package-lock.json │ ├── package.json │ ├── public │ │ └── vite.svg │ ├── src │ │ ├── App.tsx │ │ ├── assets │ │ │ └── react.svg │ │ ├── components │ │ │ ├── Bullet.tsx │ │ │ ├── Enemy.tsx │ │ │ ├── Experience.tsx │ │ │ ├── Game.tsx │ │ │ └── Player.tsx │ │ ├── hooks │ │ │ ├── useGameLoop.ts │ │ │ └── useKeyboard.ts │ │ ├── main.tsx │ │ ├── types │ │ │ └── game.ts │ │ ├── utils │ │ │ ├── physics.ts │ │ │ └── spawner.ts │ │ └── vite-env.d.ts │ ├── tsconfig.app.json │ ├── tsconfig.json │ ├── tsconfig.node.json │ └── vite.config.ts ├── 06-typechecker │ ├── README.md │ ├── examples │ │ └── 07-real-world │ │ │ └── package.json │ ├── package-lock.json │ ├── package.json │ ├── src │ │ ├── ast.ts │ │ ├── environment.ts │ │ ├── index.test.ts │ │ ├── infer.ts │ │ ├── types.ts │ │ └── unification.ts │ ├── tsconfig.json │ └── vitest.config.ts ├── 07-real-world │ ├── .env.example │ ├── .gitignore │ ├── .mcp.json │ ├── CLAUDE.md │ ├── README.md │ ├── dashboard │ │ ├── .gitignore │ │ ├── README.md │ │ ├── app │ │ │ ├── favicon.ico │ │ │ ├── globals.css │ │ │ ├── layout.tsx │ │ │ └── page.tsx │ │ ├── next.config.ts │ │ ├── package-lock.json │ │ ├── package.json │ │ ├── playwright.config.ts │ │ ├── postcss.config.mjs │ │ ├── public │ │ │ ├── file.svg │ │ │ ├── globe.svg │ │ │ ├── next.svg │ │ │ ├── vercel.svg │ │ │ └── window.svg │ │ ├── tests │ │ │ └── todo.spec.ts │ │ └── tsconfig.json │ ├── oxlintrc.json │ ├── package-lock.json │ ├── package.json │ ├── prisma │ │ └── schema.prisma │ ├── src │ │ ├── __tests__ │ │ │ ├── setup.ts │ │ │ └── todo.service.test.ts │ │ ├── app.ts │ │ ├── middleware │ │ │ └── error.ts │ │ ├── routes │ │ │ └── todos.ts │ │ ├── seed.ts │ │ ├── server.ts │ │ ├── services │ │ │ └── todo.service.ts │ │ ├── types │ │ │ ├── result.ts │ │ │ └── todo.ts │ │ └── utils │ │ │ ├── error-handler.ts │ │ │ └── errors.ts │ ├── tsconfig.json │ └── vitest.config.ts └── 08-lean │ ├── .gitignore │ ├── Main.lean │ ├── README.md │ ├── lake-manifest.json │ ├── lakefile.lean │ └── lean-toolchain ├── guides ├── 00-setup.md ├── 01-dijkstra.md ├── 02-todo.md ├── 03-ink-game.md ├── 04-mcp.md ├── 05-survivor-game.md ├── 06-typechecker.md ├── 07-real-world.md └── 08-lean.md ├── images └── 07-first.png └── mise.toml /.claude/settings.json: -------------------------------------------------------------------------------- 1 | { 2 | } -------------------------------------------------------------------------------- /.github/workflows/07-test.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/.github/workflows/07-test.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | node_modules 2 | dist -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/README.md -------------------------------------------------------------------------------- /SETUP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/SETUP.md -------------------------------------------------------------------------------- /examples/00-setup/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/00-setup/package-lock.json -------------------------------------------------------------------------------- /examples/00-setup/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/00-setup/package.json -------------------------------------------------------------------------------- /examples/00-setup/src/math.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/00-setup/src/math.test.ts -------------------------------------------------------------------------------- /examples/00-setup/src/math.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/00-setup/src/math.ts -------------------------------------------------------------------------------- /examples/00-setup/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/00-setup/tsconfig.json -------------------------------------------------------------------------------- /examples/01-dijkstra/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/01-dijkstra/package-lock.json -------------------------------------------------------------------------------- /examples/01-dijkstra/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/01-dijkstra/package.json -------------------------------------------------------------------------------- /examples/01-dijkstra/src/dijkstra.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/01-dijkstra/src/dijkstra.test.ts -------------------------------------------------------------------------------- /examples/01-dijkstra/src/dijkstra.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/01-dijkstra/src/dijkstra.ts -------------------------------------------------------------------------------- /examples/01-dijkstra/src/example.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/01-dijkstra/src/example.ts -------------------------------------------------------------------------------- /examples/01-dijkstra/src/graph.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/01-dijkstra/src/graph.ts -------------------------------------------------------------------------------- /examples/01-dijkstra/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/01-dijkstra/tsconfig.json -------------------------------------------------------------------------------- /examples/02-todo/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/.gitignore -------------------------------------------------------------------------------- /examples/02-todo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/README.md -------------------------------------------------------------------------------- /examples/02-todo/dev.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/dev.db -------------------------------------------------------------------------------- /examples/02-todo/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/package-lock.json -------------------------------------------------------------------------------- /examples/02-todo/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/package.json -------------------------------------------------------------------------------- /examples/02-todo/prisma/dev.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/prisma/dev.db -------------------------------------------------------------------------------- /examples/02-todo/prisma/migrations/20250705230253_init/migration.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/prisma/migrations/20250705230253_init/migration.sql -------------------------------------------------------------------------------- /examples/02-todo/prisma/migrations/migration_lock.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/prisma/migrations/migration_lock.toml -------------------------------------------------------------------------------- /examples/02-todo/prisma/schema.prisma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/prisma/schema.prisma -------------------------------------------------------------------------------- /examples/02-todo/prisma/test-cli-todos.db: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/02-todo/src/__tests__/cli.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/src/__tests__/cli.test.ts -------------------------------------------------------------------------------- /examples/02-todo/src/__tests__/db.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/src/__tests__/db.test.ts -------------------------------------------------------------------------------- /examples/02-todo/src/cli.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/src/cli.ts -------------------------------------------------------------------------------- /examples/02-todo/src/db.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/src/db.ts -------------------------------------------------------------------------------- /examples/02-todo/src/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/src/index.ts -------------------------------------------------------------------------------- /examples/02-todo/src_v2/cli.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/src_v2/cli.test.ts -------------------------------------------------------------------------------- /examples/02-todo/src_v2/cli.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/src_v2/cli.ts -------------------------------------------------------------------------------- /examples/02-todo/src_v2/dev.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/src_v2/dev.db -------------------------------------------------------------------------------- /examples/02-todo/src_v2/examples/04-mcp/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/src_v2/examples/04-mcp/package.json -------------------------------------------------------------------------------- /examples/02-todo/src_v2/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/src_v2/index.ts -------------------------------------------------------------------------------- /examples/02-todo/src_v2/prisma-repository.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/src_v2/prisma-repository.ts -------------------------------------------------------------------------------- /examples/02-todo/src_v2/repository-factory.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/src_v2/repository-factory.ts -------------------------------------------------------------------------------- /examples/02-todo/src_v2/repository.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/src_v2/repository.test.ts -------------------------------------------------------------------------------- /examples/02-todo/src_v2/sqlite-repository.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/src_v2/sqlite-repository.ts -------------------------------------------------------------------------------- /examples/02-todo/src_v2/types.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/src_v2/types.ts -------------------------------------------------------------------------------- /examples/02-todo/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/tsconfig.json -------------------------------------------------------------------------------- /examples/02-todo/vitest.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/02-todo/vitest.config.ts -------------------------------------------------------------------------------- /examples/03-ink-game/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/03-ink-game/README.md -------------------------------------------------------------------------------- /examples/03-ink-game/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/03-ink-game/package-lock.json -------------------------------------------------------------------------------- /examples/03-ink-game/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/03-ink-game/package.json -------------------------------------------------------------------------------- /examples/03-ink-game/pnpm-lock.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/03-ink-game/pnpm-lock.yaml -------------------------------------------------------------------------------- /examples/03-ink-game/src/RoguelikeGame.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/03-ink-game/src/RoguelikeGame.tsx -------------------------------------------------------------------------------- /examples/03-ink-game/src/TestInput.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/03-ink-game/src/TestInput.tsx -------------------------------------------------------------------------------- /examples/03-ink-game/src/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/03-ink-game/src/index.tsx -------------------------------------------------------------------------------- /examples/03-ink-game/src/pathfinding.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/03-ink-game/src/pathfinding.ts -------------------------------------------------------------------------------- /examples/03-ink-game/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/03-ink-game/tsconfig.json -------------------------------------------------------------------------------- /examples/04-mcp/.mcp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/04-mcp/.mcp.json -------------------------------------------------------------------------------- /examples/04-mcp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/04-mcp/README.md -------------------------------------------------------------------------------- /examples/04-mcp/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/04-mcp/package-lock.json -------------------------------------------------------------------------------- /examples/04-mcp/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/04-mcp/package.json -------------------------------------------------------------------------------- /examples/04-mcp/src/echo-client.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/04-mcp/src/echo-client.ts -------------------------------------------------------------------------------- /examples/04-mcp/src/echo-server.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/04-mcp/src/echo-server.ts -------------------------------------------------------------------------------- /examples/04-mcp/src/mcp-server.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/04-mcp/src/mcp-server.ts -------------------------------------------------------------------------------- /examples/04-mcp/src/server.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/04-mcp/src/server.test.ts -------------------------------------------------------------------------------- /examples/04-mcp/src/server.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/04-mcp/src/server.ts -------------------------------------------------------------------------------- /examples/04-mcp/src/test-client.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/04-mcp/src/test-client.ts -------------------------------------------------------------------------------- /examples/04-mcp/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/04-mcp/tsconfig.json -------------------------------------------------------------------------------- /examples/05-survivor-game/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/.gitignore -------------------------------------------------------------------------------- /examples/05-survivor-game/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/README.md -------------------------------------------------------------------------------- /examples/05-survivor-game/eslint.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/eslint.config.js -------------------------------------------------------------------------------- /examples/05-survivor-game/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/index.html -------------------------------------------------------------------------------- /examples/05-survivor-game/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/package-lock.json -------------------------------------------------------------------------------- /examples/05-survivor-game/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/package.json -------------------------------------------------------------------------------- /examples/05-survivor-game/public/vite.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/public/vite.svg -------------------------------------------------------------------------------- /examples/05-survivor-game/src/App.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/src/App.tsx -------------------------------------------------------------------------------- /examples/05-survivor-game/src/assets/react.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/src/assets/react.svg -------------------------------------------------------------------------------- /examples/05-survivor-game/src/components/Bullet.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/src/components/Bullet.tsx -------------------------------------------------------------------------------- /examples/05-survivor-game/src/components/Enemy.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/src/components/Enemy.tsx -------------------------------------------------------------------------------- /examples/05-survivor-game/src/components/Experience.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/src/components/Experience.tsx -------------------------------------------------------------------------------- /examples/05-survivor-game/src/components/Game.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/src/components/Game.tsx -------------------------------------------------------------------------------- /examples/05-survivor-game/src/components/Player.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/src/components/Player.tsx -------------------------------------------------------------------------------- /examples/05-survivor-game/src/hooks/useGameLoop.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/src/hooks/useGameLoop.ts -------------------------------------------------------------------------------- /examples/05-survivor-game/src/hooks/useKeyboard.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/src/hooks/useKeyboard.ts -------------------------------------------------------------------------------- /examples/05-survivor-game/src/main.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/src/main.tsx -------------------------------------------------------------------------------- /examples/05-survivor-game/src/types/game.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/src/types/game.ts -------------------------------------------------------------------------------- /examples/05-survivor-game/src/utils/physics.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/src/utils/physics.ts -------------------------------------------------------------------------------- /examples/05-survivor-game/src/utils/spawner.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/src/utils/spawner.ts -------------------------------------------------------------------------------- /examples/05-survivor-game/src/vite-env.d.ts: -------------------------------------------------------------------------------- 1 | /// 2 | -------------------------------------------------------------------------------- /examples/05-survivor-game/tsconfig.app.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/tsconfig.app.json -------------------------------------------------------------------------------- /examples/05-survivor-game/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/tsconfig.json -------------------------------------------------------------------------------- /examples/05-survivor-game/tsconfig.node.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/tsconfig.node.json -------------------------------------------------------------------------------- /examples/05-survivor-game/vite.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/05-survivor-game/vite.config.ts -------------------------------------------------------------------------------- /examples/06-typechecker/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/06-typechecker/README.md -------------------------------------------------------------------------------- /examples/06-typechecker/examples/07-real-world/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/06-typechecker/examples/07-real-world/package.json -------------------------------------------------------------------------------- /examples/06-typechecker/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/06-typechecker/package-lock.json -------------------------------------------------------------------------------- /examples/06-typechecker/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/06-typechecker/package.json -------------------------------------------------------------------------------- /examples/06-typechecker/src/ast.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/06-typechecker/src/ast.ts -------------------------------------------------------------------------------- /examples/06-typechecker/src/environment.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/06-typechecker/src/environment.ts -------------------------------------------------------------------------------- /examples/06-typechecker/src/index.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/06-typechecker/src/index.test.ts -------------------------------------------------------------------------------- /examples/06-typechecker/src/infer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/06-typechecker/src/infer.ts -------------------------------------------------------------------------------- /examples/06-typechecker/src/types.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/06-typechecker/src/types.ts -------------------------------------------------------------------------------- /examples/06-typechecker/src/unification.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/06-typechecker/src/unification.ts -------------------------------------------------------------------------------- /examples/06-typechecker/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/06-typechecker/tsconfig.json -------------------------------------------------------------------------------- /examples/06-typechecker/vitest.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/06-typechecker/vitest.config.ts -------------------------------------------------------------------------------- /examples/07-real-world/.env.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/.env.example -------------------------------------------------------------------------------- /examples/07-real-world/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/.gitignore -------------------------------------------------------------------------------- /examples/07-real-world/.mcp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/.mcp.json -------------------------------------------------------------------------------- /examples/07-real-world/CLAUDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/CLAUDE.md -------------------------------------------------------------------------------- /examples/07-real-world/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/README.md -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/.gitignore -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/README.md -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/app/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/app/favicon.ico -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/app/globals.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/app/globals.css -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/app/layout.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/app/layout.tsx -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/app/page.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/app/page.tsx -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/next.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/next.config.ts -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/package-lock.json -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/package.json -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/playwright.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/playwright.config.ts -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/postcss.config.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/postcss.config.mjs -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/public/file.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/public/file.svg -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/public/globe.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/public/globe.svg -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/public/next.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/public/next.svg -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/public/vercel.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/public/vercel.svg -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/public/window.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/public/window.svg -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/tests/todo.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/tests/todo.spec.ts -------------------------------------------------------------------------------- /examples/07-real-world/dashboard/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/dashboard/tsconfig.json -------------------------------------------------------------------------------- /examples/07-real-world/oxlintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/oxlintrc.json -------------------------------------------------------------------------------- /examples/07-real-world/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/package-lock.json -------------------------------------------------------------------------------- /examples/07-real-world/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/package.json -------------------------------------------------------------------------------- /examples/07-real-world/prisma/schema.prisma: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/prisma/schema.prisma -------------------------------------------------------------------------------- /examples/07-real-world/src/__tests__/setup.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/src/__tests__/setup.ts -------------------------------------------------------------------------------- /examples/07-real-world/src/__tests__/todo.service.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/src/__tests__/todo.service.test.ts -------------------------------------------------------------------------------- /examples/07-real-world/src/app.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/src/app.ts -------------------------------------------------------------------------------- /examples/07-real-world/src/middleware/error.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/src/middleware/error.ts -------------------------------------------------------------------------------- /examples/07-real-world/src/routes/todos.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/src/routes/todos.ts -------------------------------------------------------------------------------- /examples/07-real-world/src/seed.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/src/seed.ts -------------------------------------------------------------------------------- /examples/07-real-world/src/server.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/src/server.ts -------------------------------------------------------------------------------- /examples/07-real-world/src/services/todo.service.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/src/services/todo.service.ts -------------------------------------------------------------------------------- /examples/07-real-world/src/types/result.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/src/types/result.ts -------------------------------------------------------------------------------- /examples/07-real-world/src/types/todo.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/src/types/todo.ts -------------------------------------------------------------------------------- /examples/07-real-world/src/utils/error-handler.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/src/utils/error-handler.ts -------------------------------------------------------------------------------- /examples/07-real-world/src/utils/errors.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/src/utils/errors.ts -------------------------------------------------------------------------------- /examples/07-real-world/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/tsconfig.json -------------------------------------------------------------------------------- /examples/07-real-world/vitest.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/07-real-world/vitest.config.ts -------------------------------------------------------------------------------- /examples/08-lean/.gitignore: -------------------------------------------------------------------------------- 1 | .lake -------------------------------------------------------------------------------- /examples/08-lean/Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/08-lean/Main.lean -------------------------------------------------------------------------------- /examples/08-lean/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/08-lean/README.md -------------------------------------------------------------------------------- /examples/08-lean/lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/08-lean/lake-manifest.json -------------------------------------------------------------------------------- /examples/08-lean/lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/examples/08-lean/lakefile.lean -------------------------------------------------------------------------------- /examples/08-lean/lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.12.0 -------------------------------------------------------------------------------- /guides/00-setup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/guides/00-setup.md -------------------------------------------------------------------------------- /guides/01-dijkstra.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/guides/01-dijkstra.md -------------------------------------------------------------------------------- /guides/02-todo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/guides/02-todo.md -------------------------------------------------------------------------------- /guides/03-ink-game.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/guides/03-ink-game.md -------------------------------------------------------------------------------- /guides/04-mcp.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/guides/04-mcp.md -------------------------------------------------------------------------------- /guides/05-survivor-game.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/guides/05-survivor-game.md -------------------------------------------------------------------------------- /guides/06-typechecker.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/guides/06-typechecker.md -------------------------------------------------------------------------------- /guides/07-real-world.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/guides/07-real-world.md -------------------------------------------------------------------------------- /guides/08-lean.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/guides/08-lean.md -------------------------------------------------------------------------------- /images/07-first.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/images/07-first.png -------------------------------------------------------------------------------- /mise.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mizchi/ai-coding-guide-202507/HEAD/mise.toml --------------------------------------------------------------------------------