purify
Model data and effects with Codecs, Maybe, Either, and EitherAsync in TypeScript.
npx skills add https://github.com/manutej/fstar-labs --skill purify
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill. Skill: purify Source: https://github.com/manutej/fstar-labs/tree/main/.claude/skills/purify Command: npx skills add https://github.com/manutej/fstar-labs --skill purify