add direx-jedi