Skills
.Work. You
Rest

writing-stubs-and-docs

Community

Efficiently author high-quality typed stubs and docstrings with typecheck gate

Software Engineering#functional programming#stub generation#RPSTIE workflow#typechecked#typed stubs
AuthorTK-Evans01
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill streamlines the process of writing typed function stubs and contract docstrings, ensuring adherence to a robust RPSTIE workflow and typechecked contracts.

Core Features & Use Cases

  • Typed Stubs Creation: Generates typed function stubs for signatures, branded primitives, error shapes, smart constructors, and unimplemented markers.
  • Typechecked Gate: Ensures stubs pass through a typecheck gate before commit, catching errors early.
  • Documentation Support: Provides templates for detailed docstrings with purpose, input, output, errors, and examples.
  • Use Case: Perfect for developers who need to write clear and concise stubs before writing tests and bodies, adhering to functional programming principles.

Quick Start

Execute 'tk-rpie:writing-stubs-and-docs' to initiate the stub authoring process for a new function.

Dependency Matrix

Required Modules

None required

Components

scripts

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: writing-stubs-and-docs
Download link: https://github.com/TK-Evans01/tk-harness/archive/main.zip#writing-stubs-and-docs

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 620,000+ vetted skills library on demand.