Function propose 

pub fn propose(path: &Path, feature: Option<&str>, task: &str) -> CommandResult

speccoder propose: the provider comes from [model], its key from ANTHROPIC_API_KEY or OPENAI_API_KEY (never from files).