Compare commits

..

No commits in common. "d5d302cff38ac780b4a5d589c2dcc687bd44f702" and "6c5ebfb9a848c547701c3c22bf99493f0c2b732e" have entirely different histories.

View file

@ -4,7 +4,6 @@ let
"fish" "fish"
"lua" "lua"
"nix" "nix"
"pyrefly"
"ruff" "ruff"
"scala" "scala"
"sql" "sql"
@ -17,18 +16,23 @@ in
enable = true; enable = true;
extensions = myextensions; extensions = myextensions;
userSettings = { userSettings = {
agent = { assistant = {
version = "2";
default_model = { default_model = {
provider = "copilot_chat"; provider = "copilot_chat";
model = "claude-4-sonnet"; model = "claude-3-7-sonnet";
}; };
}; };
features = {
copilot = true;
};
language_models = { language_models = {
anthropic = { anthropic = {
available_models = [ available_models = [
{ {
name = "claude-sonnet-4-20250514"; provider = "anthropic";
max_tokens = 200000; name = "claude-3-7-sonnet";
max_tokens = 128000;
cache_configuration = { cache_configuration = {
max_cache_anchors = 10; max_cache_anchors = 10;
min_total_token = 10000; min_total_token = 10000;
@ -36,17 +40,22 @@ in
}; };
} }
]; ];
version = "1";
}; };
openai = { openai = {
available_models = [ available_models = [
{ {
name = "gpt-5"; provider = "openai";
display_name = "gpt-5 high"; name = "gpt-4o";
reasoning_effort = "high"; max_tokens = 128000;
max_tokens = 272000; }
max_completion_tokens = 20000; {
provider = "openai";
name = "o3-mini";
max_tokens = 128000;
} }
]; ];
version = "1";
}; };
}; };
telemetry.metrics = false; telemetry.metrics = false;