cadt-testing
Climate Action Data Trust
Browse data workflow skills for SQL querying, analytics, ETL, and database workflows. Give AI agents access to structured data and pipelines.
This directory brings installable AI Agent skills into one place so you can filter by search, category, topic, and official source, then install them directly into Claude Code, Cursor, Windsurf, and other supported environments.
Climate Action Data Trust
lean-array-list is a skill that provides proof patterns for ByteArray, Array, and List indexing in Lean 4, enabling efficient data manipulation.
Agentic coding framework powered by AGENTS.md — systematic, test-first workflows with quality gates for Cursor, Codex, Gemini CLI, and AI coding agents.
Agentic coding framework powered by AGENTS.md — systematic, test-first workflows with quality gates for Cursor, Codex, Gemini CLI, and AI coding agents.
Universal skill installer for AI coding agents
openspec-verify-change is a skill that verifies an implementation matches the change artifacts, such as specs, tasks, and design, using openspec list --json and AskUserQuestion tool.
zireael-header-layering is a deterministic terminal UI core engine in C, utilizing FFI/ABI backend for Rezi, designed for efficient and cross-platform development.
dmtools is an AI-powered development toolkit that integrates with multiple platforms to provide automation capabilities.
openspec-consolidate-specs is a skill that automates the review of OpenSpec specs to identify overlapping functionality and suggest consolidation.
openspec-workflows is a Python library enabling data file conversions between formats such as BSON, JSON, NDJSON, Parquet, ORC, XLS, XLSX, and XML
This project demonstrates many of dbt's features when used with the Snowflake Data Cloud
AI Coding Stack - Your AI Coding Ecosystem Hub.