useful_tool_descriptions A repository with tools that are useful in development, and demonstrations of their use.