Estensione per Visual Studio Code (Beta)

La nostra estensione per VS Code può utilizzare l'IA per eseguire un OCR più accurato sulle equazioni matematiche con percezione del contesto per gli utenti che utilizzano VS Code per scrivere in LaTeX. Questa è una guida all'uso; per gli sviluppatori, visitare il nostro repository.

AVVERTENZA: L'ESTENSIONE È IN FASE DI SVILUPPO INTENSIVO E NON OFFRE ALCUNA GARANZIA. UTILIZZARE A PROPRIO RISCHIO. VEDERE LA LICENZA. Attualmente è necessaria una configurazione API funzionante di un fornitore terzo per utilizzare questa estensione.

Funzionalità

L'estensione VSCode di WriteTex offre un risultato OCR più accurato fornendo al modello IA il contesto del documento attuale. L'utente può semplicemente scrivere sul proprio iPad/tablet e i risultati verranno inseriti in corrispondenza del cursore in VSCode. Il contesto viene costruito a partire dalle righe entro un certo raggio dal cursore.

Installazione

AVVERTENZA: INSTALLARE L'ESTENSIONE SOLO SE IL DISPOSITIVO È PROTETTO DA UN FIREWALL. ABILITARE L'ESTENSIONE SOLO IN UNA RETE ATTENDIBILE. NON INSTALLARE SU UN SERVER.

• Per gli utenti di Microsoft Visual Studio Code: Cercare "WriteTex" nella pagina delle estensioni o installarla dal VS Code Marketplace.
• Per i fork di VSCode (Cursor, Trae, Antigravity, Kiro, Qoder, Void, VSCodium, Windsurf, Codex ecc.): Provare a cercare "WriteTex" nella pagina delle estensioni del proprio fork. Se non viene trovata, scaricare il nostro file .vsix dalla pagina delle release e installarlo manualmente tramite Estensioni -> 3 puntini in alto a destra -> Installa da VSIX.

Non è necessario installare la versione desktop di WriteTex per utilizzare l'estensione VSCode. È richiesta solo l'app mobile sull'iPad/tablet.

Configurazione delle impostazioni

Una volta installata, la nostra icona apparirà nella barra laterale. Cliccarci sopra per configurare le impostazioni.

Configurazione API IA

Questa parte è simile alla configurazione su altre piattaforme. Di seguito è riportato un semplice esempio:

Impostazione	Valore
Endpoint API	https://api.openai.com/v1
Modello	gpt-5
Chiave API	sk-...

Istruzioni personalizzate Alcuni suggerimenti aggiuntivi per guidare il modello IA. Ad esempio, è possibile aggiungere "Usa \mathbb{i} per l'unità immaginaria."

Contesto

• Raggio righe di contesto (Context Line Radius) Qui è possibile controllare il raggio del contesto. Un valore di 10 significa che il contesto viene costruito a partire da 10 righe prima e 10 righe dopo il cursore.
• Limite caratteri di contesto (Context Char limit) Il numero massimo di caratteri nel contesto. Un valore di 1000 significa che il contesto è limitato a 1000 caratteri.

Gestione del servizio

Lo stato del server è indicato in alto. È possibile avviare/arrestare il server cliccando sui pulsanti corrispondenti. Avviare il server affinché l'app mobile di WriteTex possa connettersi a questa istanza di VSCode. PUÒ ESSERE IN ESECUZIONE SOLO UN SERVER ALLA VOLTA. Se si avvia il server in un'istanza di VSCode, è necessario arrestarlo prima di avviarlo in un'altra istanza.

Connessione all'estensione

Assicurarsi che l'estensione sia abilitata e che il server sia in esecuzione. Assicurarsi che solo un progetto abbia il server dell'estensione in esecuzione.

Da iPhone/iPad

Assicurarsi che l'estensione sia abilitata e che il server sia in esecuzione. Sul dispositivo iOS, andare su Impostazioni API IA -> Estensione VSCode. Attivare Usa VSCode, cercare il nome del proprio dispositivo nell'elenco di rilevamento e selezionarlo. Se il dispositivo non è in elenco, provare la connessione manuale inserendo l'indirizzo IP del computer in Altro....

Per le versioni dell'app iOS precedenti alla v2.1: Ottenere l'indirizzo IP del computer che esegue l'estensione VSCode. Andare su Gestione attività e cliccare sulla propria rete, cercare l'Indirizzo IPv4. Nelle impostazioni, impostare l'API IA su:

Impostazione	Valore
Endpoint API	http://ip-del-tuo-computer:50905/v1
Modello	il tuo modello
Chiave API	writetex

Da Android

Ottenere l'indirizzo IP del computer che esegue l'estensione VSCode. Andare su Gestione attività e cliccare sulla propria rete, cercare l'Indirizzo IPv4. Nelle impostazioni, impostare l'API IA su:

Impostazione	Valore
Endpoint API	http://ip-del-tuo-computer:50905
Modello	il tuo modello
Chiave API	writetex

Da Windows/MacOS

Nelle impostazioni, impostare l'API IA su:

Impostazione	Valore
Endpoint API	http://127.0.0.1:50905
Modello	il tuo modello
Chiave API	writetex

Utilizzo

1. Aprire un documento con tipi di estensione file supportati: .tex .latex .markdown .md .rmd .qmd .ipynb
2. Posizionare il cursore nel documento
3. Connettere l'iPad/tablet all'estensione per VS Code
4. Iniziare a scrivere, i risultati OCR appariranno in VS Code in corrispondenza della posizione del cursore

Risoluzione dei problemi

Elenco di controllo generale

• L'estensione per VS Code è abilitata
• Solo una finestra di VS Code aperta ha un server in esecuzione
• Il cursore è posizionato in un editor aperto con uno di questi tipi di estensione file: .tex .latex .markdown .md .rmd .qmd .ipynb
• L'iPad/tablet è connesso alla stessa rete del computer
• Il firewall del computer consente le connessioni in entrata
• La rete non blocca la comunicazione tra i dispositivi
• Se si utilizza il plugin per Obsidian su desktop, assicurarsi che Obsidian sia chiuso. È consentita solo un'istanza dell'estensione WriteTex in un editor di testo.

I risultati appaiono su iPad ma non in VS Code

Assicurarsi di avere il cursore posizionato in VS Code. Controllare se è aperta un'altra finestra di VS Code con il server dell'estensione in esecuzione. In tal caso, chiuderla.

Impossibile trovare il dispositivo nell'elenco di rilevamento su iPad

Controllare se l'iPad/tablet è connesso alla stessa rete del computer.

Se il dispositivo non è ancora in elenco, provare la connessione manuale inserendo l'indirizzo IP del computer in Altro....