# Chrome extensions: Finding the missing proof

DevFeed: [Chrome extensions: Finding the missing proof](<https://devfeed.tech/articles/chrome-extensions-finding-the-missing-proof-20159.md>)

Original publisher: [Read original article](<https://blog.janestreet.com/chrome-extensions-finding-the-missing-proof/>)

Author: Mark R Bannister

Published: 2020-04-17T00:00:00Z

Content type: tutorial

Language: en

Sources: [Jane Street](<https://devfeed.tech/sources/jane-street.md>)

Topics: [Extension](<https://devfeed.tech/topics/extension.md>), [Google Chrome](<https://devfeed.tech/topics/google-chrome.md>), [Linux](<https://devfeed.tech/topics/linux.md>), [hosting](<https://devfeed.tech/topics/hosting.md>), [Tutorial](<https://devfeed.tech/topics/tutorial.md>), [Development](<https://devfeed.tech/topics/development.md>)

Tags: [browsers](<https://devfeed.tech/tags/browsers.md>), [building](<https://devfeed.tech/tags/building.md>), [chrome](<https://devfeed.tech/tags/chrome.md>), [extensions](<https://devfeed.tech/tags/extensions.md>), [hosting](<https://devfeed.tech/tags/hosting.md>), [install](<https://devfeed.tech/tags/install.md>), [linux](<https://devfeed.tech/tags/linux.md>), [tutorial](<https://devfeed.tech/tags/tutorial.md>)

## AI overview

A tutorial on installing Chrome extensions hosted on an internal web server, with a focus on Linux and lessons that may apply to other operating systems. It explains external extension distribution and begins with building an example extension.

## Source excerpt

Web browsers have supported custom plug-ins and extensions since the 1990s, giving users the ability to add their own features and tools for improving workflow or building closer integration with applications or databases running on back-end servers.