You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Si vous utilisez le plugin dans un environnement Node.JS, sans fichier d'entrée `.genai...`, vous devrez initialiser le [runtime](../../../reference/reference/runtime/) avant d'utiliser le plugin :
18
+
19
+
```ts
20
+
import { initialize } from"@genaiscript/runtime";
21
+
22
+
awaitinitialize();
23
+
```
24
+
25
+
## Utilisation
26
+
27
+
Consultez le script [ast-grep](../../../reference/reference/scripts/ast-grep/) pour des exemples d'utilisation du plugin.
Copy file name to clipboardExpand all lines: docs/src/content/docs/fr/reference/runtime/plugin-mdast.mdx
+13-3Lines changed: 13 additions & 3 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -10,16 +10,24 @@ import { PackageManagers } from "starlight-package-managers";
10
10
11
11
Ces assistants d'exécution fournissent une interface conviviale autour de l'écosystème [remark](https://github.com/remarkjs/remark), [mdast](https://github.com/syntax-tree/mdast), [unified](https://github.com/syntax-tree/unist) pour analyser et manipuler des documents Markdown.
12
12
13
-
Pour bénéficier de la complétion de type, vous devrez installer le paquet `@types/mdast` en tant que dépendance de développement.
Si vous utilisez le plugin dans un environnement Node.JS, sans fichier d'entrée `.genai...`, vous devrez initialiser le [runtime](../../../reference/reference/runtime/) avant d'utiliser le plugin :
Si vous utilisez le plugin dans un environnement Node.JS, sans fichier d'entrée `.genai...`, vous devrez initialiser le [runtime](../../../reference/reference/runtime/) avant d'utiliser le plugin :
[Z3](https://microsoft.github.io/z3guide/) est un prouveur de théorèmes haute performance développé par Microsoft Research. C'est un outil intégré de GenAIScript. Z3 est utilisé pour résoudre des formules logiques et peut être employé pour diverses applications, notamment la vérification de programmes, la résolution de contraintes et l'exécution symbolique.
21
23
22
24
GenAIScript utilise le paquet npm [z3-solver](https://www.npmjs.com/package/z3-solver) basé sur WebAssembly pour exécuter Z3.
Si vous utilisez le plugin dans un environnement Node.JS, sans fichier d'entrée `.genai...`, vous devrez initialiser le [runtime](../../../reference/reference/runtime/) avant d'utiliser le plugin :
31
+
32
+
```ts
33
+
import { initialize } from"@genaiscript/runtime";
34
+
35
+
awaitinitialize();
36
+
```
37
+
24
38
## Instance Z3
25
39
26
-
La méthode `host.z3()` crée une nouvelle instance de Z3. L'instance peut être utilisée pour exécuter des commandes Z3 et obtenir les résultats. L'instance `z3` est un wrapper autour du paquet npm [z3-solver](https://www.npmjs.com/package/z3-solver). L'instance `z3` possède la méthode `run` qui exécute la formule SMTLIB2 donnée et retourne le résultat.
40
+
La méthode `z3()` crée une nouvelle instance de Z3. L'instance peut être utilisée pour exécuter des commandes Z3 et obtenir les résultats.
41
+
L'instance `z3` est un wrapper autour du package npm [z3-solver](https://www.npmjs.com/package/z3-solver).
42
+
L'instance `z3` possède la méthode `run` qui exécute la formule SMTLIB2 fournie et retourne le résultat.
27
43
28
44
```js
29
-
import { z3 } from"@genaiscript/plugin-z3"
45
+
import { z3 } from"@genaiscript/plugin-z3";
30
46
31
-
constz3=awaitz3()
47
+
constz3=awaitz3();
32
48
constres=awaitz3.run(`
33
49
(declare-const a Int)
34
50
(declare-fun f (Int Bool) Int)
35
51
(assert (< a 10))
36
52
(assert (< (f a true) 100))
37
53
(check-sat)
38
-
`)
39
-
console.log(res) // unsat
54
+
`);
55
+
console.log(res);// unsat
40
56
```
41
57
42
58
## Outil Z3
@@ -65,16 +81,16 @@ Le script de l'agent `z3` (dans [system.agent-z3](../../../reference/reference/s
65
81
66
82
```js
67
83
script({
68
-
tools: ["agent_z3"],
69
-
})
84
+
tools: ["agent_z3"],
85
+
});
70
86
71
87
$`Solve the following problems using Z3:
72
88
73
89
Imagine we have a number called 'a' that is smaller than 10.
74
90
We also have a special machine called 'f' that takes a number and a 'true'/'false' answer,
75
91
and it gives back another number.
76
92
When we put the number 'a' and the answer “true” into this machine,
Copy file name to clipboardExpand all lines: docs/translations/fr.json
+17-2Lines changed: 17 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -8388,7 +8388,7 @@
8388
8388
"7488F1ED2F90893B552C": "Neovim",
8389
8389
"4C1CD4854A9D61A5024A": "Extension Visual Studio Code <a id=\"visual-studio-code-extension\" href=\"\" />\n\nLe [Visual Studio Code Marketplace](https://marketplace.visualstudio.com/items?itemName=genaiscript.genaiscript-vscode)\ncontient la dernière version stable de l'[extension](https://marketplace.visualstudio.com/items?itemName=genaiscript.genaiscript-vscode).\n\n<Steps>\n <ol>\n <li>\n Installez [Visual Studio Code](https://code.visualstudio.com/Download).\n\n Visual Studio Code est un éditeur de code source léger mais puissant qui fonctionne sur votre bureau et est disponible pour Windows, macOS et Linux.\n </li>\n\n <li>\n Ouvrez le dossier de votre projet dans Visual Studio Code.\n </li>\n\n <li>\n Cliquez sur la vue **Extensions**\n\n <Image src={extensionViewSrc} alt={extensionViewAlt} />\n </li>\n\n <li>\n Recherchez **genaiscript** et cliquez sur **Installer**.\n\n <Image src={marketplaceSrc} alt={marketplaceAlt} />\n </li>\n\n <li>\n Si l'installation est réussie, vous verrez l'icône dans la vue **Extensions**.\n\n <Image src={vscodeViewSrc} alt={vscodeViewAlt} />\n </li>\n\n <li>\n (Facultatif) Cliquez sur l'icône ⚙️ sur la page de l'extension et sélectionnez **Ajouter aux recommandations de l'espace de travail**.\n </li>\n </ol>\n</Steps>\n\nPour installer une version spécifique de l'extension, nous recommandons de stocker le fichier `genaiscript.vsix`\ndans votre dépôt et d'utiliser les étapes d'installation manuelle.\n\n### Profil par défaut pour le terminal\n\nGenAIScript lance un serveur Node dans le terminal par défaut. Si le terminal par défaut n'est pas configuré\nou ne prend pas en charge Node.js, vous devrez peut-être le mettre à jour dans vos paramètres utilisateur/espace de travail.\n\n* Ouvrez la palette de commandes `Ctrl+Shift+P` et recherchez `Terminal: Sélectionner le profil par défaut`.\n* Sélectionnez le profil de terminal comme **Git Bash**",
8390
8390
"D729716A2DF6E7B14A5C": "Ligne de commande <a id=\"command-line\" href=\"\" />\n\nL'outil en ligne de commande [genaiscript](/genaiscript/reference/cli/) vous permet d'exécuter votre GenAIScript\ndepuis n'importe quel terminal.\n\n```sh\nnpx genaiscript run my-script some/path/*.pdf",
8391
-
"4A5339853316F3D12027": "Prise en main",
8391
+
"4A5339853316F3D12027": "Commencer",
8392
8392
"B59803282C64DBC3CD0B": "Commencez à développer avec l'extension GenAIScript pour VS Code afin de créer des scripts IA efficacement.",
8393
8393
"7CD15446D60D2DFAB9B4": "GenAIScript est un langage de script qui intègre les LLM dans le processus de script en utilisant une syntaxe JavaScript simplifiée.\nPris en charge par notre extension VS Code GenAIScript, il permet aux utilisateurs de créer, déboguer et automatiser des scripts basés sur LLM.",
8394
8394
"42FBD893AA9A93AD9F70": "Préambule",
@@ -10712,5 +10712,20 @@
10712
10712
"B46718269052C5DF8347": "Exécution du solveur Z3 [@genaiscript/plugin-z3](/genaiscript/reference/runtime/plugin-z3/)",
10713
10713
"DE6895455661A0BFFA5B": "Rationalisez votre processus de pull request avec des descriptions automatisées. Dans ce guide, vous apprendrez à créer un script qui génère des résumés de haut niveau des modifications apportées au code dans les pull requests. Le script peut être exécuté localement pour les tests et les ajustements, puis intégré avec GitHub Actions pour une automatisation transparente.\n\nPrincipaux points à retenir :\n\n- Utilisation de `git.diff` pour extraire les changements et résumer leur intention.\n- Ajout de mécanismes de sécurité pour éviter la génération de contenu nuisible.\n- Utilisation d’agents comme `fs_read_file` ou `agent_fs` pour une analyse contextuelle plus approfondie.\n- Automatisation du processus avec un workflow GitHub pour mettre à jour dynamiquement les descriptions de pull request.\n\nCette approche améliore non seulement l’efficacité des développeurs mais renforce aussi la clarté lors de la revue du code. Adaptez-la à votre manière de travailler et profitez d’une collaboration plus fluide.",
10714
10714
"8AC090DFB30AD17329FA": "Passez vos revues de pull request au niveau supérieur grâce à l'automatisation. Ce guide vous accompagne pas à pas dans la création d'un script qui analyse les changements de code, identifie les erreurs (pas les avertissements) et fournit des suggestions concrètes directement sur GitHub. Apprenez à intégrer ce processus localement pour affiner votre workflow, à tirer parti des agents intégrés pour une analyse plus approfondie des fichiers et, enfin, à l'automatiser avec GitHub Actions. Des configurations de métadonnées aux mesures de sécurité, vous mettrez en place un flux de travail complet, efficace et sécurisé.",
10715
-
"82BE6C3841DA855A2B56": "Vous cherchez à améliorer le workflow de votre équipe avec GitHub Actions ? Pensez à automatiser les tâches courantes telles que la vérification orthographique des fichiers markdown sur plusieurs branches, avec une grande précision. Cette méthode utilise `GenAIScript` et les GitHub Models pour corriger les principales erreurs de grammaire et d’orthographe, sans modifier les contenus essentiels comme le frontmatter, les blocs de code ou les URLs.\n\nDe la personnalisation du script à l’optimisation locale via des outils CLI, cette approche permet un traçage détaillé des erreurs tout en mettant l’accent sur la sécurité et la clarté du contenu. Une fois intégrée à GitHub Actions, cette procédure devient totalement automatisée, ce qui réduit les efforts manuels et garantit le contrôle qualité. Idéal pour maintenir les standards de la documentation technique dans des dépôts en constante évolution."
10715
+
"82BE6C3841DA855A2B56": "Vous cherchez à améliorer le workflow de votre équipe avec GitHub Actions ? Pensez à automatiser les tâches courantes telles que la vérification orthographique des fichiers markdown sur plusieurs branches, avec une grande précision. Cette méthode utilise `GenAIScript` et les GitHub Models pour corriger les principales erreurs de grammaire et d’orthographe, sans modifier les contenus essentiels comme le frontmatter, les blocs de code ou les URLs.\n\nDe la personnalisation du script à l’optimisation locale via des outils CLI, cette approche permet un traçage détaillé des erreurs tout en mettant l’accent sur la sécurité et la clarté du contenu. Une fois intégrée à GitHub Actions, cette procédure devient totalement automatisée, ce qui réduit les efforts manuels et garantit le contrôle qualité. Idéal pour maintenir les standards de la documentation technique dans des dépôts en constante évolution.",
10716
+
"76C61D10901221030690": "Si vous utilisez le plugin dans un environnement Node.JS, sans fichier d'entrée `.genai...`, vous devrez initialiser le [runtime](/genaiscript/reference/runtime) avant d'utiliser le plugin :",
10717
+
"B6732A47543582072BA9": "La méthode `z3()` crée une nouvelle instance de Z3. L'instance peut être utilisée pour exécuter des commandes Z3 et obtenir les résultats.\nL'instance `z3` est un wrapper autour du package npm [z3-solver](https://www.npmjs.com/package/z3-solver).\nL'instance `z3` possède la méthode `run` qui exécute la formule SMTLIB2 fournie et retourne le résultat.",
10718
+
"D703338B6EF6979B8C92": "AST Grep",
10719
+
"A5E15E89BB5ED03054A2": "Utilisez le plugin ast-grep pour analyser et manipuler du code",
10720
+
"66F74F6BDA90BBE72712": "Ces helpers d'exécution fournissent une interface conviviale autour de [ast-grep](https://ast-grep.github.io/).",
10721
+
"0E1C55516EE16D530F52": "Consultez le script [ast-grep](/genaiscript/reference/scripts/ast-grep) pour des exemples d'utilisation du plugin.",
10722
+
"952C1E913C4154A2B4A1": "Analyse et manipulation d’AST Markdown ",
0 commit comments