AI Agent Skills

textlint is the pluggable linter for natural language text.

PKM Markdown Language Server

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

A light markup language

Coding assistance for JupyterLab (code navigation + hover suggestions + linters + autocompletion + rename) using Language Server Protocol

Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server

The Plutus language implementation and tools

中文古籍刻本風格直排電子書製作工具 Chinese Ancient eBooks Generator

A novel Multimodal Large Language Model (MLLM) architecture, designed to structurally align visual and textual embeddings.

Developer friendly Natural Language Processing ✨

「說人話」：繁體中文的去 AI 味改寫 skill。抓 38 種 AI 寫作痕跡，順手校正中國用語與半形標點，給 Claude Code / Codex / Cursor 用。

A browser-based desktop where AI Agent operates every app through natural language.

Terraform Language Server

Generate original one-ink or controlled two-ink editorial images from any theme, sentence, article idea, object, or reference photo. Always use this skill when the user…

微信公众号文章批量下载工具，支持导出阅读量与评论数据。无需搭建环境，支持在线使用、Docker 私有化部署和 Cloudflare 部署。支持多种格式导出，HTML 格式可100%还原文章排版与样式。

Agent skill: convert Chinese story copy or ordered images into a hand-drawn diary-comic animation (silent MP4 picture track).