Embeddings

abstract-invariant-generator

by ArabelaTso

Uses abstract interpretation to automatically infer loop invariants, function preconditions, and postconditions for formal verification. Generates invariants that capture program behavior and support correctness proofs in Dafny, Isabelle, Coq, and other verification systems. Use when adding formal specifications to code, generating verification conditions, inferring contracts for functions, or discovering loop invariants for proofs.

redteam

by neurofoo

Red team adversarial analysis to find weaknesses, vulnerabilities, and failure modes. Use before launches, for security review, or when a plan feels too perfect.

embedding-pipeline-builder

by patricio0312rev

Builds document embedding pipelines with text chunking, embedding generation, indexing, and retrieval optimization. Use when users request "embedding pipeline", "document indexing", "text chunking", "RAG preprocessing", or "semantic indexing".

doc-to-vector-dataset-generator

by patricio0312rev

Converts documents into clean, chunked datasets suitable for embeddings and vector search. Produces chunked JSONL files with metadata, deduplication logic, and quality checks. Use when preparing "training data", "vector datasets", "document processing", or "embedding data".

rag-pipeline-builder

by patricio0312rev

Designs retrieval-augmented generation pipelines for document-based AI assistants. Includes chunking strategies, metadata schemas, retrieval algorithms, reranking, and evaluation plans. Use when building "RAG systems", "document search", "semantic search", or "knowledge bases".

how-to-do-offline-recommendations-with-sqlite-and-gemini

by rodydavis

Learn how to enhance your CMS like PocketBase with AI-powered content recommendations using text embeddings, SQLite, and k-nearest neighbor search for efficient and scalable related content suggestions.

upstash/vector TypeScript SDK Skil

by upstash

Provides quick-start guidance and a unified entry point for Vector features, SDK usage, and integrations. Use when users ask how to work with Vector, its TS SDK, features, or supported frameworks.

Ai Product

by omer-metin

convex-agents

by waynesutton

Building AI agents with the Convex Agent component including thread management, tool integration, streaming responses, RAG patterns, and workflow orchestration

research

by bahayonghang

Use codex web search for technical research, output reports with complete citation links. Focus on key results users care about, minimize irrelevant content.

codanna-codebase-intelligence

by NickCrew

Use codanna MCP tools for semantic code search, call graphs, and impact analysis before grep/find.

react-router-declarative-mode

by remix-run

Build React applications using React Router's declarative mode with BrowserRouter. Use when configuring routes with JSX, navigating with Link/NavLink, or reading URL params and search params without data loaders or actions.

langchain

by vamseeachanta

Build production-ready LLM applications with chains, agents, memory, tools, and RAG pipelines using the LangChain framework

cass

by Dicklesworthstone

"Coding Agent Session Search - unified CLI/TUI to index and search local coding agent history from Claude Code, Codex, Gemini, Cursor, Aider, ChatGPT, Pi-Agent, Factory, and more. Purpose-built for AI agent consumption with robot mode."

gog

by EthanAlgoX

Google Workspace CLI for Gmail, Calendar, Drive, Contacts, Sheets, and Docs.

local-places

by EthanAlgoX

Search for places (restaurants, cafes, etc.) via Google Places API proxy on localhost.

spotify-player

by EthanAlgoX

Terminal Spotify playback/search via spogo (preferred) or spotify_player.

sonoscli

by EthanAlgoX

Control Sonos speakers (discover/status/play/volume/group).

blucli

by EthanAlgoX

BluOS CLI (blu) for discovery, playback, grouping, and volume.

markethub

by EthanAlgoX

Use the MarketHub CLI to search, install, update, and publish agent skills from markethub.com. Use when you need to fetch new skills on the fly, sync installed skills to latest or a specific version, or publish new/updated skill folders with the npm-installed markethub CLI.

goplaces

by EthanAlgoX

Query Google Places API (New) via the goplaces CLI for text search, place details, resolve, and reviews. Use for human-friendly place lookup or JSON output for scripts.

gifgrep

by EthanAlgoX

Search GIF providers with CLI/TUI, download results, and extract stills/sheets.

feishu-approval

by alextangson

飞书审批流管理 Skill。获取审批定义、提交审批实例、添加评论、转办、撤回。当需要自动化提交审批或管理审批流程时使用此 Skill。

browser-pilot

by Dev-GOM

Chrome DevTools Protocol (CDP) browser automation, web scraping, crawling. 브라우저 자동화, 웹 스크래핑, 크롤링. Features/기능: screenshot with region control 영역지정스크린샷, viewport control 뷰포트제어, PDF generation PDF생성, web scraping 웹스크래핑, data extraction 데이터추출, form filling 폼작성, login automation 로그인자동화, click/input 클릭/입력, element finder 요소찾기, tab management 탭관리, cookie control 쿠키제어, JavaScript execution JS실행, page navigation 페이지이동, wait for element 요소대기, scroll 스크롤, accessibility tree 접근성트리, console messages 콘솔메시지, network idle 네트워크대기, back/forward 뒤로/앞으로, reload 새로고침, file upload 파일업로드, React compatibility React호환성, Smart Mode with Interaction Map 스마트모드. Selectors 셀렉터: CSS selectors (ID, class, attribute), XPath selectors with wildcard * (text-based, structural), XPath indexing (select N-th element with same text). Smart Mode: text-based element search with automatic selector generation. Bot detection bypass 봇감지우회 (navigator.webdriver=false). Auto Chrome connection 자동크롬연결. Headless/headed mode. Daemon-based architecture 데몬기반. Interaction Map System 인터랙션맵. React/framework compatibility React/프레임워크호환성.