Model minimum-move problems as BFS over a state space. Use when solving bucket pouring puzzles, sliding tiles, or any problem asking for the shortest sequence of moves to reach a goal.
EnglishSearch on monotonic predicates for sorted arrays, answer spaces, and rotated arrays. Use when finding minimum/maximum values, insertion points, or solving 'minimize the maximum' problems.
EnglishVerify all claims are backed by evidence before producing a final answer. Use when completing research tasks, writing cited answers, or ensuring factual accuracy.
Englishdart-query workspace management - documents, config, dartboards, folders, comments, time tracking, attachments, task movement.
EnglishChoose between DFS and BFS for graph traversal problems. Use when deciding whether to explore depth-first (cycle detection, paths) or breadth-first (shortest path, levels).
EnglishFast in-process analytical database for SQL queries on DataFrames, CSV, Parquet, JSON files, and more. Use when user wants to perform SQL analytics on data files or Python DataFrames (pandas, Polars), run complex aggregations, joins, or window functions, or query external data sources without loading into memory. Best for analytical workloads, OLAP queries, and data exploration.
EnglishSave a short citable evidence snippet with source and note. Use when gathering facts for research tasks, saving claims for final answers, or building citation chains.
EnglishSet up and run an autonomous experiment loop for any optimization target. Gathers what to optimize, then starts the loop immediately. Use when asked to "run experiment", "optimize X in a loop", "set up experiment for X", or "start experiments".
EnglishFinalize an experiment session into clean, reviewable branches. Use when asked to "finalize experiment", "clean up experiments", or "prepare experiment for review".
EnglishAuthor pre/post-iteration hooks for an experiment session. Use when the user asks to add research fetching, Slack/webhook notifications, persistent learnings, auto-tagging, anti-thrash intervention, idea rotation, or any side effect around iterations.
EnglishFile search and manipulation utility for locating files by name, type, size, permissions, and time.
EnglishAnalyze Firefox bookmarks and tags directly from the places.sqlite database. Extract recent bookmarks, analyze tag popularity, find bookmark statistics, and explore bookmark metadata. Use when working with Firefox bookmarks, analyzing bookmark usage, organizing tags, or extracting bookmark data from Firefox profiles.
EnglishSearch file contents with regex using ripgrep. Use when finding code patterns, locating function definitions, searching for imports, or finding references.
EnglishSearch and rewrite code with GritQL — declarative queries backed by tree-sitter. Use when refactoring across languages or applying AST transformations at scale.
EnglishBuild GTK4 desktop applications with the GTKX React framework, rendering JSX as native Linux widgets via a Rust FFI bridge. Use when creating GTK desktop apps, working with Adwaita/Libadwaita widgets, styling with CSS-in-JS, building virtual lists, or debugging GTKX component issues.
EnglishChoose between hash tables and tree structures for lookups, counting, and grouping. Use when deciding between O(1) hash operations and O(log n) ordered operations.
EnglishWrap file-like objects with read/write counters. Use when implementing IO wrappers, tracking file access, or counting bytes read/written through a proxy.
EnglishManage version control with Jujutsu (jj) — no staging area, immediate changes, smart rebasing. Use when navigating history, squashing, or pushing to Git remotes.
EnglishProgrammatic hunk selection for jj (Jujutsu). Use when splitting commits, making partial commits, or selectively squashing changes without interactive UI.
EnglishCreates scientific plots from tabular data via the command line. Use when generating charts from CSV/TSV files, piping structured data to visualizations, or producing SVG/PNG/PDF figures without a GUI.
EnglishChecks for broken links in documentation, websites, and codebases using lychee. Use when finding dead links, validating URLs in markdown files, or checking links in a project.
EnglishRenders markdown to self-contained HTML with a custom dark stylesheet and opens in browser. Use when previewing markdown documents, generating styled HTML from README or report files.
EnglishCreates reproducible builds, manages flake inputs, defines devShells, and builds packages with flake.nix.
English
AGENT SKILLS ATLASIncludes Bfs State Space, Binary Search, Cite Before Answer, and other workflows.
Claude Code
Codex
Cursor
GitHub Copilot
Gemini CLISupported by the Atlas install prompt. Skill-specific requirements vary.
Pack stats
What’s included
Bfs State Space
Model minimum-move problems as BFS over a state space. Use when solving bucket pouring puzzles, sliding tiles, or any problem asking for the shortest sequence of moves to reach a goal.
Binary Search
Search on monotonic predicates for sorted arrays, answer spaces, and rotated arrays. Use when finding minimum/maximum values, insertion points, or solving 'minimize the maximum' problems.
Cite Before Answer
Verify all claims are backed by evidence before producing a final answer. Use when completing research tasks, writing cited answers, or ensuring factual accuracy.
Dartai Workspace Docs
dart-query workspace management - documents, config, dartboards, folders, comments, time tracking, attachments, task movement. dart-query工作區管理:文檔、配置、看板、文件夾、評論、時間追蹤、附件、任務移動。 Use when: get workspace config, create document, add comment, log time, attach file, move task, list docs
Dfs Vs Bfs
Choose between DFS and BFS for graph traversal problems. Use when deciding whether to explore depth-first (cycle detection, paths) or breadth-first (shortest path, levels).
Duckdb
Fast in-process analytical database for SQL queries on DataFrames, CSV, Parquet, JSON files, and more. Use when user wants to perform SQL analytics on data files or Python DataFrames (pandas, Polars), run complex aggregations, joins, or window functions, or query external data sources without loading into memory. Best for analytical workloads, OLAP queries, and data exploration.
Evidence Add
Save a short citable evidence snippet with source and note. Use when gathering facts for research tasks, saving claims for final answers, or building citation chains.
Experiment Create
Set up and run an autonomous experiment loop for any optimization target. Gathers what to optimize, then starts the loop immediately. Use when asked to "run experiment", "optimize X in a loop", "set up experiment for X", or "start experiments".
Experiment Finalize
Finalize an experiment session into clean, reviewable branches. Use when asked to "finalize experiment", "clean up experiments", or "prepare experiment for review".
Experiment Hooks
Author pre/post-iteration hooks for an experiment session. Use when the user asks to add research fetching, Slack/webhook notifications, persistent learnings, auto-tagging, anti-thrash intervention, idea rotation, or any side effect around iterations.
Find
File search and manipulation utility for locating files by name, type, size, permissions, and time.
Firefox Bookmarks
Analyze Firefox bookmarks and tags directly from the places.sqlite database. Extract recent bookmarks, analyze tag popularity, find bookmark statistics, and explore bookmark metadata. Use when working with Firefox bookmarks, analyzing bookmark usage, organizing tags, or extracting bookmark data from Firefox profiles.
Grep
Search file contents with regex using ripgrep. Use when finding code patterns, locating function definitions, searching for imports, or finding references.
Grit
Search and rewrite code with GritQL — declarative queries backed by tree-sitter. Use when refactoring across languages or applying AST transformations at scale.
Gtkx
Build GTK4 desktop applications with the GTKX React framework, rendering JSX as native Linux widgets via a Rust FFI bridge. Use when creating GTK desktop apps, working with Adwaita/Libadwaita widgets, styling with CSS-in-JS, building virtual lists, or debugging GTKX component issues.
Hash Vs Tree
Choose between hash tables and tree structures for lookups, counting, and grouping. Use when deciding between O(1) hash operations and O(log n) ordered operations.
Io Wrapper
Wrap file-like objects with read/write counters. Use when implementing IO wrappers, tracking file access, or counting bytes read/written through a proxy.
Jj Core
Manage version control with Jujutsu (jj) — no staging area, immediate changes, smart rebasing. Use when navigating history, squashing, or pushing to Git remotes.
Jj Hunk
Programmatic hunk selection for jj (Jujutsu). Use when splitting commits, making partial commits, or selectively squashing changes without interactive UI.
Kuva
Creates scientific plots from tabular data via the command line. Use when generating charts from CSV/TSV files, piping structured data to visualizations, or producing SVG/PNG/PDF figures without a GUI.
Lychee
Checks for broken links in documentation, websites, and codebases using lychee. Use when finding dead links, validating URLs in markdown files, or checking links in a project.
Markdown Rendering
Renders markdown to self-contained HTML with a custom dark stylesheet and opens in browser. Use when previewing markdown documents, generating styled HTML from README or report files.
Nix Flake
Creates reproducible builds, manages flake inputs, defines devShells, and builds packages with flake.nix. Use when initializing Nix projects, locking dependencies, or run
Notify
Inform the user what is happening — skip passive lookups
Showing 24 of 47 skills. Use the list’s page controls above to explore the rest.
Quick start
- Choose your skills. Select individual skills above, or choose the entire pack.
- Copy the install prompt. Use Copy install prompt above the list.
- Send it to your agent. Paste into your coding agent’s chat. Your agent reviews the source and guides the setup.
Try it with your agent
After installation, start with a request like:
Use the Bfs State Space skill to help with my task.
Ask me for the context you need before getting started.Requirements & license
- A coding agent that can access your project files and install skills.
- Your agent checks each skill’s instructions, dependencies, and permissions during setup.
- License details are not provided in these listings. Check the author’s terms before using the skills.