Extension Visual Studio Code (Bêta)

Notre extension VS Code peut utiliser l'IA pour effectuer une OCR plus précise sur les équations mathématiques avec une perception du contexte pour les utilisateurs utilisant VS Code pour écrire en LaTeX. Ceci est un guide d'utilisation, pour les développeurs veuillez visiter notre dépôt.

AVERTISSEMENT : L'EXTENSION EST EN COURS DE DÉVELOPPEMENT INTENSIF ET N'OFFRE AUCUNE GARANTIE. UTILISEZ-LA À VOS PROPRES RISQUES. VOIR LA LICENCE. Actuellement, vous devez avoir une configuration API fonctionnelle d'un fournisseur tiers pour utiliser cette extension.

Fonctionnalités

L'extension VSCode de WriteTex offre un résultat d'OCR plus précis en alimentant le modèle d'IA avec le contexte du document actuel. L'utilisateur peut simplement écrire sur son iPad/tablette, et les résultats seront placés au niveau de votre curseur dans VSCode. Le contexte est construit à partir des lignes situées dans un rayon autour du curseur.

Installation

AVERTISSEMENT : N'INSTALLEZ L'EXTENSION QUE SI VOTRE APPAREIL EST DERRIÈRE UN PARE-FEU. N'ACTIVEZ L'EXTENSION QUE DANS UN RÉSEAU DE CONFIANCE. NE L'INSTALLEZ PAS SUR UN SERVEUR.

• Pour les utilisateurs de Microsoft Visual Studio Code : Recherchez "WriteTex" dans la page des extensions ou installez-la depuis le VS Code Marketplace.
• Pour les forks de VSCode (Cursor, Trae, Antigravity, Kiro, Qoder, Void, VSCodium, Windsurf, Codex etc) : Essayez de rechercher "WriteTex" dans la page des extensions de votre fork. Si elle n'est pas trouvée, téléchargez notre fichier .vsix depuis la page des versions et installez-le manuellement via extensions -> 3 points en haut à droite -> Installer à partir de VSIX.

Vous n'avez pas besoin d'installer la version de bureau de WriteTex pour utiliser l'extension VSCode. Seule l'application mobile sur votre iPad/tablette est requise.

Configurer les paramètres

Une fois installée, notre icône apparaîtra dans votre barre latérale. Cliquez dessus pour configurer les paramètres.

Configuration de l'API IA

Cette partie est similaire à la configuration des autres plateformes. Un exemple simple est présenté ci-dessous :

Paramètre	Valeur
Point de terminaison API	https://api.openai.com/v1
Modèle	gpt-5
Clé API	sk-...

Instructions personnalisées Quelques instructions supplémentaires pour guider le modèle d'IA. Par exemple, vous pouvez ajouter "Utilisez \mathbb{i} pour l'unité imaginaire."

Contexte

• Rayon de lignes de contexte (Context Line Radius) Ici, vous pouvez contrôler le rayon du contexte. Un nombre de 10 signifie que le contexte est construit à partir de 10 lignes avant et 10 lignes après le curseur.
• Limite de caractères de contexte (Context Char limit) Le nombre maximum de caractères dans le contexte. Un nombre de 1000 signifie que le contexte est limité à 1000 caractères.

Gestion du service

L'état du serveur est indiqué en haut. Vous pouvez démarrer/arrêter le serveur en cliquant sur les boutons correspondants. Démarrez le serveur pour que l'application mobile de WriteTex puisse se connecter à cette instance VSCode. UN SEUL SERVEUR PEUT ÊTRE EN COURS D'EXÉCUTION À LA FOIS. Si vous démarrez le serveur dans une instance de VSCode, vous devez l'arrêter avant de le démarrer dans une autre instance.

Se connecter à l'extension

Assurez-vous que votre extension est activée et que le serveur est en cours d'exécution. Assurez-vous qu'un seul projet a le serveur d'extension en cours d'exécution.

Depuis un iPhone/iPad

Assurez-vous que votre extension est activée et que le serveur est en cours d'exécution. Sur votre appareil iOS, allez dans Paramètres de l'API IA -> Extension VSCode. Activez Utiliser VSCode, recherchez le nom de votre appareil dans la liste de découverte et sélectionnez-le. Si votre appareil n'est pas répertorié, essayez une connexion manuelle en saisissant l'adresse IP de votre ordinateur dans Autre....

Pour les versions de l'application iOS antérieures à v2.1 : Obtenez l'adresse IP de l'ordinateur exécutant l'extension VSCode. Allez dans le Gestionnaire des tâches et cliquez sur votre réseau, cherchez l'Adresse IPv4. Dans les paramètres, réglez l'API IA sur :

Paramètre	Valeur
Point de terminaison API	http://votre-ip-ordinateur:50905/v1
Modèle	votre modèle
Clé API	writetex

Depuis Android

Obtenez l'adresse IP de l'ordinateur exécutant l'extension VSCode. Allez dans le Gestionnaire des tâches et cliquez sur votre réseau, cherchez l'Adresse IPv4. Dans les paramètres, réglez l'API IA sur :

Paramètre	Valeur
Point de terminaison API	http://votre-ip-ordinateur:50905
Modèle	votre modèle
Clé API	writetex

Depuis Windows/MacOS

Dans les paramètres, réglez l'API IA sur :

Paramètre	Valeur
Point de terminaison API	http://127.0.0.1:50905
Modèle	votre modèle
Clé API	writetex

Utilisation

1. Ouvrez un document avec des types d'extension de fichier pris en charge : .tex .latex .markdown .md .rmd .qmd .ipynb
2. Placez votre curseur dans le document
3. Connectez votre iPad/tablette à l'extension VS Code
4. Commencez à écrire, les résultats de l'OCR apparaîtront dans VS Code à la position de votre curseur

Débogage

Liste de contrôle générale

• L'extension VS Code est activée
• Une seule fenêtre VS Code ouverte a un serveur en cours d'exécution
• Votre curseur est placé dans un éditeur ouvert avec l'un de ces types d'extension de fichier : .tex .latex .markdown .md .rmd .qmd .ipynb
• Votre iPad/tablette est connecté au même réseau que votre ordinateur
• Le pare-feu de votre ordinateur autorise les connexions entrantes
• Votre réseau ne bloque pas la communication entre les appareils
• Si vous utilisez le plugin Obsidian sur le bureau, assurez-vous qu'Obsidian est fermé. Une seule instance de l'extension WriteTex dans un éditeur de texte est autorisée.

Les résultats apparaissent sur l'iPad mais pas dans VS Code

Assurez-vous d'avoir votre curseur placé dans VS Code. Vérifiez si vous avez une autre fenêtre VS Code ouverte avec le serveur d'extension en cours d'exécution. Si c'est le cas, fermez-la.

Impossible de trouver votre appareil dans la liste de découverte sur l'iPad

Vérifiez si votre iPad/tablette est connecté au même réseau que votre ordinateur.

Si votre appareil n'est toujours pas répertorié, essayez une connexion manuelle en saisissant l'adresse IP de votre ordinateur dans Autre....