Compare commits

..

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

View file

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