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 .pi/skills/context7/context7.py search <library-name> "<your-query>"

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

Commands at a Glance

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.

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

• .pi/skills/dotenv_helper.py loads .env automatically so CONTEXT7_API_KEY is present even when skills run via uvx.
• .pi/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