I am looking for a software license which has stronger protection than AGPLv3. The GPL license said that when we distribute the software, we must provide a way for user to download the source code. However there is a loophole in this license, the GPL FAQ said (see below) it is not considered distribution if the company uses it as an internal project. Is there any license which require to distribute the source code, even it is only used in a company's internal project? PS, GPL FAQ Internal Distribution section:Is making and using multiple copies within one organization or  company distribution?  No, in that case the organization is  just making the copies for itself. As a consequence, a company or  other organization can develop a modified version and install that  version through its own facilities, without giving the staff  permission to release that modified version to outsiders.However, when the organization transfers copies to other organizations  or individuals, that is distribution. In particular, providing copies  to contractors for use off-site is distribution.
Is there any license which require to distribute the source code, even it is only used in a company's internal project?
licensing;agpl
If you are asking about license that forces to attach source to every binary copy somehow, I highly doubt that somebody wrote something like this; since it implies that any software under this license would be at least twice larger than usual, which is not crucial, of course, but still is quite onerous for end-user.If you are interested in licenses that forces anybody to publish sources of any modifications they made, even if they are for internal use in organization only, then yes, there was at least one licence of that kind  Reciprocal Public License.But, think seven times before you use it. Besides the obvious incompatibility with GNU GPL, so you would not be able neither to borrow (A)GPL-code for this project, nor other (A)GPL-projects would be able to use your code (many believe, this is enough to avoid such a license); licenses with that kind of restrictions do not qualify as licenses for Free / Libre Software at all (according to both FSF and DFSG), in other words, your project would be considered as non-free / proprietary software. This implies that it would never be included in main repositories of most free operating systems (such as Debian, Ubuntu, Red Hat, Fedora, etc).