⚠ この ページは 英語の ページから 翻訳(ほんやく)しました。日本語を 話す 人が まだ チェックしていません。ちがいが あるときは 英語の ページが 正しいです。

オープンな ソフトウェア工房(こうぼう) · リオで 制作

オープンな ソフトウェアを、リオデジャネイロで 作っています。

プロジェクトごとに リポジトリが あります。それぞれに README、ライセンス、テストが あります。コードは オープンです。作り方も オープンです。

FOSS プロジェクト
19
フォーク
14
人
3
ルール
10
  • 7 公開中
  • 3 もうすぐ
  • 9 サイトは まだ ありません
piabrota の マーク

それぞれの アドレス

piabrota2 が 配信
  • OpenRig

    OpenRig の Web 画面です。ソフトウェア工場の エンジンです。作る 席と レビューする 席、その ターミナルが あります。

    rig.piabrota.art ↗
  • metrics公開

    2台の ホストの プロセス、メモリ、vCPU です。10秒ごとに 読みます。

    metrics.piabrota.art ↗
  • room公開

    piabrota/room です。3D の 部屋です。カメラの 切り替え、ビデオデッキ、リオが 見える 窓、piabrota RADIO が あります。

    room.piabrota.art ↗
  • ▲ grid公開

    部屋の 10番目の ビューです。自分の 名前が あります。三角形の ブラジルの 海岸、24時間の 海と その 温度です。

    grid.piabrota.art ↗
  • proof公開

    h0ffmann/proof の すべての HTML ページです。仕様、Z3 の レポート、ダイアグラムが あります。

    proof.piabrota.art ↗
  • pirsig公開

    piabrota/pirsig の 動画の ノートと 図です。第二の 脳です。

    pirsig.piabrota.art ↗

プロジェクト

piabrota/.github から

1つの 列が 1つの 仕事です。カードを 押すと サイトが 開きます。サイトが ないときは リポジトリが 開きます。

会社3

  • サイトは まだ ありませんMarkdown, Bash自分たち

    mu

    会社の 地図です。ルール、標準、日誌、リポジトリの 一覧が あります。

    CC BY 4.0, AGPL-3.0, MPL-2.0 · github.com/piabrota/muコミット 35 人間 · 72 エージェント
  • サイトは まだ ありませんBash自分たち

    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

    ブラジルの ポルトガル語の 技術文を、1回で 読める 文に 直します。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 の フレームワーク、推論器、論文、講座、ベンチマークを 選んだ 一覧です。ニューラルな 学習と 記号の 推論を 組み合わせます。

    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 です。AX を Rust だけで 書き直しました。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

    WW3 を Rust で 書き直した ものです。WW3 は 波の 物理モデルです。ondaseventos.ufsc.br と NOAA が WW3 を 使っています。

    MPL-2.0 · h0ffmann/chaceon

しくみ

piabrota/mu と piabrota/dojo から
piabrota の 図です。dojo は 共通の 層です。mu から ルールを 受け取り、下の すべての リポジトリを まとめます。
  • 共通の 層

    dojo

    全体を まとめる リポジトリです。すべての リポジトリを 決まった 版で まとめます。道案内の 表も あります。ルールは mu から 受け取ります。製品の コードは ありません。

  • 会社の 地図

    mu

    ルール、憲章(けんしょう)、標準、リポジトリの 一覧が あります。mu は dojo に ルールを 渡します。

  • 製品ごとに 1つの リポジトリ

    製品

    製品ごとに README、ライセンス、チェックが あります。製品を 変えるときは その リポジトリで 変えます。

  • 脳(のう)

    pirsig

    メモと PARA を 持っています。大事な 決定も 記録(きろく)します。

オープンな 理由

piabrota/.github から
  • 読んで、使って、自分のを 作ろう。

    piabrota の リポジトリを 読んだり 使ったり できます。そこから 自分の アイデアが 生まれます。リポジトリは 生きた 説明書です。人が 働いた 証拠でも あります。

  • Claude Code で 作り、FOSS を 目指す。

    多くの 場合、Claude Code が piabrota の プロジェクトを 作ります。それでも、私たちは piabrota を [F]OSS に する 努力を 続けます。

  • 節約だけでは なく、考え方です。

    トークンを 節約します。Ollama と Ollaya で オープンな モデルを 使います。オープンな ソフトウェアで オープンな ソフトウェアを 作ります。できるだけ 自動で、できるだけ 安く 作ります。

ルール

piabrota/mu の DOGMA.md から

10個の ルールです。会社の すべての リポジトリ、人、エージェントが 守ります。

  1. エージェントは すべての エラーを 直す。 ユーザーや オーナーが 報告した エラーは 目標です。エージェントが 引き受けて、1つの pull request で 終わらせます。
  2. 証拠が なければ テストを 書かない。 本当に 起きた 問題を 再現する テストだけ 書きます。直す 前は 失敗します。直した 後は 成功します。
  3. 判断は 決定の ために ある。 エージェントの 結果、証拠、完了の 条件を 決定モデルに 渡します。モデルは 確率を 出します。決定エンジンは 人が 書いた ルールで 判断します。
  4. ルールは 人の もの。 ルールは 人が 書きます。方向も 人が 決めます。エージェントは ルールの 中で 決めます。ルールの 外では 止まって 聞きます。マージは 人が します。
  5. 脳が 記録(きろく)。 会社は 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 個の プロジェクトです。「自分たち」は 組織の リポジトリです。「個人」は 1人が 管理する リポジトリです。

  1. mu

    サイトは まだ ありません

    会社の 地図です。ルール、標準、日誌、リポジトリの 一覧が あります。

    種類
    自分たち
    言語
    Markdown, Bash
    ライセンス
    CC BY 4.0, AGPL-3.0, MPL-2.0
    最後の 更新
    2026-11-01
    コミット
    35 人間 · 72 エージェント
  2. 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

    公開中

    ブラジルの ポルトガル語の 技術文を、1回で 読める 文に 直します。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 の フレームワーク、推論器、論文、講座、ベンチマークを 選んだ 一覧です。ニューラルな 学習と 記号の 推論を 組み合わせます。

    種類
    個人
    言語
    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 です。AX を Rust だけで 書き直しました。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

    サイトは まだ ありません

    WW3 を Rust で 書き直した ものです。WW3 は 波の 物理モデルです。ondaseventos.ufsc.br と NOAA が WW3 を 使っています。

    種類
    個人
    言語
    Rust
    ライセンス
    MPL-2.0
    最後の 更新
    2026-11-09

チーム

GitHub の 公開情報から

piabrota を 作っている 人たちです。

パートナー

ロゴは GitHub の ものです

フォーク、PUBLIC の 一覧

gh repo list piabrota --fork

piabrota の すべての フォーク:14個。すべて PUBLIC です。公開の リポジトリの フォークは 公開のままです。フォークは ほかの 人の 作品の コピーです。読む、学ぶ、お返しを する ために 持っています。

  • 2026
    piabrota/archify

    フォーク 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

    フォーク 2026-11-01開始 2026AGPL-3.0even with upstreamPython元(もと):ouroboric-dev/asgard. Asgard: the company factory, running on Yggdrasil. (Design phase.)

  • 2026
    piabrota/axon

    フォーク 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

    フォーク 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

    フォーク 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

    フォーク 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

    フォーク 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

    フォーク 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

    フォーク 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

    フォーク 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

    フォーク 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

    フォーク 2026-11-01開始 2026MITeven with upstreamShell元(もと):davidondrej/skills. access to david ondrej's personal agent skills

  • 2026
    piabrota/TencentDB-Agent-Memory

    フォーク 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

    フォーク 2026-11-01開始 2026AGPL-3.0even with upstreamPython元(もと):ouroboric-dev/yggdrasil. Yggdrasil: an open software factory. Agents build, humans steer. (Design phase.)