automatic uses generation for blueprint

Stream: general

[Floris van Doorn]

Is there a tool that takes a LaTeX file and automatically suggests the \uses command that the blueprint wants based on the explicit \refs in a proof? I saw discussion about it here: #general > CFP: improved Blueprint UX but I don't know if an explicit tool came out of that discussion.
(I am in a situation where I expect the proof to mostly contain these references explicitly - so I do not necessary need a LLM-based tool).

[Floris van Doorn]

Separately, a tool that takes a blueprint and removes all the arrows implied by transitivity would be helpful!

[Patrick Massot]

The first thing would be very easy to do in Lean blueprint.

[Patrick Massot]

The second one is already true if I remember correctly.

[Patrick Massot]

And if not then it’s also very easy.