Effect TS
tellahq/opensession
Write idiomatic Effect v4 TypeScript verified against the pinned effect@4.0.0-rc.112 source.
Write idiomatic Effect v4 TypeScript following official best practices from effect-solutions and the Effect source.
$ npx skills add mattiacerutti/supernova --skill effect-ts -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install mattiacerutti/supernova effect-ts --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/mattiacerutti/supernova.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.agents/skills/effect-ts .claude/skills/effect-ts && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "effect-ts" agent skill from https://github.com/mattiacerutti/supernova/tree/main/.agents/skills/effect-ts into .claude/skills/effect-ts/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "effect-ts", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/mattiacerutti/supernova/tree/main/.agents/skills/effect-tsType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add mattiacerutti/supernova --skill effect-ts -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install mattiacerutti/supernova effect-ts --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/mattiacerutti/supernova.git skills-src && mkdir -p .agents/skills && cp -r skills-src/.agents/skills/effect-ts .agents/skills/effect-ts && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "effect-ts" agent skill from https://github.com/mattiacerutti/supernova/tree/main/.agents/skills/effect-ts into .agents/skills/effect-ts/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "effect-ts", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add mattiacerutti/supernova --skill effect-ts -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install mattiacerutti/supernova effect-ts --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/mattiacerutti/supernova.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/.agents/skills/effect-ts .cursor/skills/effect-ts && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "effect-ts" agent skill from https://github.com/mattiacerutti/supernova/tree/main/.agents/skills/effect-ts into .cursor/skills/effect-ts/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "effect-ts", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/mattiacerutti/supernova.git --path .agents/skills/effect-ts--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add mattiacerutti/supernova --skill effect-ts -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install mattiacerutti/supernova effect-ts --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/mattiacerutti/supernova.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/.agents/skills/effect-ts .gemini/skills/effect-ts && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "effect-ts" agent skill from https://github.com/mattiacerutti/supernova/tree/main/.agents/skills/effect-ts into .gemini/skills/effect-ts/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "effect-ts", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install mattiacerutti/supernova effect-tsInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add mattiacerutti/supernova --skill effect-ts -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/mattiacerutti/supernova.git skills-src && mkdir -p .github/skills && cp -r skills-src/.agents/skills/effect-ts .github/skills/effect-ts && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "effect-ts" agent skill from https://github.com/mattiacerutti/supernova/tree/main/.agents/skills/effect-ts into .github/skills/effect-ts/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "effect-ts", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add mattiacerutti/supernova --skill effect-ts -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install mattiacerutti/supernova effect-ts --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/mattiacerutti/supernova.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/.agents/skills/effect-ts .opencode/skills/effect-ts && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "effect-ts" agent skill from https://github.com/mattiacerutti/supernova/tree/main/.agents/skills/effect-ts into .opencode/skills/effect-ts/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "effect-ts", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
effect-tsWrite idiomatic Effect v4 TypeScript following official best practices from effect-solutions and the Effect source.
Effect TS is an agent skill from mattiacerutti/supernova. Write idiomatic Effect v4 TypeScript following official best practices from effect-solutions and the Effect source. Use when writing, reviewing, or refactoring Effect code: services (ServiceMap.Service), layers and dependency injection, error handling (Schema.TaggedErrorClass), data modeling (Schema.Class, branded types, variants), testing (@effect/vitest), HTTP clients (effect/unstable/http), CLI tools (effect/unstable/cli), config, observability, and project setup. Triggers on: 'Effect', 'effect-ts'…
Its SKILL.md is about 2.8k tokens, which your agent loads only when the skill is triggered. The skill folder holds 10 other files, including reference files (for example `references/cli.md`, `references/config.md` and `references/data-modeling.md`).
It sits in Development, covering Database schema design, Design patterns and Unit testing. It works with Vitest and TypeScript. The repository describes itself as: A fast, opinionated development environment for Pi. The licence is MIT.
Read from SKILL.md and the folder at commit a8577b9. It shows what the files ask for, not the result of running them.
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
No scripts in the folder and no shell commands in SKILL.md (its code samples are typescript).
From the folder's file list and the shell code blocks in SKILL.md.
Links to these hosts (documentation or services it may open):
github.comFrom URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Effect TS loads about 2.8k tokens when it runs, and up to ~19k if it reads all its reference files. Until then it costs about 163 tokens; SKILL.md has 543 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
The full file from mattiacerutti/supernova at commit a8577b9, republished under its MIT licence (© mattiacerutti). 543 words, ~2,821 tokens.
.claude/skills/effect-ts/SKILL.md (or your agent's skills folder). This skill also uses 9 other files; get the full folder from GitHub.Patterns from effect-solutions and the Effect source. This covers the latest v4 APIs.
When working in any repo that uses Effect (effect or @effect/* in package/dependency files), reference the official Effect source before writing, reviewing, or refactoring Effect code. Do not rely on stale memory, blog posts, or high-level docs alone.
.context/effect-smol/ and the effect-solutions code code mirror at .context/effect-solutions/..context/effect-smol/.context/effect-solutions/.context/effect-smol/packages/effect/src/ and package tests/examples, before calling something an Effect best practice.Effect.gen provides sequential, readable composition (like async/await for Effect):
import {Effect} from "effect";
const program = Effect.gen(function* () {
const data = yield* fetchData;
yield* Effect.logInfo(`Processing: ${data}`);
return yield* processData(data);
});Effect.fn adds call-site tracing and named spans. Use for all service methods:
const processUser = Effect.fn("processUser")(function* (userId: string) {
yield* Effect.logInfo(`Processing user ${userId}`);
const user = yield* getUser(userId);
return yield* processData(user);
});
// Second argument for cross-cutting concerns (retry, timeout)
const fetchWithRetry = Effect.fn("fetchWithRetry")(
function* (url: string) {
const data = yield* fetchData(url);
return yield* processData(data);
},
flow(Effect.retry(Schedule.recurs(3)), Effect.timeout("5 seconds"))
);Define services as classes with a unique tag and typed interface:
import {Effect, ServiceMap} from "effect";
class Database extends ServiceMap.Service<
Database,
{
readonly query: (sql: string) => Effect.Effect<unknown[]>;
readonly execute: (sql: string) => Effect.Effect<void>;
}
>()("@app/Database") {}Implement with Layer.effect or Layer.sync, using Effect.fn for all methods:
import {Effect, Layer} from "effect";
class Users extends ServiceMap.Service<
Users,
{
readonly findById: (id: UserId) => Effect.Effect<User, UserNotFoundError>;
readonly all: () => Effect.Effect<readonly User[]>;
}
>()("@app/Users") {
static readonly layer = Layer.effect(
Users,
Effect.gen(function* () {
const http = yield* HttpClient.HttpClient;
const findById = Effect.fn("Users.findById")(function* (id: UserId) {
const response = yield* http.get(`/users/${id}`);
return yield* HttpClientResponse.schemaBodyJson(User)(response);
});
const all = Effect.fn("Users.all")(function* () {
const response = yield* http.get("/users");
return yield* HttpClientResponse.schemaBodyJson(Schema.Array(User))(response);
});
return {findById, all};
})
);
}Rules:
@app/ServiceName patternR = never (dependencies via Layer, not method signatures)readonly propertiesSee references/services-and-layers.md for service-driven development, test layers, layer memoization, and full composition patterns.
Use Schema.Class for domain records. Brand all entity IDs and domain primitives:
import {Schema} from "effect";
const UserId = Schema.String.pipe(Schema.brand("UserId"));
type UserId = typeof UserId.Type;
const Email = Schema.String.pipe(Schema.brand("Email"));
type Email = typeof Email.Type;
class User extends Schema.Class("User")({
id: UserId,
name: Schema.String,
email: Email,
createdAt: Schema.Date,
}) {
get displayName() {
return `${this.name} (${this.email})`;
}
}
// Construct with makeUnsafe for brands
const userId = UserId.makeUnsafe("user-123");Use Schema.TaggedClass + Schema.Union for variants (OR types):
import {Match, Schema} from "effect";
class Success extends Schema.TaggedClass("Success")("Success", {
value: Schema.Number,
}) {}
class Failure extends Schema.TaggedClass("Failure")("Failure", {
error: Schema.String,
}) {}
const Result = Schema.Union([Success, Failure]);
type Result = typeof Result.Type;
// Exhaustive pattern matching
const render = (r: Result) =>
Match.valueTags(r, {
Success: ({value}) => `Got: ${value}`,
Failure: ({error}) => `Error: ${error}`,
});See references/data-modeling.md for JSON encoding, Schema.Literals, validation, and full patterns.
Define domain errors with Schema.TaggedErrorClass. They are yieldable (no Effect.fail needed):
import {Schema} from "effect";
class UserNotFoundError extends Schema.TaggedErrorClass("UserNotFoundError")("UserNotFoundError", {userId: UserId, message: Schema.String}) {}
// Yieldable: yield directly in generators
const getUser = Effect.fn("getUser")(function* (id: UserId) {
const user = yield* findUser(id);
if (!user) yield* new UserNotFoundError({userId: id, message: "Not found"});
return user;
});Recover with catchTag / catchTags:
// Single tag
const recovered = program.pipe(Effect.catchTag("UserNotFoundError", (e) => Effect.succeed(`User ${e.userId} missing`)));
// Multiple tags
const recovered2 = program.pipe(
Effect.catchTags({
UserNotFoundError: (e) => Effect.succeed("not found"),
ValidationError: (e) => Effect.succeed("invalid"),
})
);See references/error-handling.md for defects, Schema.Defect, and recovery patterns.
Compose layers with Layer.provideMerge (incremental, flat types) and Layer.merge (parallel):
import {Effect, Layer} from "effect";
// Compose layers for the app
const appLayer = UserService.layer.pipe(Layer.provideMerge(DatabaseLayer), Layer.provideMerge(LoggerLayer), Layer.provideMerge(ConfigLayer));
// Provide once at the entry point
const main = program.pipe(Effect.provide(appLayer));
Effect.runPromise(main);Key rules:
Layer.sync for synchronous implementations, Layer.effect for effectful onesimport {describe, expect, it} from "@effect/vitest";
import {Effect, Layer} from "effect";
it.effect("queries database", () =>
Effect.gen(function* () {
const db = yield* Database;
const results = yield* db.query("SELECT *");
expect(results.length).toBe(2);
}).pipe(Effect.provide(Database.testLayer))
);it.effect for Effect-based tests (provides TestContext with TestClock)it.live for real time / real clockit.layer only when sharing expensive resources across a suiteSee references/testing.md for the full worked example and advanced patterns.
const program = fetchData.pipe(
Effect.timeout("5 seconds"),
Effect.retry(Schedule.exponential("100 millis").pipe(Schedule.compose(Schedule.recurs(3)))),
Effect.tap((data) => Effect.logInfo(`Fetched: ${data}`)),
Effect.withSpan("fetchData")
);| Do Not | Do Instead |
|---|---|
console.log(...) | Effect.log(...) with structured data |
process.env.KEY | Config.string("KEY") or Config.redacted("KEY") |
throw new Error() inside Effect.gen | yield* new TaggedError({...}) or Effect.fail(...) |
Effect.runSync(...) inside services | Keep everything effectful |
Effect.catchAll(() => ...) losing type info | Effect.catchTag / Effect.catchTags |
null / undefined in domain types | Option<T> with Option.match |
Option.getOrThrow(...) | Option.match({ onNone, onSome }) or Option.getOrElse |
Effect.Service (v3) | ServiceMap.Service (v4) |
Schema.TaggedError<T>() (v3) | Schema.TaggedErrorClass("Tag")("Tag", {...}) (v4) |
Scatter Effect.provide calls | Provide once at app entry |
| Call parameterized layer constructors inline | Store layers in constants (memoization) |
Load these as needed for deeper patterns:
© mattiacerutti, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
SKILL.md and 9 other files (references) in .agents/skills/effect-ts of mattiacerutti/supernova.
Open the folder on GitHubat commit a8577b9
Effect TS next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Effect TS this skillmattiacerutti/supernova | 186 | — | ~2.8k | Automated safety check: Pass | MIT | |
| Effect TStellahq/opensession | 392 | — | ~3.7k | Automated safety check: Pass | MIT | |
| Effect TSpproenca/dot-skills | 215 | — | ~2k | Automated safety check: Pass | MIT | |
| Tabler Shared Lib Helperstabler/tabler | 42k | — | ~1.2k | Automated safety check: Pass | MIT | |
| Typescript Idiomsirahardianto/awesome-agv | 157 | — | ~6.1k | Automated safety check: Pass | MIT | |
| Vue Idiomsirahardianto/awesome-agv | 157 | — | ~6k | Automated safety check: Pass | MIT |
tellahq/opensession
Write idiomatic Effect v4 TypeScript verified against the pinned effect@4.0.0-rc.112 source.
pproenca/dot-skills
Effect-TS library usage in TypeScript — Effect.gen generators, Schema.Struct/Schema.Class definitions, Layer/Context.Tag/Service patterns, Effect.pipe pipelines, Data.TaggedError/Data.Class error…
tabler/tabler
Moves logic out of Astro frontmatter into tested helper modules under shared/lib, with rules for naming, typing, deterministic demo data and sibling test files.
irahardianto/awesome-agv
TypeScript strict typing: type narrowing, discriminated unions, Zod runtime validation, generic utility types, and Vitest testing.
irahardianto/awesome-agv
Vue 3 Composition API patterns: <script setup syntax, reactive state with Pinia stores, reusable composables, and Vitest component testing.
synnaxlabs/synnax
Rules for writing and editing unit tests in the Console (console/src//.spec.ts[x]).
mattiacerutti/supernova
Enforce the no-useEffect rule when writing or reviewing React code.
Works with
Categories
Write idiomatic Effect v4 TypeScript following official best practices from effect-solutions and the Effect source. Effect TS is an agent skill from mattiacerutti/supernova. Write idiomatic Effect v4 TypeScript following official best practices from effect-solutions and the Effect source.
Effect TS fits situations like: refactoring Effect code: services (ServiceMap.Service); layers and dependency injection; error handling (Schema.TaggedErrorClass); data modeling (Schema.Class.
Run `npx skills add mattiacerutti/supernova --skill effect-ts -a claude-code`. Or copy the skill folder (.agents/skills/effect-ts in mattiacerutti/supernova) into .claude/skills/effect-ts in your project. Claude Code loads it when a task matches its description.
Run `npx skills add mattiacerutti/supernova --skill effect-ts -a codex`. Or copy the skill folder (.agents/skills/effect-ts in mattiacerutti/supernova) into .agents/skills/effect-ts in your project. Codex loads it when a task matches its description.
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add mattiacerutti/supernova --skill effect-ts -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/effect-ts, .gemini/skills/effect-ts, .github/skills/effect-ts and .opencode/skills/effect-ts in your project.
SKILL.md names no scripts, command-line tools or credentials: Effect TS is instructions for the agent only.
SKILL.md names 1 domain. As links in the text: github.com. This is read from the text; nothing was executed.
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
Effect TS is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
About 2.8k tokens (SKILL.md is roughly 11k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 17k tokens, read only when the agent opens those files.
Skills that share tags, products or a category with Effect TS: Effect TS (tellahq/opensession, 392 stars), Effect TS (pproenca/dot-skills, 215 stars), Tabler Shared Lib Helpers (tabler/tabler, 42k stars) and Typescript Idioms (irahardianto/awesome-agv, 157 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
mattiacerutti (a GitHub user) maintains it in mattiacerutti/supernova, which has 186 GitHub stars. The repository holds 2 skills in this directory. The repository was last updated on October 7, 2026.
Source: mattiacerutti/supernova on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.