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

The Pyret language.

Python Type Checker / 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