Merge pull request #433 from ProverCoderAI/codex/add-effect-ts-skills

feat(dev): add effect ts skill

Author: skulidropek

.codex/skills/effect-ts-guide

@@ -0,0 +1 @@
+../../third_party/effect-ts-skills/plugins/effect-ts-skills/skills/effect-ts-guide

.codex/skills/effect-ts-guide/SKILL.md

@@ -1,3 +1,6 @@
 [submodule "third_party/skiller-desktop-skills-manager"]
 	path = third_party/skiller-desktop-skills-manager
 	url = https://github.com/beautyfree/skiller-desktop-skills-manager.git
+[submodule "third_party/effect-ts-skills"]
+	path = third_party/effect-ts-skills
+	url = https://github.com/ProverCoderAI/effect-ts-skills.git

.codex/skills/effect-ts-guide/references/best-practices.md

@@ -0,0 +1,62 @@
+# Effect TS Skills
+
+The repository includes the `effect-ts-guide` Codex skill from `ProverCoderAI/effect-ts-skills` as a project-scoped skill through a git submodule.
+
+## Source
+
+- Repository: https://github.com/ProverCoderAI/effect-ts-skills
+- Submodule path: `third_party/effect-ts-skills`
+- Skill source path: `third_party/effect-ts-skills/plugins/effect-ts-skills/skills/effect-ts-guide`
+- Submodule commit: `178adff12f5bf020b55e1aef347e2258e5033192`
+- Project skill path: `.codex/skills/effect-ts-guide`
+
+`.codex/skills/effect-ts-guide` is a symlink to the submodule skill directory. This keeps Codex discovery on the usual project-scoped skill path without copying the upstream skill files into this repository.
+
+## Usage
+
+Codex can use the skill directly from this workspace when a task mentions `$effect-ts-guide` or asks for Effect-TS compliance work.
+
+The submodule skill bundles a reusable `effect-ts-check` runner and tarball asset, so the OpenAPI Effect boundary can be checked without installing the plugin globally:
+
+```bash
+bun run effect:skill:check
+```
+
+The check command initializes `third_party/effect-ts-skills` first. To only initialize the submodule, run:
+
+```bash
+bun run effect:skill:init
+```
+
+For exploratory migration scans across more of the monorepo, run the bundled checker directly and choose the target paths:
+
+```bash
+bash .codex/skills/effect-ts-guide/scripts/run-effect-ts-check.sh <paths> --profile minimal
+bash .codex/skills/effect-ts-guide/scripts/run-effect-ts-check.sh <paths> --profile strict
+```
+
+## Current Scope
+
+`bun run effect:skill:check` is intentionally scoped to the OpenAPI Effect client boundary that is currently green under the strict profile. A full monorepo scan still reports known legacy migration violations in API and session-sync code, so it is useful as backlog discovery rather than a merge gate.
+
+## Update Procedure
+
+Initialize the submodule after cloning this repository:
+
+```bash
+bun run effect:skill:init
+```
+
+To refresh the project skill from upstream:
+
+```bash
+git -C third_party/effect-ts-skills fetch origin main
+git -C third_party/effect-ts-skills checkout <commit-or-origin/main>
+git add third_party/effect-ts-skills
+```
+
+After updating, run:
+
+```bash
+bun run effect:skill:check
+```

.codex/skills/effect-ts-guide/references/platform-map.md

@@ -50,6 +50,8 @@
     "lint": "bun run --filter @prover-coder-ai/docker-git-terminal lint && bun run --filter @prover-coder-ai/docker-git lint && bun run --filter @effect-template/lib lint",
     "lint:tests": "bun run --filter @prover-coder-ai/docker-git lint:tests",
     "lint:effect": "bun run --filter @prover-coder-ai/docker-git-session-sync lint:effect && bun run --filter @prover-coder-ai/docker-git-terminal lint:effect && bun run --filter @prover-coder-ai/docker-git lint:effect && bun run --filter @prover-coder-ai/docker-git-container lint:effect && bun run --filter @effect-template/lib lint:effect && bun run --filter @effect-template/api lint:effect",
+    "effect:skill:init": "git submodule update --init --checkout third_party/effect-ts-skills",
+    "effect:skill:check": "bun run effect:skill:init && bash .codex/skills/effect-ts-guide/scripts/run-effect-ts-check.sh packages/app/src/web/api-create-project.ts packages/app/src/web/api-database.ts packages/app/src/web/api-http.ts packages/app/src/web/api-prompts.ts packages/app/src/web/api-skills.ts packages/app/src/web/api-tasks.ts packages/openapi/src --profile strict",
     "test": "bun run --filter @prover-coder-ai/docker-git-session-sync test && bun run --filter @prover-coder-ai/docker-git-terminal test && bun run --filter @prover-coder-ai/docker-git test && bun run --filter @effect-template/lib test",
     "typecheck": "bun run --filter @prover-coder-ai/docker-git-session-sync typecheck && bun run --filter @prover-coder-ai/docker-git-terminal typecheck && bun run --filter @prover-coder-ai/docker-git-openapi typecheck && bun run --filter @prover-coder-ai/docker-git typecheck && bun run --filter @effect-template/lib typecheck",
     "start": "bun run --cwd packages/app build:docker-git && bun ./packages/app/dist/src/docker-git/main.js"