context7

name	context7
description	Fetch up-to-date library documentation from Context7 API. Use when user asks "how do I use this library", "show me docs for", "library documentation", "API reference for", or needs current documentation for any code library.
allowed-tools	Bash, Read
triggers	["library documentation","show me docs for","API reference","how to use this library","latest docs for","context7 lookup"]
metadata	{"short-description":"Library documentation lookup via Context7"}

Context7 Documentation Lookup Skill

Fetch up-to-date library documentation from Context7 API for ANY code library.

Prerequisites

• CONTEXT7_API_KEY environment variable set (check .env)

Quick Start

# Step 1: Find the library ID
python .agents/skills/context7/context7.py search <library-name> "<your-query>"

# Step 2: Get documentation context
python .agents/skills/context7/context7.py context <library-id> "<your-query>" --tokens 5000

Commands at a Glance

Command	Description	Example
search	Rank repositories by relevance to your query	python .agents/skills/context7/context7.py search arangodb "bm25 search"
context	Download reranked doc chunks for a specific library ID	python .agents/skills/context7/context7.py context /arangodb/arangodb "vector search"
find	Convenience multi-library search across common stacks	python .agents/skills/context7/context7.py find "binary search"

These are the only supported subcommands; invoking the script without one will show Typer’s usage error. The table mirrors the exact signatures implemented in context7.py, so copy/paste examples will work as-is.

API Endpoints

1. Search for ANY Library

Find libraries by name with LLM-powered ranking. Works with ANY library on GitHub:

# Search for any library - just change the libraryName
curl -s -X GET "https://context7.com/api/v2/libs/search?libraryName=<YOUR-LIBRARY>&query=<your-query>" \
  -H "Authorization: Bearer $CONTEXT7_API_KEY" | jq '.results[:3]'

# Examples for different libraries:
curl -s "https://context7.com/api/v2/libs/search?libraryName=pandas&query=dataframe+merge" ...
curl -s "https://context7.com/api/v2/libs/search?libraryName=tensorflow&query=keras+model" ...
curl -s "https://context7.com/api/v2/libs/search?libraryName=django&query=orm+query" ...

Response includes library IDs like /owner/repo that you use in the context endpoint.

2. Get Documentation Context (PRIMARY)

Retrieve LLM-reranked documentation snippets for a query:

# Get ArangoDB BM25 documentation
curl -s -X GET "https://context7.com/api/v2/context?libraryId=/arangodb/arangodb&query=bm25+search+arangosearch&tokens=5000" \
  -H "Authorization: Bearer $CONTEXT7_API_KEY"

# Get Lean4 tactic documentation
curl -s -X GET "https://context7.com/api/v2/context?libraryId=/leanprover/lean4&query=simp+tactic&tokens=3000" \
  -H "Authorization: Bearer $CONTEXT7_API_KEY"

# Get sentence-transformers embedding docs
curl -s -X GET "https://context7.com/api/v2/context?libraryId=/UKPLab/sentence-transformers&query=encode+embeddings+cosine&tokens=3000" \
  -H "Authorization: Bearer $CONTEXT7_API_KEY"

Parameters:

• libraryId: Library ID from search (e.g., /arangodb/arangodb)
• query: Natural language query
• tokens: Max tokens to return (default ~5000)

Common Library IDs

Use python context7.py search <name> "<query>" to find ANY library's ID.

Library	Library ID
ArangoDB	/arangodb/arangodb
Lean 4	/leanprover/lean4
sentence-transformers	/UKPLab/sentence-transformers
PyTorch	/pytorch/pytorch
TensorFlow	/tensorflow/tensorflow
Pandas	/pandas-dev/pandas
NumPy	/numpy/numpy
Django	/django/django
Flask	/pallets/flask
FastAPI	/tiangolo/fastapi
Next.js	/vercel/next.js
React	/facebook/react
Vue.js	/vuejs/vue
Svelte	/sveltejs/svelte
Express	/expressjs/express
Rust std	/rust-lang/rust
Go std	/golang/go

Usage Examples

Get ArangoDB AQL syntax for vector search

CONTEXT7_API_KEY=$(grep CONTEXT7_API_KEY .env | cut -d= -f2) \
curl -s "https://context7.com/api/v2/context?libraryId=/arangodb/arangodb&query=cosine+similarity+vector+search&tokens=3000" \
  -H "Authorization: Bearer $CONTEXT7_API_KEY"

Get Lean4 proof tactics

CONTEXT7_API_KEY=$(grep CONTEXT7_API_KEY .env | cut -d= -f2) \
curl -s "https://context7.com/api/v2/context?libraryId=/leanprover/lean4&query=omega+tactic+natural+numbers&tokens=3000" \
  -H "Authorization: Bearer $CONTEXT7_API_KEY"

Python Usage

The CLI surface is the preferred interface. If you embed it elsewhere, import the Typer app or the helper functions directly:

from .context7 import app, _search_libs, _get_context

result = _search_libs("arangodb", "bm25 search")
docs = _get_context("/arangodb/arangodb", "bm25 arangosearch scoring")

This matches the shipped code (context7.py).

Shared Helpers

• .agents/skills/dotenv_helper.py loads .env automatically so CONTEXT7_API_KEY is present even when skills run via uvx.
• .agents/skills/json_utils.py can be imported to repair JSON before forwarding it to downstream tooling if you extend the skill; the built-in CLI already prints valid JSON.

When to Use

1. When you need current documentation for a library
2. When official docs may have changed since training cutoff
3. When implementing features using unfamiliar APIs
4. To verify correct syntax for AQL, Lean4, or other DSLs