Configuration reference

Every key is defaulted, so id + name alone is a working install. Edit them in the settings card, or override the row in a profile cordis.patch.yml.

Key	Default	Meaning
`enabled`	`true`	Master switch. Off removes the prompt section and the guard.
`apiKeyEnv`	`TYPESAFE_API_KEY`	Credential reference to resolve.
`baseURL`	`https://api.typesafe.ai`	API origin.
`model`	`jev-latest`	Alias or pinned version id. Pin a version if you tuned thresholds against it.
`timeoutMs`	`30000`	Per-request timeout.
`maxStateChars`	`60000`	Rejects oversized calls before they are billed.
`inputPricePerMTok`	`0.042`	Cost reporting only.
`promptEnabled`	`true`	Whether to tell the agent when to use the tools.
`promptOrder`	`700`	Prompt section placement, in the behavioural-rule band (TEAM_POLICY 600 … PTC_ONLY 800).
`guardEnabled`	`true`	Screen untrusted tool results.
`guardTools`	`web_fetch`, `web_search`, `read_page`, `read_url`, `browse`, `scrape`, `mcp____fetch`, `mcp____fetch_content`, `*fetch_content`	Which tool results to screen. Globs, so one entry covers a family. Only tools that bring outside text in belong here.
`guardWarnThreshold`	`0.5`	Injection probability at which a result is flagged.
`guardMinChars`	`200`	Skip shorter results.
`guardMaxChars`	`6000`	Chunk size for screening. Every chunk is screened, so this trades request count against request size — it is not an excerpt budget.

dsh-typesafe

インストール

ドキュメント

Configuration reference