Tau, un outil de développement assisté par IA

Bonjour,
Je découvre Tau:

Accurate software generation with guaranteed AI safety

Tau is a software development tool that allows you to describe your ideas,
then automatically transforms them into guaranteed accurate software.

Tau is the only AI safe software development tool.

J’ai pensé que ce pourrait être utile pour développer Duniter V2.0

Après de plus amples investigations, il semblerait que cet outil soit loin d’être opérationnel.
Bonne journée