Patent Search Tool
Easy Search results comparison tool for The Lens & Google Patents search engines.
What is Patent Search Tool?
Patent Search Tool is a Chrome extension developed by searchpuzzle38, and its main feature is "Easy Search results comparison tool for The Lens & Google Patents search engines.".
Extension Screenshots
Download Patent Search Tool Extension CRX File
Download Patent Search Tool extension files in crx format, manually install Chrome extensions in the browser, or share the crx files with friends to easily install Chrome extensions.
Extension Usage Instructions
Allows quick patent searches with proximity and synonyms in Google Patents & The Lens search engines using a universal or native syntax. Extension Basic Information
| Name |  Patent Search Tool |
| ID | lkmciliejnipjhciloobepijmgjhflbl |
| Official URL | https://chromewebstore.google.com/detail/patent-search-tool/lkmciliejnipjhciloobepijmgjhflbl |
| Description | Easy Search results comparison tool for The Lens & Google Patents search engines. |
| File Size | 2.13 MB |
| Installation Count | 230 |
| Current Version | 18 |
| Last Updated | 2023-03-05 |
| Publish Date | 2020-09-25 |
| Developer | searchpuzzle38 |
| [email protected] | |
| Payment Type | free |
| Supported Languages | en |
| manifest.json | |
{
"update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
"manifest_version": 3,
"name": "Patent Search Tool",
"version": "18",
"description": "Easy Search results comparison tool for The Lens & Google Patents search engines.",
"permissions": [
"storage",
"unlimitedStorage",
"declarativeNetRequest"
],
"host_permissions": [
"https:\/\/www.lens.org\/",
"https:\/\/patents.google.com\/"
],
"declarative_net_request": {
"rule_resources": [
{
"id": "ruleset_1",
"enabled": true,
"path": "rules.json"
}
]
},
"action": {
"default_title": "Search Tool",
"default_popup": "popup.html",
"default_icon": {
"16": "inc\/icon16.png",
"32": "inc\/icon32.png",
"48": "inc\/icon48.png",
"64": "inc\/icon64.png",
"128": "inc\/icon128.png"
}
},
"icons": {
"16": "inc\/icon16.png",
"32": "inc\/icon32.png",
"48": "inc\/icon48.png",
"64": "inc\/icon64.png",
"128": "inc\/icon128.png"
}
} | |
