diff --git a/marketplace.json b/marketplace.json index b988fe5..e02a74e 100644 --- a/marketplace.json +++ b/marketplace.json @@ -10,6 +10,22 @@ "url": "https://z.ai" }, "plugins": [ + { + "name": "sounio", + "source": "./plugins/sounio", + "description": "Check Sounio source files with an existing local compiler and report the exact evidence level.", + "description_i18n": { + "en": "Check Sounio source files with an existing local compiler and report the exact evidence level.", + "zh-CN": "使用已有的本地编译器检查 Sounio 源文件,并准确说明验证证据的层级。" + }, + "version": "0.1.0", + "author": { + "name": "Demetrios Agourakis", + "url": "https://github.com/agourakis82" + }, + "category": "developer-tools", + "keywords": ["sounio", "compiler", "scientific-programming", "diagnostics"] + }, { "name": "cloudbase-skills", "source": "./plugins/cloudbase-skills", diff --git a/plugins/sounio/.zcode-plugin/plugin.json b/plugins/sounio/.zcode-plugin/plugin.json new file mode 100644 index 0000000..a022c57 --- /dev/null +++ b/plugins/sounio/.zcode-plugin/plugin.json @@ -0,0 +1,16 @@ +{ + "name": "sounio", + "version": "0.1.0", + "description": "Check Sounio source files with an existing local compiler and report the exact evidence level.", + "description_i18n": { + "en": "Check Sounio source files with an existing local compiler and report the exact evidence level.", + "zh-CN": "使用已有的本地编译器检查 Sounio 源文件,并准确说明验证证据的层级。" + }, + "author": { + "name": "Demetrios Agourakis", + "url": "https://github.com/agourakis82" + }, + "homepage": "https://github.com/Sounio-lang/sounio", + "license": "Apache-2.0", + "keywords": ["sounio", "compiler", "scientific-programming", "diagnostics"] +} diff --git a/plugins/sounio/README.md b/plugins/sounio/README.md new file mode 100644 index 0000000..faadfcb --- /dev/null +++ b/plugins/sounio/README.md @@ -0,0 +1,23 @@ +# Sounio + +[中文文档](./README_CN.md) + +Check a Sounio `.sio` source file using a compiler already available in the local project, and keep source checking separate from compilation, execution, CI, and scientific validation. + +## Requirements + +- ZCode with this plugin installed and enabled. +- A Sounio checkout containing `bin/souc`, or a `souc` command already on `PATH`. +- The `.sio` file to check must be accessible in the current project. + +## Use + +Invoke `/sounio:check-sio path/to/file.sio` in a Sounio project. The command reads project instructions, checks that the file exists, then asks ZCode to run `souc check` through the project wrapper or an existing compiler on `PATH`. It reports the exit status and diagnostics without claiming that the program compiled or ran. + +The `sounio-development` skill is also available when working on Sounio source or compiler diagnostics. It emphasizes the repository's own instructions and evidence boundaries. + +## Permissions and side effects + +This plugin contains only prompt files: no executable script, hook, MCP server, bundled compiler, or credential requirement. The check command asks ZCode to execute the local compiler on the named file; review that shell action before approving it. The plugin itself does not install software, send data to a network service, or edit project files. The selected compiler or wrapper may create or update temporary files and project-local generated artifacts. In particular, Sounio's `bin/souc` may materialize `bin/madaros-linux-x86_64` and `bin/.madaros-linux-x86_64.verified` in the checkout during startup. + +The plugin text is original and released under Apache-2.0. Sounio itself is a separate Apache-2.0 project at [Sounio-lang/sounio](https://github.com/Sounio-lang/sounio). diff --git a/plugins/sounio/README_CN.md b/plugins/sounio/README_CN.md new file mode 100644 index 0000000..77d99c6 --- /dev/null +++ b/plugins/sounio/README_CN.md @@ -0,0 +1,23 @@ +# Sounio + +[English](./README.md) + +使用本地项目中已有的编译器检查 Sounio `.sio` 源文件,并明确区分源码检查、编译、运行、CI 和科学验证。 + +## 前提条件 + +- 已在 ZCode 中安装并启用此插件。 +- Sounio 仓库内有 `bin/souc`,或 `PATH` 中已有 `souc` 命令。 +- 当前项目中可以访问要检查的 `.sio` 文件。 + +## 使用方法 + +在 Sounio 项目中执行 `/sounio:check-sio path/to/file.sio`。该命令先读取项目指令并确认文件存在,再让 ZCode 通过项目包装器或 `PATH` 中已有的编译器执行 `souc check`。它报告退出状态和诊断信息,不会把检查成功称为程序已编译或已运行。 + +处理 Sounio 源码或编译器诊断时,也可以使用 `sounio-development` Skill。它强调遵循项目自身的指令并准确描述证据范围。 + +## 权限与副作用 + +本插件只包含提示文件:没有可执行脚本、Hook、MCP 服务、附带的编译器或凭据要求。检查命令会请 ZCode 对指定文件运行本地编译器;执行前请审阅该 Shell 操作。插件本身不安装软件、不向网络服务发送数据,也不修改项目文件。所选编译器或包装器可能创建或更新临时文件及项目内的生成产物。特别是 Sounio 的 `bin/souc` 启动时可能在仓库中生成 `bin/madaros-linux-x86_64` 和 `bin/.madaros-linux-x86_64.verified`。 + +插件文本为原创,采用 Apache-2.0 许可。Sounio 是独立的 Apache-2.0 项目,地址为 [Sounio-lang/sounio](https://github.com/Sounio-lang/sounio)。 diff --git a/plugins/sounio/commands/check-sio.md b/plugins/sounio/commands/check-sio.md new file mode 100644 index 0000000..0d71aa8 --- /dev/null +++ b/plugins/sounio/commands/check-sio.md @@ -0,0 +1,10 @@ +--- +description: Check one Sounio .sio file with an existing local compiler +--- + +Check the single `.sio` file named in $ARGUMENTS. If there is no unambiguous path, ask for one. Do not search the filesystem for a substitute file. + +1. Read the project's agent instructions before running a command. Confirm the file exists and has a `.sio` extension. +2. From the Sounio repository root, prefer its `bin/souc` wrapper. Otherwise use `souc` already on `PATH`. If neither is available, report that prerequisite and stop. Do not download, build, or install a compiler. Before execution, disclose that the selected compiler or wrapper may create or update project-local generated artifacts; Sounio's `bin/souc` may materialize `bin/madaros-linux-x86_64` and `bin/.madaros-linux-x86_64.verified` during startup. +3. Run the selected compiler's `check` subcommand on that file, with the path passed as one quoted argument. Do not use `eval`, interpolate the path into a shell program, or run `compile` or `run`. +4. Report the compiler path, source path, exit status, and relevant diagnostics. A successful `check` is only a source-check result; it does not establish successful native compilation, execution, scientific validity, or CI status. diff --git a/plugins/sounio/skills/sounio-development/SKILL.md b/plugins/sounio/skills/sounio-development/SKILL.md new file mode 100644 index 0000000..fe51d8d --- /dev/null +++ b/plugins/sounio/skills/sounio-development/SKILL.md @@ -0,0 +1,12 @@ +--- +name: sounio-development +description: Use when editing or diagnosing Sounio .sio code, compiler diagnostics, or Sounio test results. Follow the repository's own compiler and evidence contracts. +--- + +# Sounio Development + +Sounio is a language and self-hosted compiler, not a Rust dialect. Read the current project's `AGENTS.md` and relevant Sounio documentation before changing syntax, compiler behavior, or scientific claims. Use existing `.sio` examples rather than translating Rust patterns by analogy. + +For a requested source check, use `/sounio:check-sio` or follow its single-file procedure. Prefer the repository's `bin/souc` wrapper when working in Sounio itself; do not guess at a raw compiler binary or silently fall back to a stale artifact. Keep check, native compile, execution, test-suite, remote CI, and scientific acceptance as distinct outcomes. + +When a check fails, quote the diagnostic and locate the responsible source construct before proposing a patch. When it succeeds, report only what was actually checked. Do not run numerical experiments, make clinical claims, or treat a successful compiler exit as a proof.