From 54097f23dd27b566f3cae884852223967ef40a0c Mon Sep 17 00:00:00 2001 From: Ariel Flesler Date: Sat, 27 Jun 2026 17:16:35 -0300 Subject: [PATCH] Add scip-cli to tools section --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 760ea991..79a84c74 100644 --- a/README.md +++ b/README.md @@ -49,7 +49,7 @@ For more details about indexers, see the [Sourcegraph documentation](https://docs.sourcegraph.com/code_navigation/references/indexers). Other tools which use SCIP include the [Sourcegraph CLI](https://github.com/sourcegraph/src-cli), -and the SCIP CLI in this repo. +the SCIP CLI in this repo, and [scip-cli](https://github.com/flesler/scip-cli) — a fast Python CLI for querying SCIP indexes via SQLite. ## Installing the `scip` CLI