AI Agent Skills

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

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

Developer friendly Natural Language Processing ✨

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…

Give your AI agent a web browser

Pressure-test a plan against the codebase, domain glossary, and architectural decisions.

Control web interfaces with natural language agents

The official gpt4free repository | various collection of powerful language models | opus 4.6 gpt 5.3 kimi 2.5 deepseek v3.2 gemini 3

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…