Plugin for PKHeX to display all raids, as well as calculate a den seed based on EC, PID and IVs.
Download PKHeX_Raid_Plugin.dll and put it in the plugins/ directory of PKHeX. If the directory does not exist, create a new one.
In order to use the efficient method for Seed Calculation, Z3 is required (https://github.com/Z3Prover/z3/releases). Download the latest release for your OS, place libz3.dll in the same folder as PKHeX.exe.
The Crystal Tower Den (ID 17) is a special den that can only be activated with an item. So far it has not been figured out how to identify the species inside the den, which is why the Plugin defaults to Larvitar. Also, it is not known how to advance the frame of this den except for catching the Pokémon and then using new crystal.
Please make sure that all DLLs used are unblocked (Properties -> Unblock) and that you use the latest PKHeX version.
Open PKHeX, load a savegame, and go to Tool -> Display Raids. You will see the content of every currently active den, including the IVs. Clicking on Raid Calculator will show you the details for this den when you "reload" it as well as other interesting information.
Talk to the Den, click on "Invite Others", then advance the time of your Switch by at least 1 day and then go back into the game. Cancel the raid search and talk to the den again. This advances the den by 1 frame. It is not possible to advance frames by more than 1, so you have to repeat this process.
Available here: https://github.com/zaksabeast/PokemonRNGGuides/blob/master/guides/Sword%20and%20Shield/Raid%20RNG.md
To compile this project, PKHeX.Core.dll, PKHeX.Drawing.dll, and Microsoft.Z3.dll are required as references.