Experimental PyCharm plugin for Nagini.
To install, choose "File" -> "Settings" -> "Plugins" -> "Install plugin from disk", and choose the file "nagini-pycharm.jar" from this repository.
In the settings, PyCharm will have a new entry "Nagini" under "Tools". Enter the paths to the relevant executables and .jar files (see Nagini's documentation to see what those are).
To verify a Python file,
- Create and select an ordinary run configuration for running said file.
- Click "Run" -> "Verify" (or click on the "Verify" button on the upper right, next to "Run" and "Debug").