purify
Model data and effects with Codecs, Maybe, Either, and EitherAsync in TypeScript.
npx skills add https://github.com/manutej/fstar-labs --skill purify
💬 Prompt for ChatGPT / Claude Chat▼
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