From d747f89d12e211d6701ccd74c6c22c838485411a Mon Sep 17 00:00:00 2001 From: mptyl Date: Fri, 26 Jun 2026 23:15:44 +0200 Subject: [PATCH] feat(harness): port .pi/ config, prompts, theme (D2) settings.json (theme: thothii-mono), the two slash-command prompts (/nuova-domanda, /riprendi-sessione), and the theme JSON. Renamed PsdWp3 -> ThothII in prompt prose and the theme name. No tests (config files). pi --mode rpc launched with cwd=harness/ finds the .pi/ directory + the extensions (nsp-gate.js, gate/). --- harness/.pi/prompts/nuova-domanda.md | 6 ++ harness/.pi/prompts/riprendi-sessione.md | 6 ++ harness/.pi/settings.json | 3 + harness/.pi/themes/thothii-mono.json | 86 ++++++++++++++++++++++++ 4 files changed, 101 insertions(+) create mode 100644 harness/.pi/prompts/nuova-domanda.md create mode 100644 harness/.pi/prompts/riprendi-sessione.md create mode 100644 harness/.pi/settings.json create mode 100644 harness/.pi/themes/thothii-mono.json diff --git a/harness/.pi/prompts/nuova-domanda.md b/harness/.pi/prompts/nuova-domanda.md new file mode 100644 index 00000000..b157d675 --- /dev/null +++ b/harness/.pi/prompts/nuova-domanda.md @@ -0,0 +1,6 @@ +--- +description: Avvia una sessione ThothII da una domanda in linguaggio naturale +argument-hint: "" +--- +Nuova domanda ThothII: "$@" + diff --git a/harness/.pi/prompts/riprendi-sessione.md b/harness/.pi/prompts/riprendi-sessione.md new file mode 100644 index 00000000..2dcdf034 --- /dev/null +++ b/harness/.pi/prompts/riprendi-sessione.md @@ -0,0 +1,6 @@ +--- +description: Riprende una sessione ThothII esistente dal suo id +argument-hint: "" +--- +Riprendi la sessione ThothII "$1". + diff --git a/harness/.pi/settings.json b/harness/.pi/settings.json new file mode 100644 index 00000000..90238baf --- /dev/null +++ b/harness/.pi/settings.json @@ -0,0 +1,3 @@ +{ + "theme": "thothii-mono" +} diff --git a/harness/.pi/themes/thothii-mono.json b/harness/.pi/themes/thothii-mono.json new file mode 100644 index 00000000..18e04ce1 --- /dev/null +++ b/harness/.pi/themes/thothii-mono.json @@ -0,0 +1,86 @@ +{ + "$schema": "https://raw.githubusercontent.com/earendil-works/pi/main/packages/coding-agent/src/modes/interactive/theme/theme-schema.json", + "name": "thothii-mono", + "vars": { + "cyan": "#00d7ff", + "blue": "#5f87ff", + "green": "#b5bd68", + "red": "#cc6666", + "yellow": "#ffff00", + "text": "#d4d4d4", + "gray": "#808080", + "dimGray": "#666666", + "darkGray": "#505050", + "accent": "#8abeb7", + "selectedBg": "#3a3a4a", + "userMsgBg": "#343541", + "toolPendingBg": "#282832", + "toolSuccessBg": "#283228", + "toolErrorBg": "#3c2828", + "customMsgBg": "#2d2838" + }, + "colors": { + "accent": "accent", + "border": "blue", + "borderAccent": "cyan", + "borderMuted": "darkGray", + "success": "green", + "error": "red", + "warning": "yellow", + "muted": "gray", + "dim": "dimGray", + "text": "text", + "thinkingText": "gray", + + "selectedBg": "selectedBg", + "userMessageBg": "userMsgBg", + "userMessageText": "text", + "customMessageBg": "customMsgBg", + "customMessageText": "text", + "customMessageLabel": "#9575cd", + "toolPendingBg": "toolPendingBg", + "toolSuccessBg": "toolSuccessBg", + "toolErrorBg": "toolErrorBg", + "toolTitle": "text", + "toolOutput": "gray", + + "mdHeading": "#f0c674", + "mdLink": "#81a2be", + "mdLinkUrl": "dimGray", + "mdCode": "accent", + "mdCodeBlock": "gray", + "mdCodeBlockBorder": "gray", + "mdQuote": "gray", + "mdQuoteBorder": "gray", + "mdHr": "gray", + "mdListBullet": "accent", + + "toolDiffAdded": "green", + "toolDiffRemoved": "red", + "toolDiffContext": "gray", + + "syntaxComment": "gray", + "syntaxKeyword": "#569CD6", + "syntaxFunction": "#DCDCAA", + "syntaxVariable": "#9CDCFE", + "syntaxString": "gray", + "syntaxNumber": "gray", + "syntaxType": "gray", + "syntaxOperator": "#D4D4D4", + "syntaxPunctuation": "#D4D4D4", + + "thinkingOff": "darkGray", + "thinkingMinimal": "#6e6e6e", + "thinkingLow": "#5f87af", + "thinkingMedium": "#81a2be", + "thinkingHigh": "#b294bb", + "thinkingXhigh": "#d183e8", + + "bashMode": "green" + }, + "export": { + "pageBg": "#18181e", + "cardBg": "#1e1e24", + "infoBg": "#3c3728" + } +}