From df9115e12dd2e0c8c2a6e460cb172fe52d017122 Mon Sep 17 00:00:00 2001
From: konard <drakonard@gmail.com>
Date: Tue, 7 Apr 2026 21:17:52 +0000
Subject: [PATCH 1/3] Initial commit with task details

Adding .gitkeep for PR creation (default mode).
This file will be removed when the task is complete.

Issue: https://github.com/ProverCoderAI/effect-ts-skills/issues/4
---
 .gitkeep | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 .gitkeep

diff --git a/.gitkeep b/.gitkeep
new file mode 100644
index 0000000..33fb9cf
--- /dev/null
+++ b/.gitkeep
@@ -0,0 +1 @@
+# .gitkeep file auto-generated at 2026-04-07T21:17:52.139Z for PR creation at branch issue-4-66231da9c68d for issue https://github.com/ProverCoderAI/effect-ts-skills/issues/4
\ No newline at end of file

From 246a18d9c165af75e042df3dd3c7595d8c93ade5 Mon Sep 17 00:00:00 2001
From: konard <drakonard@gmail.com>
Date: Tue, 7 Apr 2026 21:20:56 +0000
Subject: [PATCH 2/3] docs: add README with install/update instructions and
 installPaths to plugin manifest

Add a README.md that documents:
- The canonical installation command with --repo and --path flags
- A safe update/reinstall flow (rm + re-install)
- Development setup instructions

Also add an explicit `installPaths` array to `.codex-plugin/plugin.json`
so tooling can discover the single skill path without scanning the tree.

Fixes #4

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
---
 .codex-plugin/plugin.json |  3 ++
 README.md                 | 61 +++++++++++++++++++++++++++++++++++++++
 2 files changed, 64 insertions(+)
 create mode 100644 README.md

diff --git a/.codex-plugin/plugin.json b/.codex-plugin/plugin.json
index 26e0c02..6189d52 100644
--- a/.codex-plugin/plugin.json
+++ b/.codex-plugin/plugin.json
@@ -18,6 +18,9 @@
     "codex"
   ],
   "skills": "./skills/",
+  "installPaths": [
+    "skills/effect-ts-guide"
+  ],
   "interface": {
     "displayName": "Effect TS Skills",
     "shortDescription": "Effect-TS skill and compliance checks",
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..fe7a562
--- /dev/null
+++ b/README.md
@@ -0,0 +1,61 @@
+# effect-ts-skills
+
+Reusable Effect-TS skills and compliance tooling for [Codex](https://github.com/openai/codex).
+
+## Skills
+
+| Skill | Path | Description |
+|-------|------|-------------|
+| [effect-ts-guide](skills/effect-ts-guide/SKILL.md) | `skills/effect-ts-guide` | Effect-TS guidance for architecture, typed errors, Layers, boundary validation, resource safety, compliance checks, and editor tooling. |
+
+## Installation
+
+### First install
+
+```bash
+python3 ~/.codex/skills/.system/skill-installer/scripts/install-skill-from-github.py \
+  --repo ProverCoderAI/effect-ts-skills \
+  --path skills/effect-ts-guide
+```
+
+### Update / Reinstall
+
+The skill installer does not overwrite an existing installation.
+To update to the latest version, remove the previous copy first:
+
+```bash
+rm -rf ~/.codex/skills/effect-ts-guide
+
+python3 ~/.codex/skills/.system/skill-installer/scripts/install-skill-from-github.py \
+  --repo ProverCoderAI/effect-ts-skills \
+  --path skills/effect-ts-guide
+```
+
+### Verify
+
+After installation, the skill entry point should exist at:
+
+```
+~/.codex/skills/effect-ts-guide/SKILL.md
+```
+
+## Development
+
+This repository is a [pnpm workspace](https://pnpm.io/workspaces).
+
+```bash
+pnpm install
+pnpm run check
+```
+
+### Structure
+
+```
+skills/effect-ts-guide/   # Publishable skill (SKILL.md + bundled assets)
+packages/effect-ts-check/  # Reusable Effect-TS compliance CLI
+tools/                     # Repo-level validation scripts
+```
+
+## License
+
+ISC

From 42474757f3c2284dcf0fe0a0919a9de4fbce8457 Mon Sep 17 00:00:00 2001
From: konard <drakonard@gmail.com>
Date: Tue, 7 Apr 2026 21:23:06 +0000
Subject: [PATCH 3/3] chore: remove auto-generated .gitkeep placeholder

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
---
 .gitkeep | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 .gitkeep

diff --git a/.gitkeep b/.gitkeep
deleted file mode 100644
index 33fb9cf..0000000
--- a/.gitkeep
+++ /dev/null
@@ -1 +0,0 @@
-# .gitkeep file auto-generated at 2026-04-07T21:17:52.139Z for PR creation at branch issue-4-66231da9c68d for issue https://github.com/ProverCoderAI/effect-ts-skills/issues/4
\ No newline at end of file