Skip to main content

lean_ctx/
rules_inject.rs

1use std::path::PathBuf;
2
3use serde::{Deserialize, Serialize};
4
5const MARKER: &str = "# lean-ctx — Context Engineering Layer";
6const END_MARKER: &str = "<!-- /lean-ctx -->";
7const RULES_VERSION: &str = "lean-ctx-rules-v10";
8
9pub const RULES_MARKER: &str = MARKER;
10pub const RULES_VERSION_STR: &str = RULES_VERSION;
11
12pub fn rules_dedicated_markdown() -> &'static str {
13    RULES_DEDICATED
14}
15
16pub fn rules_shared_content() -> &'static str {
17    RULES_SHARED
18}
19
20// ---------------------------------------------------------------------------
21// Rules content for SHARED config files (appended to user's existing config).
22// LITM-optimized: critical instruction at START and END of block.
23// Used for: CLAUDE.md, instructions.md, GEMINI.md, copilot-instructions.md
24// ---------------------------------------------------------------------------
25const RULES_SHARED: &str = r"# lean-ctx — Context Engineering Layer
26<!-- lean-ctx-rules-v10 -->
27
28## Mode Selection
29- Editing the file? → `full` first, then `diff` for re-reads
30- Context only? → `map` or `signatures`
31- Large file? → `aggressive` or `entropy`
32- Specific lines? → `lines:N-M`
33- Unsure? → `auto`
34
35Anti-pattern: NEVER use `full` for files you won't edit — use `map` or `signatures`.
36
37## File Editing
38Use native Edit/Write/StrReplace — unchanged. lean-ctx replaces READ only.
39If Edit requires Read and Read is unavailable, use `ctx_edit(path, old_string, new_string)`.
40NEVER loop on Edit failures — switch to ctx_edit immediately.
41
42## Session Documentation
43After significant work: ctx_knowledge(action=remember, category=decision, content=...)
44When you see [CHECKPOINT] → call ctx_session(action=task, value=current status).
45
46Fallback only if a lean-ctx tool is unavailable: use native equivalents.
47<!-- /lean-ctx -->";
48
49// ---------------------------------------------------------------------------
50// Rules content for DEDICATED lean-ctx rule files (we control entire file).
51// LITM-optimized with critical mapping at start and end.
52// Used for: Windsurf, Zed, Cline, Roo Code, OpenCode, Continue, Aider
53// ---------------------------------------------------------------------------
54const RULES_DEDICATED: &str = r"# lean-ctx — Context Engineering Layer
55<!-- lean-ctx-rules-v10 -->
56
57## Mode Selection
581. Editing the file? → `full` first, then `diff` for re-reads
592. Need API surface only? → `map` or `signatures`
603. Large file, context only? → `entropy` or `aggressive`
614. Specific lines? → `lines:N-M`
625. Active task set? → `task`
636. Unsure? → `auto` (system selects optimal mode)
64
65Anti-pattern: NEVER use `full` for files you won't edit — use `map` or `signatures`.
66
67## File Editing
68Use native Edit/StrReplace if available. If Edit requires Read and Read is unavailable, use ctx_edit.
69Write, Delete, Glob → use normally. NEVER loop on Edit failures — switch to ctx_edit immediately.
70
71## Proactive (use without being asked)
72- `ctx_overview(task)` at session start
73- `ctx_compress` when context grows large
74
75## Session Documentation
76After significant work, document progress:
77- ctx_knowledge(action=remember, category=decision, content=what and why)
78- ctx_session(action=task, value=task description with progress)
79When you see [CHECKPOINT] → document current status immediately.
80
81Fallback only if a lean-ctx tool is unavailable: use native equivalents.
82<!-- /lean-ctx -->";
83
84// ---------------------------------------------------------------------------
85// Rules for Cursor MDC format (dedicated file with frontmatter).
86// ---------------------------------------------------------------------------
87const RULES_CURSOR_MDC: &str = include_str!("templates/lean-ctx.mdc");
88
89// ---------------------------------------------------------------------------
90
91struct RulesTarget {
92    name: &'static str,
93    path: PathBuf,
94    format: RulesFormat,
95}
96
97enum RulesFormat {
98    SharedMarkdown,
99    DedicatedMarkdown,
100    CursorMdc,
101}
102
103#[derive(Debug, Default)]
104pub struct InjectResult {
105    pub injected: Vec<String>,
106    pub updated: Vec<String>,
107    pub already: Vec<String>,
108    pub errors: Vec<String>,
109}
110
111#[derive(Debug, Clone, Serialize, Deserialize)]
112pub struct RulesTargetStatus {
113    pub name: String,
114    pub detected: bool,
115    pub path: String,
116    pub state: String,
117    pub note: Option<String>,
118}
119
120pub fn inject_all_rules(home: &std::path::Path) -> InjectResult {
121    if crate::core::config::Config::load().rules_scope_effective()
122        == crate::core::config::RulesScope::Project
123    {
124        return InjectResult {
125            injected: Vec::new(),
126            updated: Vec::new(),
127            already: Vec::new(),
128            errors: Vec::new(),
129        };
130    }
131
132    let targets = build_rules_targets(home);
133
134    let mut result = InjectResult {
135        injected: Vec::new(),
136        updated: Vec::new(),
137        already: Vec::new(),
138        errors: Vec::new(),
139    };
140
141    for target in &targets {
142        if !is_tool_detected(target, home) {
143            continue;
144        }
145
146        match inject_rules(target) {
147            Ok(RulesResult::Injected) => result.injected.push(target.name.to_string()),
148            Ok(RulesResult::Updated) => result.updated.push(target.name.to_string()),
149            Ok(RulesResult::AlreadyPresent) => result.already.push(target.name.to_string()),
150            Err(e) => result.errors.push(format!("{}: {e}", target.name)),
151        }
152    }
153
154    result
155}
156
157/// Inject global rules for a single agent (by CLI key like "opencode", "cursor", etc.).
158/// Used by `init --agent` to ensure global rules are written alongside MCP config.
159pub fn inject_rules_for_agent(home: &std::path::Path, agent_key: &str) -> InjectResult {
160    if crate::core::config::Config::load().rules_scope_effective()
161        == crate::core::config::RulesScope::Project
162    {
163        return InjectResult {
164            injected: Vec::new(),
165            updated: Vec::new(),
166            already: Vec::new(),
167            errors: Vec::new(),
168        };
169    }
170
171    let targets = build_rules_targets(home);
172    let mut result = InjectResult {
173        injected: Vec::new(),
174        updated: Vec::new(),
175        already: Vec::new(),
176        errors: Vec::new(),
177    };
178
179    for target in &targets {
180        if !match_agent_name(agent_key, target.name) {
181            continue;
182        }
183        match inject_rules(target) {
184            Ok(RulesResult::Injected) => result.injected.push(target.name.to_string()),
185            Ok(RulesResult::Updated) => result.updated.push(target.name.to_string()),
186            Ok(RulesResult::AlreadyPresent) => result.already.push(target.name.to_string()),
187            Err(e) => result.errors.push(format!("{}: {e}", target.name)),
188        }
189    }
190
191    result
192}
193
194fn match_agent_name(cli_key: &str, target_name: &str) -> bool {
195    let needle = cli_key.to_lowercase();
196    let tn = target_name.to_lowercase();
197    needle.contains(&tn)
198        || tn.contains(&needle)
199        || (needle.contains("cursor") && tn.contains("cursor"))
200        || (needle.contains("claude") && tn.contains("claude"))
201        || (needle.contains("windsurf") && tn.contains("windsurf"))
202        || (needle.contains("codex") && tn.contains("claude"))
203        || (needle.contains("zed") && tn.contains("zed"))
204        || (needle.contains("copilot") && tn.contains("copilot"))
205        || (needle.contains("jetbrains") && tn.contains("jetbrains"))
206        || (needle.contains("kiro") && tn.contains("kiro"))
207        || (needle.contains("gemini") && tn.contains("gemini"))
208        || (needle == "opencode" && tn.contains("opencode"))
209        || (needle == "cline" && tn.contains("cline"))
210        || (needle == "roo" && tn.contains("roo"))
211        || (needle == "amp" && tn.contains("amp"))
212        || (needle == "trae" && tn.contains("trae"))
213        || (needle == "amazonq" && tn.contains("amazon"))
214        || (needle == "pi" && tn.contains("pi coding"))
215        || (needle == "crush" && tn.contains("crush"))
216        || (needle == "verdent" && tn.contains("verdent"))
217        || (needle == "continue" && tn.contains("continue"))
218        || (needle == "qwen" && tn.contains("qwen"))
219        || (needle == "antigravity" && tn.contains("antigravity"))
220        || (needle == "augment" && tn.contains("augment"))
221        || (needle == "openclaw" && tn.contains("openclaw"))
222        || (needle == "vscode" && (tn.contains("vs code") || tn.contains("vscode")))
223}
224
225/// Check if the rules file for a given MCP client is up-to-date.
226/// Returns `Some(message)` if rules are stale/missing, `None` if current.
227pub fn check_rules_freshness(client_name: &str) -> Option<String> {
228    let home = dirs::home_dir()?;
229    let targets = build_rules_targets(&home);
230
231    let matched: Vec<&RulesTarget> = targets
232        .iter()
233        .filter(|t| match_agent_name(client_name, t.name))
234        .collect();
235
236    if matched.is_empty() {
237        return None;
238    }
239
240    for target in &matched {
241        if !target.path.exists() {
242            continue;
243        }
244        let content = std::fs::read_to_string(&target.path).ok()?;
245        if content.contains(MARKER) && !content.contains(RULES_VERSION) {
246            return Some(format!(
247                "[RULES OUTDATED] Your {} rules were written by an older lean-ctx version. \
248                 Re-read your rules file ({}) or run `lean-ctx setup` to update, \
249                 then start a new session for full compatibility.",
250                target.name,
251                target.path.display()
252            ));
253        }
254    }
255
256    None
257}
258
259pub fn collect_rules_status(home: &std::path::Path) -> Vec<RulesTargetStatus> {
260    let targets = build_rules_targets(home);
261    let mut out = Vec::new();
262
263    for target in &targets {
264        let detected = is_tool_detected(target, home);
265        let path = target.path.to_string_lossy().to_string();
266
267        let state = if !detected {
268            "not_detected".to_string()
269        } else if !target.path.exists() {
270            "missing".to_string()
271        } else {
272            match std::fs::read_to_string(&target.path) {
273                Ok(content) => {
274                    if content.contains(MARKER) {
275                        if content.contains(RULES_VERSION) {
276                            "up_to_date".to_string()
277                        } else {
278                            "outdated".to_string()
279                        }
280                    } else {
281                        "present_without_marker".to_string()
282                    }
283                }
284                Err(_) => "read_error".to_string(),
285            }
286        };
287
288        out.push(RulesTargetStatus {
289            name: target.name.to_string(),
290            detected,
291            path,
292            state,
293            note: None,
294        });
295    }
296
297    out
298}
299
300// ---------------------------------------------------------------------------
301// Injection logic
302// ---------------------------------------------------------------------------
303
304enum RulesResult {
305    Injected,
306    Updated,
307    AlreadyPresent,
308}
309
310fn rules_content(format: &RulesFormat) -> &'static str {
311    match format {
312        RulesFormat::SharedMarkdown => RULES_SHARED,
313        RulesFormat::DedicatedMarkdown => RULES_DEDICATED,
314        RulesFormat::CursorMdc => RULES_CURSOR_MDC,
315    }
316}
317
318fn inject_rules(target: &RulesTarget) -> Result<RulesResult, String> {
319    if target.path.exists() {
320        let content = std::fs::read_to_string(&target.path).map_err(|e| e.to_string())?;
321        if content.contains(MARKER) {
322            if content.contains(RULES_VERSION) {
323                return Ok(RulesResult::AlreadyPresent);
324            }
325            ensure_parent(&target.path)?;
326            return match target.format {
327                RulesFormat::SharedMarkdown => replace_markdown_section(&target.path, &content),
328                RulesFormat::DedicatedMarkdown | RulesFormat::CursorMdc => {
329                    write_dedicated(&target.path, rules_content(&target.format))
330                }
331            };
332        }
333    }
334
335    ensure_parent(&target.path)?;
336
337    match target.format {
338        RulesFormat::SharedMarkdown => append_to_shared(&target.path),
339        RulesFormat::DedicatedMarkdown | RulesFormat::CursorMdc => {
340            write_dedicated(&target.path, rules_content(&target.format))
341        }
342    }
343}
344
345fn ensure_parent(path: &std::path::Path) -> Result<(), String> {
346    if let Some(parent) = path.parent() {
347        std::fs::create_dir_all(parent).map_err(|e| e.to_string())?;
348    }
349    Ok(())
350}
351
352fn append_to_shared(path: &std::path::Path) -> Result<RulesResult, String> {
353    let mut content = if path.exists() {
354        std::fs::read_to_string(path).map_err(|e| e.to_string())?
355    } else {
356        String::new()
357    };
358
359    if !content.is_empty() && !content.ends_with('\n') {
360        content.push('\n');
361    }
362    if !content.is_empty() {
363        content.push('\n');
364    }
365    content.push_str(RULES_SHARED);
366    content.push('\n');
367
368    crate::config_io::write_atomic_with_backup(path, &content)?;
369    Ok(RulesResult::Injected)
370}
371
372fn replace_markdown_section(path: &std::path::Path, content: &str) -> Result<RulesResult, String> {
373    let start = content.find(MARKER);
374    let end = content.find(END_MARKER);
375
376    let new_content = match (start, end) {
377        (Some(s), Some(e)) => {
378            let before = &content[..s];
379            let after_end = e + END_MARKER.len();
380            let after = content[after_end..].trim_start_matches('\n');
381            let mut result = before.to_string();
382            result.push_str(RULES_SHARED);
383            if !after.is_empty() {
384                result.push('\n');
385                result.push_str(after);
386            }
387            result
388        }
389        (Some(s), None) => {
390            let before = &content[..s];
391            let mut result = before.to_string();
392            result.push_str(RULES_SHARED);
393            result.push('\n');
394            result
395        }
396        _ => return Ok(RulesResult::AlreadyPresent),
397    };
398
399    crate::config_io::write_atomic_with_backup(path, &new_content)?;
400    Ok(RulesResult::Updated)
401}
402
403fn write_dedicated(path: &std::path::Path, content: &'static str) -> Result<RulesResult, String> {
404    let is_update = path.exists() && {
405        let existing = std::fs::read_to_string(path).unwrap_or_default();
406        existing.contains(MARKER)
407    };
408
409    crate::config_io::write_atomic_with_backup(path, content)?;
410
411    if is_update {
412        Ok(RulesResult::Updated)
413    } else {
414        Ok(RulesResult::Injected)
415    }
416}
417
418// ---------------------------------------------------------------------------
419// Tool detection
420// ---------------------------------------------------------------------------
421
422fn is_tool_detected(target: &RulesTarget, home: &std::path::Path) -> bool {
423    match target.name {
424        "Claude Code" => {
425            if command_exists("claude") {
426                return true;
427            }
428            let state_dir = crate::core::editor_registry::claude_state_dir(home);
429            crate::core::editor_registry::claude_mcp_json_path(home).exists() || state_dir.exists()
430        }
431        "Codex CLI" => {
432            let codex_dir =
433                crate::core::home::resolve_codex_dir().unwrap_or_else(|| home.join(".codex"));
434            codex_dir.exists() || command_exists("codex")
435        }
436        "Cursor" => home.join(".cursor").exists(),
437        "Windsurf" => home.join(".codeium/windsurf").exists(),
438        "Gemini CLI" => home.join(".gemini").exists(),
439        "VS Code" => detect_vscode_installed(home),
440        "Copilot CLI" => home.join(".copilot").exists() || command_exists("copilot"),
441        "Zed" => home.join(".config/zed").exists(),
442        "Cline" => detect_extension_installed(home, "saoudrizwan.claude-dev"),
443        "Roo Code" => detect_extension_installed(home, "rooveterinaryinc.roo-cline"),
444        "OpenCode" => home.join(".config/opencode").exists(),
445        "Continue" => detect_extension_installed(home, "continue.continue"),
446        "Amp" => command_exists("amp") || home.join(".ampcoder").exists(),
447        "Qwen Code" => home.join(".qwen").exists(),
448        "Trae" => home.join(".trae").exists(),
449        "Amazon Q Developer" => home.join(".aws/amazonq").exists(),
450        "JetBrains IDEs" => detect_jetbrains_installed(home),
451        "Antigravity" => home.join(".gemini/antigravity").exists(),
452        "Pi Coding Agent" => home.join(".pi").exists() || command_exists("pi"),
453        "AWS Kiro" => home.join(".kiro").exists(),
454        "Crush" => home.join(".config/crush").exists() || command_exists("crush"),
455        "Verdent" => home.join(".verdent").exists(),
456        // Augment ships as either the `auggie` CLI (writes to ~/.augment/) or
457        // the VS Code extension (`augment.vscode-augment` globalStorage).
458        "Augment" => {
459            command_exists("auggie")
460                || home.join(".augment").exists()
461                || detect_extension_installed(home, "augment.vscode-augment")
462        }
463        _ => false,
464    }
465}
466
467fn command_exists(name: &str) -> bool {
468    #[cfg(target_os = "windows")]
469    let result = std::process::Command::new("where")
470        .arg(name)
471        .output()
472        .is_ok_and(|o| o.status.success());
473
474    #[cfg(not(target_os = "windows"))]
475    let result = std::process::Command::new("which")
476        .arg(name)
477        .output()
478        .is_ok_and(|o| o.status.success());
479
480    result
481}
482
483fn detect_vscode_installed(_home: &std::path::Path) -> bool {
484    let check_dir = |dir: PathBuf| -> bool {
485        dir.join("settings.json").exists() || dir.join("mcp.json").exists()
486    };
487
488    #[cfg(target_os = "macos")]
489    if check_dir(_home.join("Library/Application Support/Code/User")) {
490        return true;
491    }
492    #[cfg(target_os = "linux")]
493    if check_dir(_home.join(".config/Code/User")) {
494        return true;
495    }
496    #[cfg(target_os = "windows")]
497    if let Ok(appdata) = std::env::var("APPDATA") {
498        if check_dir(PathBuf::from(&appdata).join("Code/User")) {
499            return true;
500        }
501    }
502    false
503}
504
505fn detect_jetbrains_installed(home: &std::path::Path) -> bool {
506    #[cfg(target_os = "macos")]
507    if home.join("Library/Application Support/JetBrains").exists() {
508        return true;
509    }
510    #[cfg(target_os = "linux")]
511    if home.join(".config/JetBrains").exists() {
512        return true;
513    }
514    home.join(".jb-mcp.json").exists()
515}
516
517fn detect_extension_installed(_home: &std::path::Path, extension_id: &str) -> bool {
518    #[cfg(target_os = "macos")]
519    {
520        if _home
521            .join(format!(
522                "Library/Application Support/Code/User/globalStorage/{extension_id}"
523            ))
524            .exists()
525        {
526            return true;
527        }
528    }
529    #[cfg(target_os = "linux")]
530    {
531        if _home
532            .join(format!(".config/Code/User/globalStorage/{extension_id}"))
533            .exists()
534        {
535            return true;
536        }
537    }
538    #[cfg(target_os = "windows")]
539    {
540        if let Ok(appdata) = std::env::var("APPDATA") {
541            if std::path::PathBuf::from(&appdata)
542                .join(format!("Code/User/globalStorage/{extension_id}"))
543                .exists()
544            {
545                return true;
546            }
547        }
548    }
549    false
550}
551
552// ---------------------------------------------------------------------------
553// Target definitions
554// ---------------------------------------------------------------------------
555
556fn build_rules_targets(home: &std::path::Path) -> Vec<RulesTarget> {
557    vec![
558        // --- Shared config files (append-only) ---
559        RulesTarget {
560            name: "Claude Code",
561            path: crate::core::editor_registry::claude_rules_dir(home).join("lean-ctx.md"),
562            format: RulesFormat::DedicatedMarkdown,
563        },
564        RulesTarget {
565            name: "Gemini CLI",
566            path: home.join(".gemini/GEMINI.md"),
567            format: RulesFormat::SharedMarkdown,
568        },
569        RulesTarget {
570            name: "VS Code",
571            path: copilot_instructions_path(home),
572            format: RulesFormat::SharedMarkdown,
573        },
574        RulesTarget {
575            name: "Copilot CLI",
576            path: home.join(".copilot/instructions.md"),
577            format: RulesFormat::SharedMarkdown,
578        },
579        // --- Dedicated lean-ctx rule files ---
580        RulesTarget {
581            name: "Cursor",
582            path: home.join(".cursor/rules/lean-ctx.mdc"),
583            format: RulesFormat::CursorMdc,
584        },
585        RulesTarget {
586            name: "Windsurf",
587            path: home.join(".codeium/windsurf/rules/lean-ctx.md"),
588            format: RulesFormat::DedicatedMarkdown,
589        },
590        RulesTarget {
591            name: "Zed",
592            path: home.join(".config/zed/rules/lean-ctx.md"),
593            format: RulesFormat::DedicatedMarkdown,
594        },
595        RulesTarget {
596            name: "Cline",
597            path: home.join(".cline/rules/lean-ctx.md"),
598            format: RulesFormat::DedicatedMarkdown,
599        },
600        RulesTarget {
601            name: "Roo Code",
602            path: home.join(".roo/rules/lean-ctx.md"),
603            format: RulesFormat::DedicatedMarkdown,
604        },
605        RulesTarget {
606            name: "OpenCode",
607            path: home.join(".config/opencode/AGENTS.md"),
608            format: RulesFormat::SharedMarkdown,
609        },
610        RulesTarget {
611            name: "Continue",
612            path: home.join(".continue/rules/lean-ctx.md"),
613            format: RulesFormat::DedicatedMarkdown,
614        },
615        RulesTarget {
616            name: "Amp",
617            path: home.join(".ampcoder/rules/lean-ctx.md"),
618            format: RulesFormat::DedicatedMarkdown,
619        },
620        RulesTarget {
621            name: "Qwen Code",
622            path: home.join(".qwen/rules/lean-ctx.md"),
623            format: RulesFormat::DedicatedMarkdown,
624        },
625        RulesTarget {
626            name: "Trae",
627            path: home.join(".trae/rules/lean-ctx.md"),
628            format: RulesFormat::DedicatedMarkdown,
629        },
630        RulesTarget {
631            name: "Amazon Q Developer",
632            path: home.join(".aws/amazonq/rules/lean-ctx.md"),
633            format: RulesFormat::DedicatedMarkdown,
634        },
635        RulesTarget {
636            name: "JetBrains IDEs",
637            path: home.join(".jb-rules/lean-ctx.md"),
638            format: RulesFormat::DedicatedMarkdown,
639        },
640        RulesTarget {
641            name: "Antigravity",
642            path: home.join(".gemini/antigravity/rules/lean-ctx.md"),
643            format: RulesFormat::DedicatedMarkdown,
644        },
645        RulesTarget {
646            name: "Pi Coding Agent",
647            path: home.join(".pi/rules/lean-ctx.md"),
648            format: RulesFormat::DedicatedMarkdown,
649        },
650        RulesTarget {
651            name: "AWS Kiro",
652            path: home.join(".kiro/steering/lean-ctx.md"),
653            format: RulesFormat::DedicatedMarkdown,
654        },
655        RulesTarget {
656            name: "Verdent",
657            path: home.join(".verdent/rules/lean-ctx.md"),
658            format: RulesFormat::DedicatedMarkdown,
659        },
660        RulesTarget {
661            name: "Crush",
662            path: home.join(".config/crush/rules/lean-ctx.md"),
663            format: RulesFormat::DedicatedMarkdown,
664        },
665        RulesTarget {
666            name: "Augment",
667            path: home.join(".augment/rules/lean-ctx.md"),
668            format: RulesFormat::DedicatedMarkdown,
669        },
670        RulesTarget {
671            name: "OpenClaw",
672            path: home.join(".openclaw/rules/lean-ctx.md"),
673            format: RulesFormat::DedicatedMarkdown,
674        },
675    ]
676}
677
678fn copilot_instructions_path(home: &std::path::Path) -> PathBuf {
679    #[cfg(target_os = "macos")]
680    {
681        return home.join("Library/Application Support/Code/User/github-copilot-instructions.md");
682    }
683    #[cfg(target_os = "linux")]
684    {
685        return home.join(".config/Code/User/github-copilot-instructions.md");
686    }
687    #[cfg(target_os = "windows")]
688    {
689        if let Ok(appdata) = std::env::var("APPDATA") {
690            return PathBuf::from(appdata).join("Code/User/github-copilot-instructions.md");
691        }
692    }
693    #[allow(unreachable_code)]
694    home.join(".config/Code/User/github-copilot-instructions.md")
695}
696
697// ---------------------------------------------------------------------------
698// SKILL.md installation
699// ---------------------------------------------------------------------------
700
701const SKILL_TEMPLATE: &str = include_str!("templates/SKILL.md");
702
703struct SkillTarget {
704    agent_key: &'static str,
705    display_name: &'static str,
706    skill_dir: PathBuf,
707}
708
709fn build_skill_targets(home: &std::path::Path) -> Vec<SkillTarget> {
710    vec![
711        SkillTarget {
712            agent_key: "claude",
713            display_name: "Claude Code",
714            skill_dir: crate::setup::claude_config_dir(home).join("skills/lean-ctx"),
715        },
716        SkillTarget {
717            agent_key: "cursor",
718            display_name: "Cursor",
719            skill_dir: home.join(".cursor/skills/lean-ctx"),
720        },
721        SkillTarget {
722            agent_key: "codex",
723            display_name: "Codex CLI",
724            skill_dir: crate::core::home::resolve_codex_dir()
725                .unwrap_or_else(|| home.join(".codex"))
726                .join("skills/lean-ctx"),
727        },
728        SkillTarget {
729            agent_key: "copilot",
730            display_name: "GitHub Copilot",
731            skill_dir: home.join(".copilot/skills/lean-ctx"),
732        },
733        SkillTarget {
734            agent_key: "openclaw",
735            display_name: "OpenClaw",
736            skill_dir: home.join(".openclaw/skills/lean-ctx"),
737        },
738    ]
739}
740
741fn is_skill_agent_detected(agent_key: &str, home: &std::path::Path) -> bool {
742    match agent_key {
743        "claude" => {
744            command_exists("claude")
745                || crate::core::editor_registry::claude_mcp_json_path(home).exists()
746                || crate::core::editor_registry::claude_state_dir(home).exists()
747        }
748        "cursor" => home.join(".cursor").exists(),
749        "codex" => {
750            let codex_dir =
751                crate::core::home::resolve_codex_dir().unwrap_or_else(|| home.join(".codex"));
752            codex_dir.exists() || command_exists("codex")
753        }
754        "copilot" => {
755            home.join(".copilot").exists()
756                || home.join(".copilot/mcp-config.json").exists()
757                || command_exists("copilot")
758        }
759        "openclaw" => home.join(".openclaw").exists() || command_exists("openclaw"),
760        _ => false,
761    }
762}
763
764/// Install SKILL.md for a specific agent. Returns the installed path.
765pub fn install_skill_for_agent(home: &std::path::Path, agent_key: &str) -> Result<PathBuf, String> {
766    let targets = build_skill_targets(home);
767    let target = targets
768        .into_iter()
769        .find(|t| t.agent_key == agent_key)
770        .ok_or_else(|| format!("No skill target for agent '{agent_key}'"))?;
771
772    let skill_path = target.skill_dir.join("SKILL.md");
773    std::fs::create_dir_all(&target.skill_dir).map_err(|e| e.to_string())?;
774
775    if skill_path.exists() {
776        let existing = std::fs::read_to_string(&skill_path).unwrap_or_default();
777        if existing == SKILL_TEMPLATE {
778            return Ok(skill_path);
779        }
780    }
781
782    crate::config_io::write_atomic_with_backup(&skill_path, SKILL_TEMPLATE)?;
783    Ok(skill_path)
784}
785
786/// Install SKILL.md for all detected agents.
787/// Returns `Vec<(display_name, was_new_or_updated)>`.
788pub fn install_all_skills(home: &std::path::Path) -> Vec<(String, bool)> {
789    let targets = build_skill_targets(home);
790    let mut results = Vec::new();
791
792    for target in &targets {
793        if !is_skill_agent_detected(target.agent_key, home) {
794            continue;
795        }
796
797        let skill_path = target.skill_dir.join("SKILL.md");
798        let already_current = skill_path.exists()
799            && std::fs::read_to_string(&skill_path).is_ok_and(|c| c == SKILL_TEMPLATE);
800
801        if already_current {
802            results.push((target.display_name.to_string(), false));
803            continue;
804        }
805
806        if let Err(e) = std::fs::create_dir_all(&target.skill_dir) {
807            tracing::warn!(
808                "Failed to create skill dir for {}: {e}",
809                target.display_name
810            );
811            continue;
812        }
813
814        match crate::config_io::write_atomic_with_backup(&skill_path, SKILL_TEMPLATE) {
815            Ok(()) => results.push((target.display_name.to_string(), true)),
816            Err(e) => {
817                tracing::warn!("Failed to write SKILL.md for {}: {e}", target.display_name);
818            }
819        }
820    }
821
822    results
823}
824
825// ---------------------------------------------------------------------------
826// Tests
827// ---------------------------------------------------------------------------
828
829#[cfg(test)]
830mod tests {
831    use super::*;
832
833    #[test]
834    fn shared_rules_have_markers() {
835        assert!(RULES_SHARED.contains(MARKER));
836        assert!(RULES_SHARED.contains(END_MARKER));
837        assert!(RULES_SHARED.contains(RULES_VERSION));
838    }
839
840    #[test]
841    fn dedicated_rules_have_markers() {
842        assert!(RULES_DEDICATED.contains(MARKER));
843        assert!(RULES_DEDICATED.contains(END_MARKER));
844        assert!(RULES_DEDICATED.contains(RULES_VERSION));
845    }
846
847    #[test]
848    fn cursor_mdc_has_markers_and_frontmatter() {
849        assert!(RULES_CURSOR_MDC.contains("lean-ctx"));
850        assert!(RULES_CURSOR_MDC.contains(END_MARKER));
851        assert!(RULES_CURSOR_MDC.contains(RULES_VERSION));
852        assert!(RULES_CURSOR_MDC.contains("alwaysApply: true"));
853    }
854
855    #[test]
856    fn shared_rules_contain_mode_selection() {
857        assert!(RULES_SHARED.contains("Mode Selection"));
858        assert!(RULES_SHARED.contains("full"));
859        assert!(RULES_SHARED.contains("map"));
860        assert!(RULES_SHARED.contains("signatures"));
861        assert!(RULES_SHARED.contains("NEVER"));
862    }
863
864    #[test]
865    fn shared_rules_has_anti_pattern() {
866        assert!(RULES_SHARED.contains("Anti-pattern"));
867        assert!(RULES_SHARED.contains("NEVER use `full`"));
868    }
869
870    #[test]
871    fn dedicated_rules_contain_modes() {
872        assert!(RULES_DEDICATED.contains("auto"));
873        assert!(RULES_DEDICATED.contains("full"));
874        assert!(RULES_DEDICATED.contains("map"));
875        assert!(RULES_DEDICATED.contains("signatures"));
876        assert!(RULES_DEDICATED.contains("entropy"));
877        assert!(RULES_DEDICATED.contains("aggressive"));
878        assert!(RULES_DEDICATED.contains("task"));
879        assert!(RULES_DEDICATED.contains("lines:N-M"));
880    }
881
882    #[test]
883    fn dedicated_rules_has_proactive_section() {
884        assert!(RULES_DEDICATED.contains("Proactive"));
885        assert!(RULES_DEDICATED.contains("ctx_overview"));
886        assert!(RULES_DEDICATED.contains("ctx_compress"));
887    }
888
889    #[test]
890    fn cursor_mdc_contains_mode_selection() {
891        assert!(RULES_CURSOR_MDC.contains("Mode Selection"));
892        assert!(RULES_CURSOR_MDC.contains("ctx_read"));
893        assert!(RULES_CURSOR_MDC.contains("ctx_search"));
894        assert!(RULES_CURSOR_MDC.contains("lean-ctx -c"));
895    }
896
897    fn ensure_temp_dir() {
898        let tmp = std::env::temp_dir();
899        if !tmp.exists() {
900            std::fs::create_dir_all(&tmp).ok();
901        }
902    }
903
904    #[test]
905    fn replace_section_with_end_marker() {
906        ensure_temp_dir();
907        let old = "user stuff\n\n# lean-ctx — Context Engineering Layer\n<!-- lean-ctx-rules-v2 -->\nold rules\n<!-- /lean-ctx -->\nmore user stuff\n";
908        let path = std::env::temp_dir().join("test_replace_with_end.md");
909        std::fs::write(&path, old).unwrap();
910
911        let result = replace_markdown_section(&path, old).unwrap();
912        assert!(matches!(result, RulesResult::Updated));
913
914        let new_content = std::fs::read_to_string(&path).unwrap();
915        assert!(new_content.contains(RULES_VERSION));
916        assert!(new_content.starts_with("user stuff"));
917        assert!(new_content.contains("more user stuff"));
918        assert!(!new_content.contains("lean-ctx-rules-v2"));
919
920        std::fs::remove_file(&path).ok();
921    }
922
923    #[test]
924    fn replace_section_without_end_marker() {
925        ensure_temp_dir();
926        let old = "user stuff\n\n# lean-ctx — Context Engineering Layer\nold rules only\n";
927        let path = std::env::temp_dir().join("test_replace_no_end.md");
928        std::fs::write(&path, old).unwrap();
929
930        let result = replace_markdown_section(&path, old).unwrap();
931        assert!(matches!(result, RulesResult::Updated));
932
933        let new_content = std::fs::read_to_string(&path).unwrap();
934        assert!(new_content.contains(RULES_VERSION));
935        assert!(new_content.starts_with("user stuff"));
936
937        std::fs::remove_file(&path).ok();
938    }
939
940    #[test]
941    fn append_to_shared_preserves_existing() {
942        ensure_temp_dir();
943        let path = std::env::temp_dir().join("test_append_shared.md");
944        std::fs::write(&path, "existing user rules\n").unwrap();
945
946        let result = append_to_shared(&path).unwrap();
947        assert!(matches!(result, RulesResult::Injected));
948
949        let content = std::fs::read_to_string(&path).unwrap();
950        assert!(content.starts_with("existing user rules"));
951        assert!(content.contains(MARKER));
952        assert!(content.contains(END_MARKER));
953
954        std::fs::remove_file(&path).ok();
955    }
956
957    #[test]
958    fn write_dedicated_creates_file() {
959        ensure_temp_dir();
960        let path = std::env::temp_dir().join("test_write_dedicated.md");
961        if path.exists() {
962            std::fs::remove_file(&path).ok();
963        }
964
965        let result = write_dedicated(&path, RULES_DEDICATED).unwrap();
966        assert!(matches!(result, RulesResult::Injected));
967
968        let content = std::fs::read_to_string(&path).unwrap();
969        assert!(content.contains(MARKER));
970        assert!(content.contains("Mode Selection"));
971
972        std::fs::remove_file(&path).ok();
973    }
974
975    #[test]
976    fn write_dedicated_updates_existing() {
977        ensure_temp_dir();
978        let path = std::env::temp_dir().join("test_write_dedicated_update.md");
979        std::fs::write(&path, "# lean-ctx — Context Engineering Layer\nold version").unwrap();
980
981        let result = write_dedicated(&path, RULES_DEDICATED).unwrap();
982        assert!(matches!(result, RulesResult::Updated));
983
984        std::fs::remove_file(&path).ok();
985    }
986
987    #[test]
988    fn target_count() {
989        let home = std::path::PathBuf::from("/tmp/fake_home");
990        let targets = build_rules_targets(&home);
991        assert_eq!(targets.len(), 23);
992    }
993
994    #[test]
995    fn skill_template_not_empty() {
996        assert!(!SKILL_TEMPLATE.is_empty());
997        assert!(SKILL_TEMPLATE.contains("lean-ctx"));
998    }
999
1000    #[test]
1001    fn skill_targets_count() {
1002        let home = std::path::PathBuf::from("/tmp/fake_home");
1003        let targets = build_skill_targets(&home);
1004        assert_eq!(targets.len(), 5);
1005    }
1006
1007    #[test]
1008    fn install_skill_creates_file() {
1009        ensure_temp_dir();
1010        let home = std::env::temp_dir().join("test_skill_install");
1011        let _ = std::fs::create_dir_all(&home);
1012
1013        let fake_cursor = home.join(".cursor");
1014        let _ = std::fs::create_dir_all(&fake_cursor);
1015
1016        let result = install_skill_for_agent(&home, "cursor");
1017        assert!(result.is_ok());
1018
1019        let path = result.unwrap();
1020        assert!(path.exists());
1021        let content = std::fs::read_to_string(&path).unwrap();
1022        assert_eq!(content, SKILL_TEMPLATE);
1023
1024        let _ = std::fs::remove_dir_all(&home);
1025    }
1026
1027    #[test]
1028    fn install_skill_idempotent() {
1029        ensure_temp_dir();
1030        let home = std::env::temp_dir().join("test_skill_idempotent");
1031        let _ = std::fs::create_dir_all(&home);
1032
1033        let fake_cursor = home.join(".cursor");
1034        let _ = std::fs::create_dir_all(&fake_cursor);
1035
1036        let p1 = install_skill_for_agent(&home, "cursor").unwrap();
1037        let p2 = install_skill_for_agent(&home, "cursor").unwrap();
1038        assert_eq!(p1, p2);
1039
1040        let _ = std::fs::remove_dir_all(&home);
1041    }
1042
1043    #[test]
1044    fn install_skill_unknown_agent() {
1045        let home = std::path::PathBuf::from("/tmp/fake_home");
1046        let result = install_skill_for_agent(&home, "unknown_agent");
1047        assert!(result.is_err());
1048    }
1049
1050    #[test]
1051    fn match_agent_name_basic() {
1052        assert!(match_agent_name("cursor", "Cursor"));
1053        assert!(match_agent_name("opencode", "OpenCode"));
1054        assert!(match_agent_name("claude", "Claude Code"));
1055        assert!(match_agent_name("vscode", "VS Code"));
1056        assert!(match_agent_name("copilot", "Copilot CLI"));
1057        assert!(match_agent_name("kiro", "AWS Kiro"));
1058        assert!(match_agent_name("pi", "Pi Coding Agent"));
1059        assert!(match_agent_name("crush", "Crush"));
1060        assert!(match_agent_name("amp", "Amp"));
1061        assert!(match_agent_name("cline", "Cline"));
1062        assert!(match_agent_name("roo", "Roo Code"));
1063        assert!(match_agent_name("trae", "Trae"));
1064        assert!(match_agent_name("amazonq", "Amazon Q Developer"));
1065        assert!(match_agent_name("verdent", "Verdent"));
1066        assert!(match_agent_name("continue", "Continue"));
1067        assert!(match_agent_name("antigravity", "Antigravity"));
1068        assert!(match_agent_name("gemini", "Gemini CLI"));
1069        assert!(match_agent_name("augment", "Augment"));
1070        assert!(match_agent_name("openclaw", "OpenClaw"));
1071    }
1072
1073    #[test]
1074    fn match_agent_name_no_false_positives() {
1075        assert!(!match_agent_name("cursor", "Claude Code"));
1076        assert!(!match_agent_name("opencode", "Cursor"));
1077        assert!(!match_agent_name("unknown_agent", "Cursor"));
1078    }
1079
1080    #[test]
1081    fn inject_rules_for_agent_opencode() {
1082        ensure_temp_dir();
1083        let home = std::env::temp_dir().join("test_inject_rules_agent");
1084        let _ = std::fs::remove_dir_all(&home);
1085        let _ = std::fs::create_dir_all(&home);
1086
1087        let opencode_dir = home.join(".config/opencode");
1088        let _ = std::fs::create_dir_all(&opencode_dir);
1089
1090        let result = inject_rules_for_agent(&home, "opencode");
1091        assert!(
1092            !result.injected.is_empty() || !result.already.is_empty(),
1093            "should inject or find rules for OpenCode"
1094        );
1095        assert!(result.errors.is_empty(), "no errors expected");
1096
1097        let agents_md = opencode_dir.join("AGENTS.md");
1098        if agents_md.exists() {
1099            let content = std::fs::read_to_string(&agents_md).unwrap();
1100            assert!(content.contains(RULES_VERSION));
1101        }
1102
1103        let _ = std::fs::remove_dir_all(&home);
1104    }
1105
1106    #[test]
1107    fn inject_rules_for_agent_cursor() {
1108        ensure_temp_dir();
1109        let home = std::env::temp_dir().join("test_inject_rules_cursor");
1110        let _ = std::fs::remove_dir_all(&home);
1111        let _ = std::fs::create_dir_all(&home);
1112
1113        let cursor_dir = home.join(".cursor");
1114        let _ = std::fs::create_dir_all(&cursor_dir);
1115
1116        let result = inject_rules_for_agent(&home, "cursor");
1117        assert!(result.errors.is_empty(), "no errors expected");
1118
1119        let mdc_path = home.join(".cursor/rules/lean-ctx.mdc");
1120        if mdc_path.exists() {
1121            let content = std::fs::read_to_string(&mdc_path).unwrap();
1122            assert!(content.contains(RULES_VERSION));
1123        }
1124
1125        let _ = std::fs::remove_dir_all(&home);
1126    }
1127
1128    #[test]
1129    fn inject_rules_for_unknown_agent_is_empty() {
1130        let home = std::path::PathBuf::from("/tmp/fake_home_unknown");
1131        let result = inject_rules_for_agent(&home, "unknown_agent_xyz");
1132        assert!(result.injected.is_empty());
1133        assert!(result.updated.is_empty());
1134        assert!(result.already.is_empty());
1135        assert!(result.errors.is_empty());
1136    }
1137}