⚠ 本页由英文页面翻译。母语者尚未审校。如果两种文字不同,以英文为准。

开放的软件工坊 · 在里约制作

开放的软件,在里约热内卢制作。

每个项目都有自己的仓库。每个仓库都有自己的 README、许可证和测试。代码是开放的。方法也是开放的。

个 FOSS 项目
19
个 fork
14
个人
3
条规则
10
  • 7 已上线
  • 3 即将上线
  • 9 还没有网站
piabrota 的标志

各自的域名

由 piabrota2 提供
  • OpenRig

    OpenRig 的网页界面,软件工厂的引擎:构建者和审查者的席位,以及它们的终端。

    rig.piabrota.art ↗
  • metrics公开

    两台主机的进程、内存和 vCPU,每 10 秒读取一次。

    metrics.piabrota.art ↗
  • room公开

    piabrota/room:一个 3D 房间,有镜头切换、录像机、望向里约的窗户和 piabrota RADIO。

    room.piabrota.art ↗
  • ▲ grid公开

    房间的第十个视图,有自己的域名:三角网格上的巴西海岸,24 小时的海况和海温。

    grid.piabrota.art ↗
  • proof公开

    h0ffmann/proof 的全部 HTML 页面:规格说明、Z3 报告和图表。

    proof.piabrota.art ↗
  • pirsig公开

    piabrota/pirsig 的视频笔记和插图,第二大脑。

    pirsig.piabrota.art ↗

项目

来自 piabrota/.github

每一行是一种工作。点击卡片,可以打开项目的网站。没有网站时,打开代码仓库。

公司3

  • 还没有网站Markdown, Bash自有

    mu

    公司的总图:规则、标准、日志和仓库索引。

    CC BY 4.0, AGPL-3.0, MPL-2.0 · github.com/piabrota/mu提交 35 人类 · 72 智能体
  • 还没有网站Bash自有

    dojo

    总仓库:把每个产品固定在一个版本。dojo 没有产品代码。

    MPL-2.0 · github.com/piabrota/dojo提交 8 人类 · 0 智能体
  • 还没有网站Markdown自有

    .github

    组织的主页,有项目表、图和资助链接。

    MPL-2.0 · github.com/piabrota/.github提交 25 人类 · 6 智能体

思考和写作6

  • 即将上线Rust自有

    pirsig

    第二大脑:PARA 和卡片笔记。有桌面应用、REST API 和 psg 命令行工具。

    MPL-2.0 · piabrota.art/pirsig提交 47 人类 · 21 智能体
  • 已上线Rust自有

    gramatico

    改写巴西葡萄牙语技术文字,让人读一遍就懂。它是 Claude Code 插件。

    MPL-2.0 · piabrota.github.io/gramatico提交 142 人类 · 0 智能体
  • 已上线Markdown, Gleam个人

    closed-source

    The god that failed:一本书。它说明闭源为什么不能起到保护作用,先讲科学领域。

    CC BY 4.0, AGPL-3.0 · h0ffmann.github.io/closed-source
  • 已上线Gleam自有

    skills

    一套给智能体用的技能。

    MPL-2.0 · skills.piabrota.art提交 22 人类 · 23 智能体
  • 已上线Nix自有

    hermes

    Nous Research 的 Hermes Agent,运行在 VPS 上,在 Telegram 和 Discord 上使用 Claude。它的配置以纯 YAML 显示。

    MIT, MPL-2.0 · piabrota.art/hermes
  • 还没有网站Markdown, Python个人

    awesome-neurosymbolic-ai

    一份精选清单,收录神经符号 AI 的框架、推理器、论文、课程和基准。神经符号 AI 把神经网络学习和符号推理结合在一起。

    CC0-1.0 · h0ffmann/awesome-neurosymbolic-ai

警报和托管6

  • 即将上线Rust自有

    alerts

    只使用官方来源的警报,发送到 Discord 和 Atom 订阅(CAP 1.2)。先覆盖巴西南部的洪水。

    MPL-2.0 · piabrota.art/alerts提交 48 人类 · 0 智能体
  • 还没有网站Rust自有

    rax

    Rustic Agentic Runtime:用纯 Rust 重写 AX。AX 负责安排智能体任务。

    MPL-2.0 · github.com/piabrota/rax提交 17 人类 · 18 智能体
  • 还没有网站Bash自有

    agents

    小型智能体。它们监视 nix-os 和服务器,并以 piabrota-ops 的身份在 GitHub 上报告。它们打开 pull request,从不合并。

    MPL-2.0 · github.com/piabrota/agents提交 21 人类 · 0 智能体
  • 已上线Nix自有

    nix-os

    小服务器的 NixOS 配置。这台服务器提供 piabrota.art。

    MPL-2.0 · piabrota.art/nixos提交 104 人类 · 63 智能体
  • 还没有网站Python个人

    astrbot_dw_ext_br_south_disaster

    巴西南部(RS、SC、PR)灾害扩展,用于 AstrBot 插件 astrbot_plugin_disaster_warning。

    MPL-2.0 · h0ffmann/astrbot_dw_ext_br_south_disaster
  • 还没有网站Python个人

    astrbot_dw_ext_br_south_waterq

    巴西南部(RS、SC、PR)海滩水质警报。它是 astrbot_plugin_disaster_warning 的扩展。

    MPL-2.0 · h0ffmann/astrbot_dw_ext_br_south_waterq

娱乐2

  • 即将上线Rust, planned自有

    ihero

    FOSS 音乐播放器和游戏,用 Rust 编写。即将推出:仓库现在只有许可证。

    MPL-2.0 · github.com/piabrota/ihero提交 1 人类 · 0 智能体
  • 已上线TypeScript个人

    ondecomer

    一个列出巴西餐厅的网站,可按类别、位置等筛选。目前只覆盖里约热内卢市。

    Apache-2.0 · aracyla.github.io/onde-comer

孵化中2

  • 已上线Lean, Python, Rust个人

    proof

    用 Lean 4 编写并证明的规范,用 Haskell 和 Rust 写的实现会对照规范检查,还有带论文的数据实验。

    MPL-2.0 · proof.piabrota.art
  • 还没有网站Rust个人

    chaceon

    用 Rust 重写的 WW3。WW3 是波浪物理模型。ondaseventos.ufsc.br 和 NOAA 使用 WW3。

    MPL-2.0 · h0ffmann/chaceon

结构

来自 piabrota/mu 和 piabrota/dojo
piabrota 的结构图:dojo 是公共层。dojo 接收 mu 的规则,并固定下面的每个仓库。
  • 公共层

    dojo

    总仓库:dojo 把每个仓库固定在一个版本。dojo 有一张路由表。dojo 使用 mu 的规则。dojo 没有产品代码。

  • 公司的总图

    mu

    这里有规则、章程、标准和仓库索引。mu 把规则交给 dojo。

  • 每个产品一个仓库

    产品

    每个产品都有自己的 README、许可证和检查。要改产品,就在它的仓库里改。

  • 大脑

    pirsig

    pirsig 保存笔记和 PARA。pirsig 也记录重要的决定。

为什么开放

来自 piabrota/.github
  • 阅读、使用,然后自己做。

    你可以阅读或使用 piabrota 的仓库,然后产生自己的想法。这些仓库是活的文档。它们也证明了幕后有人在工作。其他人可以用它们做自己的项目。

  • 用 Claude Code 制作,走向 FOSS。

    大多数时候,Claude Code 制作 piabrota 的项目。我们也一直在努力,让 piabrota 平台成为 [F]OSS。

  • 这是一种理念,不只是省钱。

    我们节省 token,并在 Ollama 和 Ollaya 上使用开放模型。这样,我们用开放软件制作开放软件。我们让这件事尽量自动,也尽量便宜。

规则

来自 piabrota/mu,DOGMA.md

这是十条规则。公司的每个仓库、每个人和每个智能体都必须遵守。

  1. 智能体修复每个错误。 用户或所有者报告的错误就是目标。智能体接下目标,用一个 pull request 完成它。
  2. 有证明才写测试。 只有一种情况才写测试:测试能重现真实的故障。没有修复时,测试失败。有修复时,测试通过。
  3. 判断要靠决定。 智能体的结果、证据和完成标准进入决策模型。模型给出可信的概率。决策引擎用人写的规则作出最终判断。
  4. 规则属于人。 人写决策引擎的规则,并批准方向。智能体在规则内决定。规则外,智能体必须停下来询问。人来合并。
  5. 大脑就是记录。 公司在 pirsig 里管理。pirsig 保存笔记、PARA 和每个重要决定的结果。
  6. 默认开放,可以重现。 每个项目都是 FOSS,都有自己的仓库和许可证。代码开放,方法也开放。优先使用 Rust。图表用 archify 画,样稿用 OpenPencil 做。任何人都可以重新生成它们。
  7. 说明来源。 借用之前先阅读。只按许可证重用作品,并保留声明。伙伴的名字和标志属于伙伴。
  8. 保护只能更强。 不要削弱审批、沙箱、策略或规则集。不要读取、打印或保存密钥。
  9. 例行任务可以在任何地方运行。 例行任务可以在开发者的个人电脑上运行,使用本地模型(Ollama、Ollaya)。我们也完整支持 Anthropic(Claude Code、Claude API)和 Kimi。
  10. 目前,生产环境可以出错。 生产环境出错不是问题,但必须能快速修好。重要的是修复时间,不是出错次数。

FOSS 清单

gh repo view,2026-11-01

19 个项目。“自有”是组织的仓库。“个人”是一个人维护的仓库,dojo 固定它的版本。

  1. mu

    还没有网站

    公司的总图:规则、标准、日志和仓库索引。

    来源
    自有
    语言
    Markdown, Bash
    许可证
    CC BY 4.0, AGPL-3.0, MPL-2.0
    最后推送
    2026-11-01
    提交
    35 人类 · 72 智能体
  2. dojo

    还没有网站

    总仓库:把每个产品固定在一个版本。dojo 没有产品代码。

    来源
    自有
    语言
    Bash
    许可证
    MPL-2.0
    最后推送
    2026-11-01
    提交
    8 人类 · 0 智能体
  3. .github

    还没有网站

    组织的主页,有项目表、图和资助链接。

    来源
    自有
    语言
    Markdown
    许可证
    MPL-2.0
    最后推送
    2026-11-01
    提交
    25 人类 · 6 智能体
  4. pirsig

    即将上线

    第二大脑:PARA 和卡片笔记。有桌面应用、REST API 和 psg 命令行工具。

    来源
    自有
    语言
    Rust
    许可证
    MPL-2.0
    最后推送
    2026-10-30
    提交
    47 人类 · 21 智能体
  5. gramatico

    已上线

    改写巴西葡萄牙语技术文字,让人读一遍就懂。它是 Claude Code 插件。

    来源
    自有
    语言
    Rust
    许可证
    MPL-2.0
    最后推送
    2026-10-30
    提交
    142 人类 · 0 智能体
  6. closed-source

    已上线

    The god that failed:一本书。它说明闭源为什么不能起到保护作用,先讲科学领域。

    来源
    个人
    语言
    Markdown, Gleam
    许可证
    CC BY 4.0, AGPL-3.0
    最后推送
    2026-10-27
  7. skills

    已上线

    一套给智能体用的技能。

    来源
    自有
    语言
    Gleam
    许可证
    MPL-2.0
    最后推送
    2026-11-01
    提交
    22 人类 · 23 智能体
  8. hermes

    已上线

    Nous Research 的 Hermes Agent,运行在 VPS 上,在 Telegram 和 Discord 上使用 Claude。它的配置以纯 YAML 显示。

    来源
    自有
    语言
    Nix
    许可证
    MIT, MPL-2.0
    最后推送
    2026-11-03
  9. awesome-neurosymbolic-ai

    还没有网站

    一份精选清单,收录神经符号 AI 的框架、推理器、论文、课程和基准。神经符号 AI 把神经网络学习和符号推理结合在一起。

    来源
    个人
    语言
    Markdown, Python
    许可证
    CC0-1.0
    最后推送
    2026-11-08
  10. alerts

    即将上线

    只使用官方来源的警报,发送到 Discord 和 Atom 订阅(CAP 1.2)。先覆盖巴西南部的洪水。

    来源
    自有
    语言
    Rust
    许可证
    MPL-2.0
    最后推送
    2026-11-01
    提交
    48 人类 · 0 智能体
  11. rax

    还没有网站

    Rustic Agentic Runtime:用纯 Rust 重写 AX。AX 负责安排智能体任务。

    来源
    自有
    语言
    Rust
    许可证
    MPL-2.0
    最后推送
    2026-10-31
    提交
    17 人类 · 18 智能体
  12. agents

    还没有网站

    小型智能体。它们监视 nix-os 和服务器,并以 piabrota-ops 的身份在 GitHub 上报告。它们打开 pull request,从不合并。

    来源
    自有
    语言
    Bash
    许可证
    MPL-2.0
    最后推送
    2026-11-01
    提交
    21 人类 · 0 智能体
  13. nix-os

    已上线

    小服务器的 NixOS 配置。这台服务器提供 piabrota.art。

    来源
    自有
    语言
    Nix
    许可证
    MPL-2.0
    最后推送
    2026-10-31
    提交
    104 人类 · 63 智能体
  14. astrbot_dw_ext_br_south_disaster

    还没有网站

    巴西南部(RS、SC、PR)灾害扩展,用于 AstrBot 插件 astrbot_plugin_disaster_warning。

    来源
    个人
    语言
    Python
    许可证
    MPL-2.0
    最后推送
    2026-10-31
  15. astrbot_dw_ext_br_south_waterq

    还没有网站

    巴西南部(RS、SC、PR)海滩水质警报。它是 astrbot_plugin_disaster_warning 的扩展。

    来源
    个人
    语言
    Python
    许可证
    MPL-2.0
    最后推送
    2026-10-31
  16. ihero

    即将上线

    FOSS 音乐播放器和游戏,用 Rust 编写。即将推出:仓库现在只有许可证。

    来源
    自有
    语言
    Rust, planned
    许可证
    MPL-2.0
    最后推送
    2026-11-01
    提交
    1 人类 · 0 智能体
  17. ondecomer

    已上线

    一个列出巴西餐厅的网站,可按类别、位置等筛选。目前只覆盖里约热内卢市。

    来源
    个人
    语言
    TypeScript
    许可证
    Apache-2.0
    最后推送
    2026-11-06
  18. proof

    已上线

    用 Lean 4 编写并证明的规范,用 Haskell 和 Rust 写的实现会对照规范检查,还有带论文的数据实验。

    来源
    个人
    语言
    Lean, Python, Rust
    许可证
    MPL-2.0
    最后推送
    2026-11-09
  19. chaceon

    还没有网站

    用 Rust 重写的 WW3。WW3 是波浪物理模型。ondaseventos.ufsc.br 和 NOAA 使用 WW3。

    来源
    个人
    语言
    Rust
    许可证
    MPL-2.0
    最后推送
    2026-11-09

团队

来自 GitHub 公开资料

这些人在制作 piabrota。

伙伴

标志来自 GitHub

Fork,一份 PUBLIC 清单

gh repo list piabrota --fork

piabrota 的全部 fork:14。每个 fork 都是 PUBLIC。GitHub 让公开仓库的 fork 保持公开。Fork 是别人作品的副本。我们用它来阅读、学习或回馈。

  • 2026
    piabrota/archify

    fork 于 2026-10-26开始于 2026Apache-2.014 behind upstreamJavaScript来自 tt-a1i/archify. Turn any idea, plan, or codebase into a beautiful interactive diagram. An agent skill for Claude Code, Codex, and more.

  • 2026
    piabrota/asgard

    fork 于 2026-11-01开始于 2026AGPL-3.0even with upstreamPython来自 ouroboric-dev/asgard. Asgard: the company factory, running on Yggdrasil. (Design phase.)

  • 2026
    piabrota/axon

    fork 于 2026-10-30开始于 2026MITeven with upstreamRust来自 danieltamas/axon. Axon reads the logs your AI coding-agent harnesses already write — Claude Code, Codex, OpenCode — and shows which harness, project, agent, and model is working, how fast, at what cost, and how much code it's producing.

  • 2026
    piabrota/bton

    fork 于 2026-10-30开始于 2026MIT11 behind upstreamSwift来自 danieltamas/bton. Bton runs your team's review flow with coding agents, from the macOS menu bar.

  • 2026
    piabrota/cloudroom

    fork 于 2026-11-01开始于 2026Apache-2.02 behind upstreamTypeScript来自 davidondrej/cloudroom. cloudroom is the open-source platform to run 1,000+ agents productively

  • 2026
    piabrota/core

    fork 于 2026-10-26开始于 2013Apache-2.0810 behind upstreamPython来自 home-assistant/core. Open source home automation that puts local control and privacy first.

  • 2026
    piabrota/graphify

    fork 于 2026-10-26开始于 2026Apache-2.0179 behind upstreamPython来自 Graphify-Labs/graphify. Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing, every edge explained, no vector store.

  • 2026
    piabrota/lean_kernel_verify

    fork 于 2026-10-31开始于 2026MITeven with upstreamPython来自 facebookresearch/lean_kernel_verify. Compiler-based safety checker for GPU kernels. It lowers the real compiler's IR into a small kernel IR and decides specs in Lean 4 (bounds, hangs, exactly-once writes, barrier protocol, races) with no hand-written model. Specs and frontends plug in independently; today Triton/TLX and CuTe DSL on NVIDIA Blackwell.

  • 2026
    piabrota/pgx

    fork 于 2026-10-30开始于 2026AGPL-3.0even with upstreamRust来自 pgrundev/pgx. PGX — Lightweight Postgres for AI agents. Written in Rust. Thousands of isolated databases in one runtime. 🐘

  • 2026
    piabrota/relay

    fork 于 2026-10-31开始于 2026MITeven with upstreamGo来自 ronaknnathani/relay. Skills to orchestrate coding agents to do long horizon tasks with little to no steering

  • 2026
    piabrota/rust-cuda

    fork 于 2026-10-26开始于 2021Apache-2.0even with upstreamRust来自 Rust-GPU/rust-cuda. Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.

  • 2026
    piabrota/skills

    fork 于 2026-11-01开始于 2026MITeven with upstreamShell来自 davidondrej/skills. access to david ondrej's personal agent skills

  • 2026
    piabrota/TencentDB-Agent-Memory

    fork 于 2026-10-30开始于 2026see upstreameven with upstreamTypeScript来自 TencentCloud/TencentDB-Agent-Memory. TencentDB Agent Memory is a team-level memory hub for AI Agents — turning conversations, docs, and code into four reusable memory assets (Chat Memory, Skill, LLM-Wiki, Code-Graph) that are governed, shared, and equipped across agents and frameworks.

  • 2026
    piabrota/yggdrasil

    fork 于 2026-11-01开始于 2026AGPL-3.0even with upstreamPython来自 ouroboric-dev/yggdrasil. Yggdrasil: an open software factory. Agents build, humans steer. (Design phase.)