Documentation

Profils de contexte

Stratégies de contexte déclaratives et versionnées pour lean-ctx

Les profils de contexte permettent de configurer comment lean-ctx traite le contenu pour différents scénarios : exploration, débogage, correctifs, CI, revue de code, et plus. Considérez-les comme du "Context as Code" - des stratégies versionnées que votre équipe peut partager.

Qu’est-ce qu’un profil ?

Un profil est un fichier TOML qui contrôle les modes de lecture, les paramètres de compression, les budgets de tokens, les couches du pipeline et le comportement autonome. Les profils peuvent hériter d’autres profils et remplacer des champs spécifiques.

Profils intégrés

lean-ctx inclut 5 profils intégrés optimisés pour les workflows courants :

exploration

Contexte large pour comprendre les bases de code. Mode map, budget de 200K tokens, cache préféré.

bugfix

Débogage ciblé en mode auto. Sortie concise, budget de 100K tokens, points de contrôle tous les 10 appels.

hotfix

Contexte minimal pour les correctifs urgents. Mode signatures, sortie ultra-compacte, 30K tokens, plafond de coût $1.

ci-debug

Débogage CI/CD avec 200 invocations shell. Sortie concise, budget de 150K tokens.

review

Revue de code avec contexte large en lecture seule. Mode map, CRP compact, budget de 150K tokens.

Activer un profil

Définissez la variable d’environnement LEAN_CTX_PROFILE :

export LEAN_CTX_PROFILE=hotfix

Ou via la CLI :

lean-ctx profile set hotfix

Ou changez en cours d’exécution via MCP :

ctx_session action=profile value=hotfix

Créer des profils personnalisés

Créez un fichier TOML de profil dans .lean-ctx/profiles/ (projet local) ou ~/.lean-ctx/profiles/ (global) :

# .lean-ctx/profiles/my-team.toml
[profile]
name = "my-team"
inherits = "exploration"
description = "Team defaults with lower budget"

[read]
default_mode = "map"
max_tokens_per_file = 40000

[budget]
max_context_tokens = 120000
max_cost_usd = 2.0

Ou créez un profil via la CLI :

lean-ctx profile create my-team --from exploration

Héritage de profils

Les profils peuvent hériter de tout autre profil en utilisant le champ inherits. Les valeurs enfant remplacent les valeurs parent ; les champs non définis sont hérités du parent.

# .lean-ctx/profiles/strict-review.toml
[profile]
name = "strict-review"
inherits = "review"

[budget]
max_context_tokens = 80000
max_cost_usd = 1.0

Schéma de profil

Un profil complet comprend ces sections :

  • [profile] - name, inherits, description
  • [read] - default_mode, max_tokens_per_file, prefer_cache
  • [compression] - crp_mode, output_density, entropy_threshold
  • [budget] - max_context_tokens, max_shell_invocations, max_cost_usd
  • [pipeline] - intent, relevance, compression, translation (bascules booléennes)
  • [autonomy] - auto_dedup, checkpoint_interval

Référence CLI

  • lean-ctx profile list - Afficher tous les profils disponibles
  • lean-ctx profile show <name> - Afficher les détails du profil
  • lean-ctx profile diff <a> <b> - Comparer deux profils
  • lean-ctx profile create <name> - Créer un nouveau profil
  • lean-ctx profile set <name> - Afficher les instructions d’activation

Ordre de résolution

Les profils sont résolus dans cet ordre :

  1. Variable d’environnement LEAN_CTX_PROFILE
  2. .lean-ctx/profiles/<name>.toml local au projet
  3. ~/.lean-ctx/profiles/<name>.toml global
  4. Valeurs par défaut intégrées