AI Agent Skills

A static type analyzer for Python code

Label Studio is a multi-type data labeling and annotation tool with standardized output format

Performant type-checking for python.

A type-safe TypeScript SQL query builder

🐼 Universal, Type-Safe, CSS-in-JS Framework for Design Systems ⚡️

Python Type Checker / Language Server

🤖 Type-safe, provider-agnostic TypeScript AI SDK for streaming chat, tool calling, agents, and multimodal apps across OpenAI, Anthropic, Gemini, React, Vue, Svelte, and…

:octocat: Github action to retrieve all (added, copied, modified, deleted, renamed, type changed, unmerged, unknown) files and directories.

Transform your content into type-safe data collections

Generate type-safe code from SQL

Type safe SQL builder with code generation and automatic query result data mapping

Build a complete Nature-style Chinese PPTX presentation from a scientific paper, preprint, PDF, article text, figure legends, or reading notes. Use for journal club, gro…

An analysis tool for Python that blurs the line between testing and type systems.

A brand visual-identity system reveal for an outdoor label — logo, color, type, and the rules that keep it consistent. Built as a decision-grade design craft deck for br…

A type-and-color system for a culture magazine relaunch — the grid, the tri-tone palette, and the layout kit. Built as a decision-grade design craft deck for editorial &…

Python wrapper for AutoHotkey with full type support. Harness the automation power of AutoHotkey with the beauty of Python.