Generate verifiable architecture diagrams from code

A promising diagramming tool with strong traction and MIT license, but its core value is a single agent skill, making it a meta-tooling play with limited standalone product potential.