β Back to extensions
PullSmart Filters
π§βπ» Developer ToolsAdd custom filters to GitHub PR page.
Add custom filters to GitHub PR page.
User reviews
No reviews collected yet.
More in this category
Tampermonkey
π§βπ» Developer ToolsChange the web at will with userscripts
4.711,000,000
Free
ChromeEdgeFirefoxSafari
View details βReact Developer Tools
π§βπ» Developer ToolsAdds React debugging tools to the Chrome Developer Tools. Created from revision 3cde211b0c on 10/20/2025.
4.05,000,000
FreeOpen source
ChromeEdgeFirefox
View details βWappalyzer - Technology profiler
π§βπ» Developer ToolsIdentify web technologies
4.63,000,000
Free
ChromeEdgeFirefox
View details β