Pencarian kode publik

Extension grep-app mencari kode GitHub publik melalui grep.app dan mengambil file source yang cocok langsung ke dalam percakapan agent.

Dibundel bersama Selesai

Dimuat otomatis bersama Selesai; tidak diperlukan npm install per ekstensi.

Entri manifest

./grep-app

Permukaan runtime

Tool agent

Penyiapan dan prasyarat

• Extension ini dibundel bersama Selesai. Dimuat otomatis; tidak perlu diinstal terpisah.
• Memerlukan akses jaringan dan kemampuan mengambil https://grep.app/api/search dan https://raw.githubusercontent.com.
• Hanya repository publik. Kode privat tidak dapat dijangkau.

Yang disiapkan

• Mendaftarkan tool grep_app_search untuk pencarian grep.app.
• Mendaftarkan tool grep_app_fetch untuk mengambil file GitHub publik berdasarkan owner/repo, path, ref, dan rentang baris opsional.
• Menggunakan Cheerio untuk menguraikan snippet kode dari halaman hasil grep.app HTML.

Yang dapat dikonfigurasi

Pencarian kode publik menggunakan opsi filter dan fetch per pemanggilan. Tidak ada pengaturan user persisten.

Lokasi dan preseden konfigurasi

1. Argumen pemanggilan tool
   grep_app({ ... })
   Semua perilaku dikontrol oleh setiap pemanggilan tool.

Pengaturan

Kunci / path	Tipe, default, dan nilai	Deskripsi
query	string Default: —	Query pencarian grep.app.
filter	string Default: —	Filter opsional, misalnya bahasa atau repository.
fetchUrl	string Default: —	URL hasil yang akan di-fetch.
startLine / endLine	number Default: —	Rentang baris opsional untuk source yang di-fetch.

Kontrol command, tool, dan shortcut

Kunci / path	Deskripsi
grep_app({ ... })	Tool pencarian dan fetch.

Bukti source

• src/extensions/grep-app/index.ts

Yang dapat dilakukan

• Mencari contoh penggunaan atau implementasi nyata di seluruh GitHub.
• Mengambil source lengkap dari file yang ditemukan di hasil pencarian.
• Melanjutkan ke halaman berikutnya dengan meningkatkan parameter page.

Perintah, tool, dan shortcut

grep_app_search

Mengembalikan satu halaman hingga 10 file dengan snippet yang cocok.

Parameter	Tipe	Deskripsi
query	string	Kode atau pola yang dicari.
page	integer	Halaman hasil, default 1.
caseSensitive	boolean	Cocokkan case.
useRegex	boolean	Perlakukan query sebagai regular expression.
wholeWords	boolean	Cocokkan whole words; tidak dapat digabung dengan useRegex.
repo	string	Filter repository, mis. facebook/react.
path	string	Filter path file, mis. src/components/.
language	string	Filter bahasa, mis. TypeScript.

grep_app_fetch

Mengambil file GitHub publik dan mengembalikan baris terpilih.

Parameter	Tipe	Deskripsi
repo	string	owner/repository.
path	string	Path di dalam repository.
ref	string	Branch, tag, atau commit; default HEAD.
startLine	integer	Baris pertama, default 1.
endLine	integer	Baris terakhir; default akhir file.

Batasan dan keamanan

• Hanya kode GitHub publik yang dapat dicari.
• Hasil pencarian tunduk pada rate limit grep.app. Respons 429 secara otomatis fallback ke fetch headless browser.
• Output dipotong ke 50 KB atau 2.000 baris; hasil lengkap disimpan ke file temporary dan direferensikan dalam teks yang dikembalikan.
• Nomor baris snippet berasal dari parsing HTML grep.app dan kadang-kadang dapat bersifat perkiraan.
• Jangan mengandalkan kode yang diambil untuk keputusan yang sensitif keamanan sebelum meninjau state repository yang sebenarnya.

Source evidence

Selesai version: 0.10.0

• grep.app source
• README mention