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