use std::io::Write;
use std::path::Path;
use crate::errors::{Result, TokenSaveError};
use super::{
AgentIntegration, DoctorCounters, HealthcheckContext, InstallContext,
load_toml_file, write_toml_file, TOOL_NAMES,
};
pub struct CodexIntegration;
impl AgentIntegration for CodexIntegration {
fn name(&self) -> &'static str {
"Codex CLI"
}
fn id(&self) -> &'static str {
"codex"
}
fn install(&self, ctx: &InstallContext) -> Result<()> {
let codex_dir = ctx.home.join(".codex");
std::fs::create_dir_all(&codex_dir).ok();
let config_path = codex_dir.join("config.toml");
install_mcp_server(&config_path, &ctx.tokensave_bin)?;
let agents_md = codex_dir.join("AGENTS.md");
install_prompt_rules(&agents_md)?;
eprintln!();
eprintln!("Setup complete. Next steps:");
eprintln!(" 1. cd into your project and run: tokensave sync");
eprintln!(" 2. Start a new Codex session — tokensave tools are now available");
Ok(())
}
fn uninstall(&self, ctx: &InstallContext) -> Result<()> {
let codex_dir = ctx.home.join(".codex");
let config_path = codex_dir.join("config.toml");
uninstall_mcp_server(&config_path)?;
let agents_md = codex_dir.join("AGENTS.md");
uninstall_prompt_rules(&agents_md);
eprintln!();
eprintln!("Uninstall complete. Tokensave has been removed from Codex CLI.");
eprintln!("Start a new Codex session for changes to take effect.");
Ok(())
}
fn healthcheck(&self, dc: &mut DoctorCounters, ctx: &HealthcheckContext) {
eprintln!("\n\x1b[1mCodex CLI integration\x1b[0m");
let codex_dir = ctx.home.join(".codex");
let config_path = codex_dir.join("config.toml");
doctor_check_config(dc, &config_path);
doctor_check_prompt(dc, &codex_dir);
}
fn is_detected(&self, home: &Path) -> bool {
home.join(".codex").is_dir()
}
fn has_tokensave(&self, home: &Path) -> bool {
let config = home.join(".codex").join("config.toml");
if !config.exists() { return false; }
let toml = super::load_toml_file(&config);
toml.get("mcp_servers")
.and_then(|v| v.get("tokensave"))
.is_some()
}
}
fn install_mcp_server(config_path: &Path, tokensave_bin: &str) -> Result<()> {
let mut config = load_toml_file(config_path);
let table = config.as_table_mut().ok_or_else(|| TokenSaveError::Config {
message: "config.toml is not a TOML table".to_string(),
})?;
let servers = table
.entry("mcp_servers")
.or_insert_with(|| toml::Value::Table(toml::map::Map::new()))
.as_table_mut()
.ok_or_else(|| TokenSaveError::Config {
message: "mcp_servers is not a table in config.toml".to_string(),
})?;
let mut server_table = toml::map::Map::new();
server_table.insert(
"command".to_string(),
toml::Value::String(tokensave_bin.to_string()),
);
server_table.insert(
"args".to_string(),
toml::Value::Array(vec![toml::Value::String("serve".to_string())]),
);
let mut tools_table = toml::map::Map::new();
for tool_name in TOOL_NAMES {
let mut tool_config = toml::map::Map::new();
tool_config.insert(
"approval_mode".to_string(),
toml::Value::String("auto".to_string()),
);
tools_table.insert(tool_name.to_string(), toml::Value::Table(tool_config));
}
server_table.insert("tools".to_string(), toml::Value::Table(tools_table));
servers.insert("tokensave".to_string(), toml::Value::Table(server_table));
write_toml_file(config_path, &config)?;
eprintln!(
"\x1b[32m✔\x1b[0m Added tokensave MCP server to {}",
config_path.display()
);
Ok(())
}
fn install_prompt_rules(agents_md: &Path) -> Result<()> {
let marker = "## Prefer tokensave MCP tools";
let existing = if agents_md.exists() {
std::fs::read_to_string(agents_md).unwrap_or_default()
} else {
String::new()
};
if existing.contains(marker) {
eprintln!(" AGENTS.md already contains tokensave rules, skipping");
return Ok(());
}
let mut f = std::fs::OpenOptions::new()
.create(true)
.append(true)
.open(agents_md)
.map_err(|e| TokenSaveError::Config {
message: format!("failed to open AGENTS.md: {e}"),
})?;
write!(
f,
"\n{marker}\n\n\
Before reading source files or scanning the codebase, use the tokensave MCP tools \
(`tokensave_context`, `tokensave_search`, `tokensave_callers`, `tokensave_callees`, \
`tokensave_impact`, `tokensave_node`, `tokensave_files`, `tokensave_affected`). \
They provide instant semantic results from a pre-built knowledge graph and are \
faster than file reads.\n\n\
If a code analysis question cannot be fully answered by tokensave MCP tools, \
try querying the SQLite database directly at `.tokensave/tokensave.db` \
(tables: `nodes`, `edges`, `files`). Use SQL to answer complex structural queries \
that go beyond what the built-in tools expose.\n\n\
If you discover a gap where an extractor, schema, or tokensave tool could be \
improved to answer a question natively, propose to the user that they open an issue \
at https://github.com/aovestdipaperino/tokensave describing the limitation. \
**Remind the user to strip any sensitive or proprietary code from the bug description \
before submitting.**\n"
)
.ok();
eprintln!(
"\x1b[32m✔\x1b[0m Appended tokensave rules to {}",
agents_md.display()
);
Ok(())
}
fn uninstall_mcp_server(config_path: &Path) -> Result<()> {
if !config_path.exists() {
return Ok(());
}
let mut config = load_toml_file(config_path);
let Some(table) = config.as_table_mut() else {
return Ok(());
};
let Some(servers) = table.get_mut("mcp_servers").and_then(|v| v.as_table_mut()) else {
return Ok(());
};
if servers.remove("tokensave").is_none() {
eprintln!(" No tokensave MCP server in {}, skipping", config_path.display());
return Ok(());
}
if servers.is_empty() {
table.remove("mcp_servers");
}
if table.is_empty() {
std::fs::remove_file(config_path).ok();
eprintln!(
"\x1b[32m✔\x1b[0m Removed {} (was empty)",
config_path.display()
);
} else {
write_toml_file(config_path, &config)?;
eprintln!(
"\x1b[32m✔\x1b[0m Removed tokensave MCP server from {}",
config_path.display()
);
}
Ok(())
}
fn uninstall_prompt_rules(agents_md: &Path) {
if !agents_md.exists() {
return;
}
let Ok(contents) = std::fs::read_to_string(agents_md) else {
return;
};
if !contents.contains("tokensave") {
eprintln!(" AGENTS.md does not contain tokensave rules, skipping");
return;
}
let marker = "## Prefer tokensave MCP tools";
let Some(start) = contents.find(marker) else {
return;
};
let after_marker = start + marker.len();
let end = contents[after_marker..]
.find("\n## ")
.map(|pos| after_marker + pos)
.unwrap_or(contents.len());
let mut new_contents = String::new();
new_contents.push_str(contents[..start].trim_end());
let remainder = &contents[end..];
if !remainder.is_empty() {
new_contents.push_str("\n\n");
new_contents.push_str(remainder.trim_start());
}
let new_contents = new_contents.trim().to_string();
if new_contents.is_empty() {
std::fs::remove_file(agents_md).ok();
eprintln!(
"\x1b[32m✔\x1b[0m Removed {} (was empty)",
agents_md.display()
);
} else {
std::fs::write(agents_md, format!("{new_contents}\n")).ok();
eprintln!(
"\x1b[32m✔\x1b[0m Removed tokensave rules from {}",
agents_md.display()
);
}
}
fn doctor_check_config(dc: &mut DoctorCounters, config_path: &Path) {
if !config_path.exists() {
dc.warn(&format!(
"{} not found — run `tokensave install --agent codex` if you use Codex CLI",
config_path.display()
));
return;
}
let config = load_toml_file(config_path);
let has_server = config
.get("mcp_servers")
.and_then(|v| v.get("tokensave"))
.and_then(|v| v.as_table())
.is_some();
if !has_server {
dc.fail(&format!(
"MCP server NOT registered in {} — run `tokensave install --agent codex`",
config_path.display()
));
return;
}
dc.pass(&format!(
"MCP server registered in {}",
config_path.display()
));
let tools = config
.get("mcp_servers")
.and_then(|v| v.get("tokensave"))
.and_then(|v| v.get("tools"))
.and_then(|v| v.as_table());
let auto_count = tools.map_or(0, |t| {
t.values()
.filter(|v| {
v.get("approval_mode")
.and_then(|m| m.as_str())
== Some("auto")
})
.count()
});
if auto_count >= TOOL_NAMES.len() {
dc.pass(&format!("All {} tools set to auto-approve", TOOL_NAMES.len()));
} else if auto_count > 0 {
dc.warn(&format!(
"{}/{} tools auto-approved — run `tokensave install --agent codex` to update",
auto_count,
TOOL_NAMES.len()
));
} else {
dc.warn("No tools auto-approved — Codex will prompt for each tool call");
}
}
fn doctor_check_prompt(dc: &mut DoctorCounters, codex_dir: &Path) {
let agents_md = codex_dir.join("AGENTS.md");
if agents_md.exists() {
let has_rules = std::fs::read_to_string(&agents_md)
.unwrap_or_default()
.contains("tokensave");
if has_rules {
dc.pass("AGENTS.md contains tokensave rules");
} else {
dc.fail("AGENTS.md missing tokensave rules — run `tokensave install --agent codex`");
}
} else {
dc.warn("~/.codex/AGENTS.md does not exist");
}
}