toolsever successors

• toolserver — shut down in 2014
  • en.wikipedia.org/wiki/Wikipedia:Toolserver
  • meta.wikimedia.org/wiki/Toolserver
• Toolforge — started in 2013
  • wikitech.wikimedia.org/wiki/Portal:Toolforge
  • wikitech.wikimedia.org/wiki/Help:Toolforge
  • list of tools — toolhub.wikimedia.org
  • the parent organization of the Toolforge
    • wikitech.wikimedia.org/wiki/Help:Cloud_Services_introduction
    • en.wikipedia.org/wiki/Wikipedia:Wikimedia_Cloud_Services
    • wikitech.wikimedia.org
    • mediawiki.org/wiki/Wikimedia_Cloud_Services_team
  • admin.toolforge.org
  • github.com/toolforge

General-purpose links:

• en.wikipedia.org/wiki/Wikipedia:Tools