imandra-ai/imandrax-vscode

VS Code extension for ImandraX

1 good first / help-wanted issue · TypeScript · last activity Aug 6, 2025

1 stars 0 forks 0 watchers TypeScript

View on GitHub

1 Open Issue Need Help Last updated: Aug 6, 2025

Open Issues Need Help

View All on GitHub

Software Development • Plugin Development

`.iml` files sometimes blocked from the File Explorer in VS Code / Cursor about 1 year ago

AI Summary: Investigate why VS Code sometimes blocks `.iml` files from being opened or edited, potentially due to workspace conflicts with other IDEs (like Android Studio/IntelliJ). Explore adding a user notification within the ImandraX extension to alert users of this issue. Consider the feasibility and desirability of supporting an alternative file extension (e.g., `.imandra`) to mitigate conflicts.

Complexity: 4/5

enhancement help wanted question

imandra-ai/imandrax-vscode

VS Code extension for ImandraX

TypeScript