GrepTool

• Entity ID: ent-20260410-5562394ffea2
• Type: tool
• Scope: shared
• Status: active

Description

Content search tool at src/tools/GrepTool/ built on ripgrep. Supports full regex syntax, file type filtering, and multiple output modes. Read-only.

Key claims

• none yet

Relations

• none yet

Sources

none