Improve logging to find out which linked file has a flaw

Aibolit fails when xml report is requested. $ python -m aibolit recommend --folder test/integration/check --format=xml --full Version 1.3.0 is available, but you are using 0.0.0 ignore: [] Traceback (most recent call last): ... File "/home/me/aibolit/aibolit/__main__.py", line…

This issue proposes the creation of a TLA+ dataset and benchmark suite based on logic puzzles and existing community modules. The goal is to enable consistent evaluation of LLMs on TLA+-related tasks and facilitate broader adoption of formal methods in AI-assisted development. 📌…

I had suggested to add this feature, but there is a very small bug, the setting "Shift Behavior on Content Book" doesn't really seem to work. Every single option other than None doesn't work, they are all behaving like None. Edit: Realized that the content book when opening after…

Before 2.2.0 we had two overlays for spell casts: Spell Inputs Overlay Spell Cast Overlay Currently, they do not persist when casting new spells Before 2.2.0: Minecraft.2026.03.16.-.19.20.56.18.DVR.mp4 After 2.2.0: Minecraft.2026.04.06.-.10.50.40.59.DVR.mp4 Thanks to sabala95 on…