AI Agent Skills

KCL Programming Language Core and API (CNCF Sandbox Project). https://kcl-lang.io

The media player for language learning, with dual subtitles, AI-generated subtitles, real-time translation, and more!

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

Natural Gradient Boosting for Probabilistic Prediction

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

The Plutus language implementation and tools

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

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…

Give your AI agent a web browser

Control web interfaces with natural language agents

Generate draw.io diagrams from natural language — 6 presets, vision self-check + up to 5-round refinement, codebase-to-diagram, 10,000+ official shapes & 321 AI/LLM bran…

A next.js web application that integrates AI capabilities with draw.io diagrams. This app allows you to create, modify, and enhance diagrams through natural language com…