diff --git a/pyk/.gitignore b/pyk/.gitignore
index 5a5bd829a4..e8fd5033e0 100644
--- a/pyk/.gitignore
+++ b/pyk/.gitignore
@@ -10,3 +10,6 @@ __pycache__/
 
 .kprove*
 *.debug-log
+
+.idea/
+.DS_Store
\ No newline at end of file