The "C*" language website - https://cstarlang.org/en/intro.html https://cstarlang.org/en/intro.html See in particular, usage benefits with LLMs (last para of h

The "C*" language website - https://cstarlang.org/en/intro.html https://cstarlang.org/en/intro.html See in particular, usage benefits with LLMs (last para of https://cstarlang.org/en/intro.html https://cstarlang.org/en/intro.html) and how to use it with LLMs (https://cstarlang.org/en/tutorial/cstar-mcp.html https://cstarlang.org/en/tutorial/cstar-mcp.html). Note that the paper/language are from 2025 and so pretty recent.