GitHub repository: utensil/leanblueprint
Description: plasTeX plugin to build formalization blueprints.