syntropy 0.39.0 → 0.41.0

data/examples/agent/app/assets/minigfm.js

@@ -0,0 +1,207 @@
+// source: https://github.com/OblivionOcean/MiniGFM
+// (MIT License)
+/**
+ * MiniGFM - 一个简单的Markdown解析器，基本支持GFM语法。
+ * @author OblivionOcean
+ * @version 1.0.7
+ * @class
+ */
+export default class MiniGFM {
+
+    constructor(options) {
+        this.options = options || {};
+    }
+
+    /**
+    * 解析Markdown文本并返回HTML字符串
+    * @param {string} markdown - Markdown文本
+    * @returns {string} HTML字符串
+    */
+    parse(markdown) {
+        if (typeof markdown != "string") return '';
+        const codeBlocks = [], codeInline = [];
+        markdown = markdown
+            // 保存原始代码块
+            .replace(/(?:^|\n)[^\\]?(`{3,4})[ ]*(\w*?)\n([\s\S]*?)\n\1/g, (_, __, lang, code) => {
+                codeBlocks.push({ lang: lang.trim(), code: code.trim() });
+                return `<!----CODEBLOCK${codeBlocks.length - 1}---->`;
+            })
+            // 保持内联代码 
+            .replace(/([^\\])`([^`]+)`/g, (_, after, code) => {
+                codeInline.push(this.escapeHTML(code));
+                return `${after}<!----CODEINLINE${codeInline.length - 1}---->`;
+            })
+            // 转义特殊字符
+            .replace(/\\([\\*_{}[\]()#+\-.!`])/g, (_, m) => `&#${m.charCodeAt(0)}`)
+            // 删除注释
+            .replace(/%%[\n ][^%]+[\n ]%%/g, '');
+
+        markdown = this.parseInlines(this.parseBlocks(markdown))// 解析块和内联元素
+            // 恢复内联代码
+            .replace(/<!----CODEINLINE(\d+)---->/g, (_, id) =>
+                codeInline[id] ? `<code>${codeInline[id]}</code>` : ''
+            )
+            // 恢复代码块
+            .replace(/<!----CODEBLOCK(\d+)---->/g, (_, id) => {
+                if (!codeBlocks[id]) return '';
+                const { lang, code } = codeBlocks[id];
+                let highlighted = code;
+
+                if (this.options.hljs) try {
+                    highlighted = (lang
+                        ? this.options.hljs.highlight(code, { language: lang })
+                        : this.options.hljs.highlightAuto(code)).value;
+                } catch { }
+
+                return lang
+                    ? `<pre lang="${lang}"><code class="hljs ${lang} lang-${lang}">${highlighted}</code></pre>`
+                    : `<pre><code>${highlighted}</code></pre>`;
+            });
+        return (!this.options.unsafe) ? this.safeHTML(markdown) : markdown;
+    }
+
+    /**
+     * 解析跨行元素和行级块
+     * @param {string} text - 待处理的文本
+     * @returns {string} 处理后的文本
+     * @private
+     * @static
+     */
+    parseBlocks(text) {
+        return text
+            // 标题
+            .replace(/^[^\\]?\s*(#{1,6}) ([^\n]+)$/gm, (_, level, content) => `<h${level.length}>${content}</h${level.length}>`)
+
+            // 任务列表
+            .replace(/^[ \t]*[-*+][ \t]+\[([ ]*[ xX]?)\]\s([^\n]+)$/gm, (_, checked, content) => `<li><input type="checkbox" ${checked.trim().toLowerCase() === 'x' ? 'checked' : ''} disabled> ${content}</li>`)
+
+            // 无序列表
+            .replace(/^[ \t]*[-*+] ([^\n]+)$/gm, `<li>$1</li>`)
+
+            // 有序列表
+            .replace(/^[ \t]*(\d+\.) ([^\n]+)$/gm, `<li>$1 $2</li>`)
+
+            // 分隔线
+            .replace(/^ {0,3}(([*_-])( *\2 *){2,})(?:\s*$|$)/gm, () => '<hr/>')
+
+            // 引用块
+            .replace(/^[ \t]*((?:\>[ \t]*)+)([^\n]*)$/gm, (_, sep, content) => {
+                if (content.trim() === '') return '';
+                let num = sep.length / 2;
+                return "<blockquote>".repeat(num) + content + "</blockquote>".repeat(num);
+            })
+
+            // 表格
+            .replace(/^([^\n]*\|[^\n]*)\n([-:| ]+\|)+[-\| ]*\n((?:[^\n]*\|[^\n]*(?:\n|$))*)/gm, this.parseTable.bind(this))
+
+            // 段落处理
+            .split(/\n{2,}|\\\n/g)
+            .map(s => /^<(\w+)/.test(s) ? s : `<p>${s}</p>`)
+            .join(this.options.noMoreBr ? '' : '<br />');
+    }
+
+    /**
+     * 解析表格
+     * @param {*} _ 忽略参数，保持接口一致
+     * @param {Array} headers 表头
+     * @param {String} alignLine 对齐方式
+     * @param {Array} rows 表格行
+     * @return {String}
+     * @private
+     */
+    parseTable(_, headers, alignLine, rows) {
+        // 解析表头
+        const headerCols = headers.split('|').map(h => h.trim()).filter(Boolean);
+
+        // 解析对齐方式
+        const aligns = this.parseTableAlignment(alignLine);
+
+        // 解析行数据（兼容列数不一致的情况）
+        const bodyRows = rows.trim().split('\n').reduce((arr, line) => {
+            if (!line.includes('|')) return arr;
+            const cols = line.split('|').slice(1, -1).map(c => c.trim()); // 移除首尾空列
+            arr.push(headerCols.map((_, i) => cols[i] || ''));  // 按表头列数填充
+            return arr;
+        }, []);
+        const table = ['<table>', '<thead><tr>', ...headerCols.map((h, i) => `<th${aligns[i] ? ` align="${aligns[i]}"` : ''}>${h}</th>`), '</tr></thead>'];
+        if (bodyRows.length) {
+            table.push('<tbody>');
+            bodyRows.forEach(row => {
+                table.push('<tr>',
+                    ...row.map((c, j) => `<td${aligns[j] ? ` align="${aligns[j]}"` : ''}>${c}</td>`),
+                    '</tr>');
+            });
+            table.push('</tbody>');
+        }
+
+        return [...table, '</table>'].join('');
+    }
+
+    /**
+     * 解析表格对齐方式
+     * @param {string} alignLine
+     * @returns {Array}
+     * @private
+     * @static
+     */
+    parseTableAlignment(alignLine) {
+        return alignLine.split('|').map(part => {
+            part = part.trim();
+            if (!part) return null;
+            const left = part.startsWith(':'), right = part.endsWith(':');
+            return left && right ? 'center' : left ? 'left' : right ? 'right' : null;
+        }).filter(Boolean);
+    }
+
+    /**
+     * 解析内联表达式
+     * @param {string} text
+     * @return {string} 解析后的文本
+     * @private
+     * @static
+     */
+    parseInlines(text) {
+        // 粗体
+        return text
+            .replace(/(.+)^(.+)/g, '$1<sup>$2</sup>')
+            .replace(/(.+)_(.+)/g, '$1<sub>$2</sub>')
+            .replace(/[*_]{2}(.+?)[*_]{2}/g, '<strong>$1</strong>')
+            .replace(/(?<!\*)_(.+?)_(?!\*)|(?<!\*)\*(.+?)\*(?!\*)/, (_, g1, g2) => `<em>${g1 || g2}</em>`)
+
+            // 删除线
+            .replace(/~~(.+?)~~/g, '<del>$1</del>')
+
+            // 自动链接
+            .replace(/\<([^\s@>]+@[^\s@>]+\.[^\s@>]+)\>/g, '<a href="mailto:$1">$1</a>')
+            .replace(/\<((?:https?:\/\/|ftp:\/\/|mailto:|tel:)[^>\s]+)\>/g, '<a href="$1">$1</a>')
+
+            // 图片
+            .replace(/\!\[([^\]]*)\]\(([^)]+)\)/g, '<img src="$2" alt="$1">')
+
+            // 链接
+            .replace(/\[([^\]]+)\]\(([^) ]+)[ ]?(\"[^)"\"]+\")?\)/g, (_, desc, url, title) => `<a href="${url}"${(title) ? " title=" + title : ""}>${desc}</a>`);
+    }
+
+    /**
+     * 转义 HTML 字符串
+     * @param {string} text
+     * @returns {string}
+     */
+    escapeHTML(text) {
+        return text.replace(/[&<>"']/g, m => `&#${m.charCodeAt(0)}`)
+    }
+
+    /**
+     * 安全化 HTML 字符串
+     * @param {string} text
+     * @returns {string}
+     */
+    safeHTML(text) {
+        return text
+            .replace(/<(\/?)\s*(script|iframe|object|embed|frame|link|meta|style|svg|math)[^>]*>/gi, m => this.escapeHTML(m))
+            .replace(/\s(?!data-)[\w-]+=\s*["'\s]*(javascript:|data:|expression:)[^"'\s>]*/gi, '').replace(
+                /\<[^\>]+\>/g,
+                tag => tag.replace(/\s+on\w+\s*=\s*["']?[^"'\\]*["']?/gi, '')
+            );
+    }
+}

data/examples/agent/app/assets/model.js

@@ -0,0 +1,45 @@
+import * as Tools from './tools.js';
+
+export function buildExchangeBody(prompt) {
+  return {
+    model: "google/gemma-4-26b-a4b-it",
+    messages: [
+      {
+        role: "user",
+        content: prompt
+      }
+    ],
+    tools: Tools.spec()
+  };
+  
+}
+
+export async function query(ctx) {
+  const api_key = window.OPEN_ROUTER_API_KEY;
+  const response = await fetch(
+    "https://openrouter.ai/api/v1/chat/completions",
+    {
+      method: "POST",
+      headers: {
+        "Authorization": `Bearer ${api_key}`,
+        "Content-Type": "application/json"
+      },
+      body: JSON.stringify(ctx)
+    }
+  );
+  return await response.json();
+}
+
+export function addMessage(ctx, message) {
+  ctx.messages.push(message);
+}
+
+export function mergeToolResults(ctx, tool_results) {
+  tool_results.forEach((r) => {
+    addMessage(ctx, {
+      role: "tool",
+      tool_call_id: r.id,
+      content: JSON.stringify(r.result)
+    });
+  });
+}

data/examples/agent/app/assets/style.css

@@ -0,0 +1,25 @@
+* {
+  border: 0;
+  font: inherit;
+  font-size: 100%;
+  vertical-align: baseline;
+  line-height: 1.5em;
+  margin: 0;
+  padding: 0;
+  background-color: #f8f8f8;
+  color: #222;
+}
+
+body {
+  max-width: 800px;
+  margin: 4em auto;
+
+  font-size: 1.5em;
+  font-family: sans-serif;
+}
+
+@media (max-width: 768px) {
+  body {
+    margin-inline: 1em;
+  }
+}

data/examples/agent/app/assets/tools.js

@@ -0,0 +1,74 @@
+export function spec() {
+  return [
+    {
+      type: "function",
+      function: {
+        name: "get_unit_alarms",
+        description: "Retrieve list of alarms for one or more units. If no unit names are given, returns all alarms",
+        parameters: {
+          type: "object",
+          "properties": {
+            units: {
+              type: "array",
+              items: { type: "string" },
+              description: "List of unit names"
+            }
+          },
+          required: ["units"]
+        }
+      }
+    },
+
+    {
+      "type": "function",
+      "function": {
+        "name": "geo_search_units",
+        "description": "Search for units by location",
+        "parameters": {
+          type: "object",
+          "properties": {
+            location: {
+              "type": "string",
+              "description": "Location"                  
+            }
+          },
+          required: ["location"]
+        }
+      }
+    }
+  ]
+}
+
+export async function toolHandler(name, args) {
+  if (name == "get_unit_alarms") {
+    return await get_unit_alarms(args);
+  }
+
+  throw new Error(`Invalid tool call: ${name}`);
+}
+
+async function get_unit_alarms({ units }) {
+  const alarms = [];
+  const all = units.length == 0;
+  if (all || (units.indexOf('/icex1') >= 0)) {
+    alarms.push({
+      path: '/icex1/a1',
+      description: 'High pressure in unit 1'
+    });
+    alarms.push({
+      path: '/icex1/a2',
+      description: 'High temperature in unit 1'
+    });
+  }
+  if (all || (units.indexOf('/icex2') >= 0)) {
+    alarms.push({
+      path: '/icex2/a3',
+      description: 'Low pressure in unit 2'
+    });
+    alarms.push({
+      path: '/icex2/a4',
+      description: 'Low temperature in unit 2'
+    });
+  }
+  return alarms;
+}

data/examples/agent/app/assets/ui.js

@@ -0,0 +1,50 @@
+import MiniGFM from './minigfm.js'; // for UI
+
+export function createNewSection() {
+  const main = document.querySelector("main");
+  const section = document.createElement("section");
+  main.appendChild(section);
+  return section;
+}
+
+export async function askPrompt(section) {
+  return new Promise((resolve) => {
+    setupForm(section, resolve);
+  });
+}
+
+function setupForm(section, submit_callback) {
+  const template = document.querySelector("#template-prompt-form");
+  const form = document.importNode(template.content, true);
+  section.appendChild(form);
+  section
+    .querySelector("#prompt-form")
+    .addEventListener("submit", function (e) {
+      e.preventDefault();
+      submit_callback(section.querySelector("#prompt-text").value);
+    });
+  setTimeout(() => {
+    section.querySelector("#prompt-text").focus();
+  }, 50);
+  
+}
+
+export function addSectionEntryMarkdown(section, md) {
+  const parser = new MiniGFM({});
+  const html = parser.parse(md);
+  
+  const ele = document.createElement("div");
+  ele.innerHTML = html;
+  section.appendChild(ele);
+  return ele;
+}
+
+export function addPendingEntry(section) {
+  const ele = addSectionEntryMarkdown(section, "*Waiting for response...*");
+  ele.classList.add("pending");
+}
+
+export function removePendingEntry(section) {
+  const ele = section.querySelector('.pending');
+  if (ele) ele.remove();
+}

data/examples/agent/app/index.rb

@@ -0,0 +1,19 @@
+layout = import '_layout/default'
+
+require 'papercraft/version'
+
+export layout.apply {
+  header {
+    h1 'Fake-MCP Agent test'
+  }
+  main {
+  }
+  template(id: 'template-prompt-form') {
+    form(id: 'prompt-form') {
+      input type: 'text', id: 'prompt-text', minlength: 5, required: true, value: 'Give me all alarms'
+      button "Submit", type: 'submit', id: 'prompt-submit'
+    }
+  }
+  # script(src: '/assets/minigfm.js' )
+  script(src: '/assets/agent.js', type: 'module')
+}

data/examples/agent/app/test.rb

@@ -0,0 +1,7 @@
+layout = import '_layout/default'
+
+export layout.apply {
+  p {
+    span 'Hello!'
+  }
+}

data/examples/agent/config/Caddyfile

@@ -0,0 +1,5 @@
+localhost {
+  reverse_proxy app_server:1234
+  tls internal
+  encode
+}

data/examples/agent/config/development.rb

@@ -0,0 +1,5 @@
+export(
+  storage: {
+    path: ENV['DATABASE_PATH'] || 'storage/development.db'
+  }
+)

data/examples/agent/config/production.rb

@@ -0,0 +1,5 @@
+export(
+  storage: {
+    path: ENV['DATABASE_PATH'] || 'storage/production.db'
+  }
+)

data/examples/agent/config/test.rb

@@ -0,0 +1,5 @@
+export({
+  storage: {
+    path: ENV['DATABASE_PATH'] || Syntropy.tmp_path('test-db')
+  }
+})

data/examples/agent/docker-compose.yml

@@ -0,0 +1,71 @@
+#version: "3.8"
+
+services:
+  app_server:
+    build: .
+    security_opt:
+      - seccomp:unconfined
+    volumes:
+      - .:/syntropy
+    stop_signal: SIGINT
+    stop_grace_period: 10s
+    restart: unless-stopped
+    healthcheck:
+      test: "curl 'http://localhost:1234/'"
+      interval: "30s"
+      timeout: "3s"
+      start_period: "5s"
+      retries: 3
+    networks:
+      - proxy_network
+
+  console:
+    build: .
+    command: bundle exec syntropy console
+    stdin_open: true # docker run -i
+    tty: true
+    security_opt:
+      - seccomp:unconfined
+    profiles:
+      - dev
+    volumes:
+      - .:/syntropy
+    stop_signal: SIGINT
+    restart: never
+
+  test:
+    build: .
+    command: bundle exec syntropy test -w
+    stdin_open: true # docker run -i
+    tty: true
+    security_opt:
+      - seccomp:unconfined
+    profiles:
+      - dev
+    volumes:
+      - .:/syntropy
+    stop_signal: SIGINT
+    restart: never
+
+  proxy:
+    depends_on:
+      - app_server
+    image: caddy:2-alpine
+    build:
+      context: ./proxy
+      dockerfile: Dockerfile
+    restart: unless-stopped
+    ports:
+      - "80:80"
+      - "443:443"
+      - "443:443/udp"
+    volumes:
+      - ./config/Caddyfile:/etc/caddy/Caddyfile
+      - ./storage/caddy/data:/data
+      - ./storage/caddy/config:/config
+    networks:
+      - proxy_network
+
+networks:
+  proxy_network:
+    name: proxy_network

data/examples/agent/response_example.json

@@ -0,0 +1,108 @@
+{
+  "id": "gen-1782133158-2Ap6AR8TBbCGsoP4ACkh",
+  "object": "chat.completion",
+  "created": 1782133158,
+  "model": "google/gemma-4-26b-a4b-it-20260403",
+  "provider": "DeepInfra",
+  "system_fingerprint": null,
+  "service_tier": null,
+  "choices": [
+    {
+      "index": 0,
+      "logprobs": null,
+      "finish_reason": "tool_calls",
+      "native_finish_reason": "tool_calls",
+      "message": {
+        "role": "assistant",
+        "content": null,
+        "refusal": null,
+        "reasoning": null,
+        "tool_calls": [
+          {
+            "type": "function",
+            "index": 0,
+            "id": "chatcmpl-tool-a10b45dc6cb1da7c",
+            "function": {
+              "name": "get_unit_alarms",
+              "arguments": "{\"units\": []}"
+            }
+          }
+        ]
+      }
+    }
+  ],
+  "usage": {
+    "prompt_tokens": 138,
+    "completion_tokens": 15,
+    "total_tokens": 153,
+    "cost": 0.00001476,
+    "is_byok": false,
+    "prompt_tokens_details": {
+      "cached_tokens": 0,
+      "cache_write_tokens": 0,
+      "audio_tokens": 0,
+      "video_tokens": 0
+    },
+    "cost_details": {
+      "upstream_inference_cost": 0.00001476,
+      "upstream_inference_prompt_cost": 0.00000966,
+      "upstream_inference_completions_cost": 0.0000051
+    },
+    "completion_tokens_details": {
+      "reasoning_tokens": 0,
+      "image_tokens": 0,
+      "audio_tokens": 0
+    }
+  }
+}
+
+
+
+
+
+{
+  "id": "gen-1782148953-LA0Rlt0gpMPn8Zoe0tuz",
+  "object": "chat.completion",
+  "created": 1782148953,
+  "model": "google/gemma-4-26b-a4b-it-20260403",
+  "provider": "DeepInfra",
+  "system_fingerprint": null,
+  "service_tier": null,
+  "choices": [
+    {
+      "index": 0,
+      "logprobs": null,
+      "finish_reason": "stop",
+      "native_finish_reason": "stop",
+      "message": {
+        "role": "assistant",
+        "content": "The current alarms are:\n- **High pressure in region 1** (Path: `/a1`)\n- **Low temperature in region 2** (Path: `/a2`)",
+        "refusal": null,
+        "reasoning": null
+      }
+    }
+  ],
+  "usage": {
+    "prompt_tokens": 197,
+    "completion_tokens": 44,
+    "total_tokens": 241,
+    "cost": 0.00002875,
+    "is_byok": false,
+    "prompt_tokens_details": {
+      "cached_tokens": 0,
+      "cache_write_tokens": 0,
+      "audio_tokens": 0,
+      "video_tokens": 0
+    },
+    "cost_details": {
+      "upstream_inference_cost": 0.00002875,
+      "upstream_inference_prompt_cost": 0.00001379,
+      "upstream_inference_completions_cost": 0.00001496
+    },
+    "completion_tokens_details": {
+      "reasoning_tokens": 0,
+      "image_tokens": 0,
+      "audio_tokens": 0
+    }
+  }
+}

data/examples/agent/test/test_app.rb

@@ -0,0 +1,14 @@
+# frozen_string_literal: true
+
+class AppTest < Syntropy::Test
+  def test_routing
+    req = get('/')
+    assert_equal HTTP::OK, req.response_status
+
+    req = get('/test')
+    assert_equal HTTP::OK, req.response_status
+
+    req = get('/foo')
+    assert_equal HTTP::NOT_FOUND, req.response_status
+  end
+end

data/examples/blog/app/foo.rb

@@ -0,0 +1 @@
+export ->(req) { req.respond('Foo') }

data/examples/blog/config/production.rb

@@ -1,4 +1,5 @@
 export(
-  storage:
+  storage: {
     path: ENV['DATABASE_PATH'] || 'storage/production.db'
+  }
 )