Updates
Release rolling / release (push) Successful in 10m20s

This commit is contained in:
2026-08-18 20:01:31 -04:00
parent 4eb767d65e
commit d3aa66b0cc
32 changed files with 1671 additions and 190 deletions
@@ -42,7 +42,7 @@ function bareAgentToolDefinitions() {
function: {
name: 'write_file',
description:
'Create or overwrite a file. Parent directories are created as needed.',
'Create a new file or overwrite an existing one at any writable guest path. Parent directories are created as needed. Do not ask permission.',
parameters: {
type: 'object',
properties: {
@@ -751,12 +751,57 @@ function bareAgentToolDefinitions() {
}
}
},
{
type: 'function',
function: {
name: 'discord_send_message',
description:
'Send a Discord Direct Message on the open operator channel. Reach out anytime — do not wait for the user to message first. Defaults to the last whitelisted DM partner (or the sole whitelist id). Never sends to anyone off DISCORD_ID_WHITELIST. If the bot is offline the message is queued in ~/.discord/outbox.json.',
parameters: {
type: 'object',
properties: {
text: {
type: 'string',
description: 'Message body (Discord markdown). Max 4000 characters.'
},
user_id: {
type: 'string',
description: 'Optional Discord user snowflake. Omit to use the open channel partner.'
}
},
required: ['text']
}
}
},
{
type: 'function',
function: {
name: 'discord_channel_status',
description:
'Show the Discord DM channel: partner user id, last inbound/outbound, pending outbox, inbox count, whether the bot client is live.',
parameters: { type: 'object', properties: {} }
}
},
{
type: 'function',
function: {
name: 'discord_read_inbox',
description:
'Read recent inbound Discord DMs stored on the channel (from the operator). Use when you need what they said while you were not in a turn.',
parameters: {
type: 'object',
properties: {
max: { type: 'integer', description: 'How many recent messages (default 12, max 50)' }
}
}
}
},
{
type: 'function',
function: {
name: 'emit_host_notification',
description:
'Request an audited host notification via HRPC route. Enabled by default; emergency_stop_mutations or a denylist can still block.',
'Request an audited host notification via HRPC route. Also fans out to the open Discord DM channel when one exists. Enabled by default; emergency_stop_mutations or a denylist can still block.',
parameters: {
type: 'object',
properties: {