# AGENT-L > Documentation officielle du langage agentique vérifiable AGENT-L et de son Studio. - [AGENT-L](https://doc.agent-l.integria.app/index.md): Construisez des agents dont les objectifs, capacités et interdits sont analysables avant l’exécution. - [Installation](https://doc.agent-l.integria.app/getting-started/installation.md): Installez le Core AGENT-L et les dépendances optionnelles dont vous avez besoin. - [Démarrage rapide](https://doc.agent-l.integria.app/getting-started/quickstart.md): Faites écrire, vérifier et exécuter un agent AGENT-L gouverné. - [Modèle mental](https://doc.agent-l.integria.app/getting-started/model.md): Comprendre la séparation entre programme, hôte, runtime et LLM. - [Anatomie d’un programme](https://doc.agent-l.integria.app/core/agent-program.md): Les primitives qui composent un agent AGENT-L. - [Outils et hôte Python](https://doc.agent-l.integria.app/core/tools-and-host.md): Reliez les contrats du programme aux capteurs et effets du monde réel. - [Politiques et garde-fous](https://doc.agent-l.integria.app/core/policies.md): Contrôlez toute action avec DEFAULT, ALLOW, DENY, NEVER et l’approbation. - [Inférence et planification](https://doc.agent-l.integria.app/core/inference-and-planning.md): Calibrez les hypothèses et synthétisez des routes compatibles avec la politique. - [Sociétés multi-agents](https://doc.agent-l.integria.app/core/multi-agent.md): Coordonnez plusieurs agents sans diluer leurs contrats ni leurs politiques. - [Chaîne de qualité](https://doc.agent-l.integria.app/core/quality-gates.md): Faites passer un agent de la bonne formation à une exécution traçable. - [Vérificateur de sûreté](https://doc.agent-l.integria.app/core/verifier.md): Interprétez les théorèmes, expositions, branches mortes et routes de repli. - [Frontière hôte / agent](https://doc.agent-l.integria.app/core/boundary.md): Empêchez le Python hôte de décider avant que la politique ne puisse agir. - [Enregistrement et rejeu](https://doc.agent-l.integria.app/core/record-and-replay.md): Capturez les frontières d’une exécution, vérifiez son intégrité et rejouez-la hors ligne. - [AGENT-L Studio](https://doc.agent-l.integria.app/studio/overview.md): L’atelier local pour créer, gouverner, tester et tracer des projets AGENT-L. - [Installer Studio](https://doc.agent-l.integria.app/studio/installation.md): Démarrez AGENT-L Studio en mode construit ou avec rechargement automatique. - [Premier projet](https://doc.agent-l.integria.app/studio/first-project.md): Passez d’une mission métier à un workspace vérifié dans Studio. - [Auteur et runtime](https://doc.agent-l.integria.app/studio/authoring-and-runtime.md): Configurez séparément le modèle qui écrit et celui qui raisonne à l’exécution. - [Qualité, runs et traces](https://doc.agent-l.integria.app/studio/quality-and-runs.md): Lancez les portes, suivez une exécution et inspectez ses artefacts. - [Skills](https://doc.agent-l.integria.app/studio/skills.md): Créez, personnalisez et versionnez les consignes transmises à l’agent auteur. - [Configuration d’un projet](https://doc.agent-l.integria.app/studio/configuration.md): Référence des auteurs, runtimes, budgets, bornes et réglages d’architecture. - [Sécurité de Studio](https://doc.agent-l.integria.app/studio/security.md): Comprendre les frontières et garanties d’un service de développement local. - [Référence CLI](https://doc.agent-l.integria.app/reference/cli.md): Commandes du Core AGENT-L, options essentielles et codes de sortie. - [API Python](https://doc.agent-l.integria.app/reference/python.md): Imports publics du Core pour intégrer AGENT-L dans un hôte ou un service Python. - [API Studio](https://doc.agent-l.integria.app/reference/studio-api.md): Routes HTTP locales pour piloter projets, skills, runs et artefacts.