Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 16 additions & 0 deletions marketplace.json
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down
16 changes: 16 additions & 0 deletions plugins/sounio/.zcode-plugin/plugin.json
Original file line number Diff line number Diff line change
@@ -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"]
}
23 changes: 23 additions & 0 deletions plugins/sounio/README.md
Original file line number Diff line number Diff line change
@@ -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).
23 changes: 23 additions & 0 deletions plugins/sounio/README_CN.md
Original file line number Diff line number Diff line change
@@ -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)。
10 changes: 10 additions & 0 deletions plugins/sounio/commands/check-sio.md
Original file line number Diff line number Diff line change
@@ -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.
12 changes: 12 additions & 0 deletions plugins/sounio/skills/sounio-development/SKILL.md
Original file line number Diff line number Diff line change
@@ -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.