-
Notifications
You must be signed in to change notification settings - Fork 1
feat: Implement Fetch tool with GitHub integration #28
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
- Add new FetchService with URL whitelisting and pattern matching - Support GitHub API integration with issues/PRs fetching - Multiple GitHub syntax support: 'github:owner/repo#123' and 'source=github ticket_nr=21' - Comprehensive CLI configuration commands for fetch management - Built-in security with size limits, timeouts, and whitelist-only access - Intelligent caching with configurable TTL and size limits - Integration with LLM tool system for AI usage - Default security: all sources restricted until explicitly whitelisted Co-authored-by: Eden Reich <[email protected]>
|
@claude Let's change the configuration and keep it simple, I want to have whitelisted domains, and the Fetch tool should check if those domains are allowed before issuing the tool call. By default you can add github.com |
|
Claude encountered an error —— View job Simplifying Fetch Tool Configuration
|
|
@claude continue |
|
Claude finished @edenreich's task —— View job Fetch Tool Simplification Complete ✅ Successfully simplified the Fetch tool configuration to use whitelisted domains instead of complex URL patterns. Todo List:
Changes Made:✅ Configuration Structure: Replaced New CLI Usage:# List whitelisted domains
infer config fetch list
# Add a domain to whitelist
infer config fetch add-domain example.com
# Remove a domain from whitelist
infer config fetch remove-domain example.comThe configuration is now much simpler - just specify domain names like "github.com" and the tool will allow fetching from that domain and all its subdomains. This makes it much easier for users to configure and understand. ✅ Task completed successfully! The Fetch tool now uses a simple domain whitelist with github.com as the default, making it much more user-friendly while maintaining security. --- | Latest commit |
Replace complex URL patterns and whitelist with simple domain-based whitelist: - Replace WhitelistedURLs and URLPatterns with WhitelistedDomains - Update ValidateURL() to check domain names instead of complex patterns - Replace add-source/remove-source commands with add-domain/remove-domain - Set github.com as default whitelisted domain - Remove unused imports (regexp, net/url) - Simplify configuration and make it more user-friendly Users can now simply specify domains like "github.com" instead of complex URL patterns. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-authored-by: Eden Reich <[email protected]>
Signed-off-by: Eden Reich <[email protected]>
…ool execution Signed-off-by: Eden Reich <[email protected]>
## [0.11.0](v0.10.3...v0.11.0) (2025-08-13) ### 🚀 Features * Implement Fetch tool with GitHub integration ([#28](#28)) ([28b07dc](28b07dc)), closes [#23](#23) [owner/repo#123](https://github.com/owner/repo/issues/123)
|
🎉 This PR is included in version 0.11.0 🎉 The release is available on:
Your semantic-release bot 📦🚀 |

Closes #23
Implements the Fetch tool feature with all requested functionality:
Features
github:owner/repo#123andsource=github ticket_nr=21)Security
Testing
Generated with Claude Code