Esta página é uma tradução. Em caso de diferença, vale a versão em inglês.

fábrica de software aberto · feita no RJ

Software aberto, feito no Rio de Janeiro.

Cada projeto é um repositório próprio, com README, licença e testes próprios. O código é aberto, e o método também.

projetos FOSS
19
forks
14
pessoas
3
invariantes
10
  • 7 no ar
  • 3 em breve
  • 9 ainda sem site
a marca do piabrota

Nos próprios endereços

servidos pela piabrota2
  • OpenRig

    A interface web do OpenRig, o motor da fábrica de software: os assentos de quem constrói e de quem revisa, e os terminais deles.

    rig.piabrota.art ↗
  • metricspúblico

    Processos, memória e vCPU dos dois hosts, lidos a cada 10 segundos.

    metrics.piabrota.art ↗
  • roompúblico

    piabrota/room: um quarto em 3D com planos de câmera, um videocassete, uma janela para o Rio e a piabrota RADIO.

    room.piabrota.art ↗
  • ▲ gridpúblico

    A décima vista do quarto, com nome próprio: a costa brasileira em triângulos, com 24 h de mar e a temperatura dele.

    grid.piabrota.art ↗
  • proofpúblico

    Todas as páginas HTML de h0ffmann/proof: especificações, relatórios do Z3 e diagramas.

    proof.piabrota.art ↗
  • pirsigpúblico

    As notas de vídeo e as figuras de piabrota/pirsig, o segundo cérebro.

    pirsig.piabrota.art ↗

Projetos

de piabrota/.github

Cada faixa é um tipo de trabalho. Clique em um cartão para abrir o site do projeto ou, sem site, o repositório.

a empresa3

  • ainda sem siteMarkdown, Bashpróprio

    mu

    O chart da empresa: o dogma, os padrões, o diário e o índice dos repositórios da org.

    CC BY 4.0, AGPL-3.0, MPL-2.0 · github.com/piabrota/mucommits 35 humano · 72 agente
  • ainda sem siteBashpróprio

    dojo

    O umbrella: cada produto como submódulo em um commit fixado, a tabela de rotas e as ferramentas próprias. O dojo não guarda código de produto.

    MPL-2.0 · github.com/piabrota/dojocommits 8 humano · 0 agente
  • ainda sem siteMarkdownpróprio

    .github

    O perfil da org, com a tabela de projetos, a figura da fábrica e os links de financiamento.

    MPL-2.0 · github.com/piabrota/.githubcommits 25 humano · 6 agente

pensar e escrever6

  • em breveRustpróprio

    pirsig

    Um segundo cérebro: PARA e um slip-box Zettelkasten no mesmo lugar. App de desktop, API REST e a CLI psg.

    MPL-2.0 · piabrota.art/pirsigcommits 47 humano · 21 agente
  • no arRustpróprio

    gramatico

    Reescreve texto técnico em português brasileiro para leitura única. É um plugin do Claude Code.

    MPL-2.0 · piabrota.github.io/gramaticocommits 142 humano · 0 agente
  • no arMarkdown, Gleampessoal

    closed-source

    The god that failed: um livro sobre por que o código fechado falhou como proteção, a começar pela ciência.

    CC BY 4.0, AGPL-3.0 · h0ffmann.github.io/closed-source
  • no arGleampróprio

    skills

    Um canivete suíço de skills para agentes.

    MPL-2.0 · skills.piabrota.artcommits 22 humano · 23 agente
  • no arNixpróprio

    hermes

    O Hermes Agent, da Nous Research, na VPS, com o Claude no Telegram e no Discord. A configuração dele, em YAML simples.

    MIT, MPL-2.0 · piabrota.art/hermes
  • ainda sem siteMarkdown, Pythonpessoal

    awesome-neurosymbolic-ai

    Uma lista curada de frameworks, raciocinadores, artigos, cursos e benchmarks de IA neurossimbólica: aprendizado neural com raciocínio simbólico.

    CC0-1.0 · h0ffmann/awesome-neurosymbolic-ai

alertar e hospedar6

  • em breveRustpróprio

    alerts

    Alertas só de fontes oficiais, para o Discord e um feed Atom com CAP 1.2. Primeiro risco: enchentes no Sul do Brasil.

    MPL-2.0 · piabrota.art/alertscommits 48 humano · 0 agente
  • ainda sem siteRustpróprio

    rax

    Rustic Agentic Runtime: um port em Rust puro do AX, o orquestrador declarativo de tarefas agênticas.

    MPL-2.0 · github.com/piabrota/raxcommits 17 humano · 18 agente
  • ainda sem siteBashpróprio

    agents

    Agentes pequenos que vigiam o nix-os e a VPS, e relatam no GitHub como piabrota-ops. Os agentes abrem pull requests e nunca fazem merge.

    MPL-2.0 · github.com/piabrota/agentscommits 21 humano · 0 agente
  • no arNixpróprio

    nix-os

    A configuração NixOS da pequena VPS que serve o piabrota.art. O critério de julgamento é a closure.

    MPL-2.0 · piabrota.art/nixoscommits 104 humano · 63 agente
  • ainda sem sitePythonpessoal

    astrbot_dw_ext_br_south_disaster

    Extensão de desastres do Sul do Brasil (RS, SC, PR) para o plugin astrbot_plugin_disaster_warning do AstrBot.

    MPL-2.0 · h0ffmann/astrbot_dw_ext_br_south_disaster
  • ainda sem sitePythonpessoal

    astrbot_dw_ext_br_south_waterq

    Alertas de balneabilidade do Sul do Brasil (RS, SC, PR). Uma extensão para o astrbot_plugin_disaster_warning.

    MPL-2.0 · h0ffmann/astrbot_dw_ext_br_south_waterq

tocar2

  • em breveRust, plannedpróprio

    ihero

    Um player de música e jogo FOSS, em Rust. Em breve: o repositório só tem a licença.

    MPL-2.0 · github.com/piabrota/iherocommits 1 humano · 0 agente
  • no arTypeScriptpessoal

    ondecomer

    Um site que lista os restaurantes do Brasil, com filtros por categoria, localização e mais. Por enquanto cobre só a cidade do Rio de Janeiro.

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

em incubação2

  • no arLean, Python, Rustpessoal

    proof

    Especificações escritas e provadas em Lean 4, com implementações em Haskell e Rust conferidas contra elas, e experimentos de dados com artigos.

    MPL-2.0 · proof.piabrota.art
  • ainda sem siteRustpessoal

    chaceon

    Port em Rust do WW3, o modelo de física de ondas usado pelo ondaseventos.ufsc.br e pela NOAA.

    MPL-2.0 · h0ffmann/chaceon

Estrutura

de piabrota/mu e piabrota/dojo
A fábrica piabrota: o dojo é a camada comum, recebe as regras do mu e fixa cada repositório abaixo dele.
  • a camada comum

    dojo

    O umbrella: cada repositório como submódulo em um commit fixado, e uma tabela de rotas. O dojo herda as regras do mu e não guarda código de produto.

  • o chart da empresa

    mu

    O dogma, a carta, os padrões e o índice dos repositórios. O mu passa as regras ao dojo.

  • cada um no próprio repositório

    os produtos

    Cada produto tem README, licença e verificações próprios. Uma mudança em um produto acontece no repositório dele.

  • o cérebro

    pirsig

    Notas inteligentes, PARA e um histórico das decisões de alto nível.

Por que é aberto

de piabrota/.github
  • Leia, use e construa o seu.

    Você pode ter as suas próprias ideias lendo ou usando os repositórios do piabrota. Os repositórios são documentação viva e prova do trabalho humano nos bastidores. Com eles, outras pessoas podem construir o próprio projeto.

  • Feito com Claude Code, a caminho do FOSS.

    O Claude Code constrói os projetos do piabrota na maior parte do tempo. Mesmo assim, mantemos um esforço permanente para tornar a plataforma piabrota [F]OSS.

  • Uma filosofia, não só uma economia.

    A otimização de tokens e os modelos abertos, no Ollama e no Ollaya, são a nossa forma de construir software aberto sobre software aberto, da forma mais agêntica e acessível possível.

Dogma

de piabrota/mu, DOGMA.md

Os dez invariantes. Eles valem para todo repositório, toda pessoa e todo agente da empresa.

  1. Agentes corrigem todo erro. Um erro relatado por um usuário ou por um dono é uma meta. Um agente assume o erro e fecha a meta curta com um pull request.
  2. Sem testes, salvo com prova. Escreva um teste só quando ele for uma proteção comprovada contra regressão: o teste reproduz uma falha real, falha sem a correção e passa com ela.
  3. O julgamento é orientado a decisão. A saída do agente, as evidências e a definição de pronto vão para um modelo de decisão. O modelo entrega probabilidades calibradas a um motor de decisão, com regras definidas por humanos, e o motor dá o veredito final.
  4. Humanos são donos das regras. Humanos escrevem as regras do motor de decisão e aprovam a direção. Agentes decidem dentro dessas regras, e fora delas param e perguntam. Humanos fazem o merge.
  5. O cérebro é o registro. O pirsig gerencia a empresa: notas inteligentes, PARA e um histórico de cada decisão de alto nível com o resultado.
  6. Aberto e reproduzível por padrão. Todo projeto é FOSS, com repositório e licença próprios. O código é aberto, e o método também. Rust vem primeiro. Todo gráfico usa archify e todo mockup usa OpenPencil, a partir de uma fonte que qualquer pessoa pode rodar de novo.
  7. Dê crédito ao que tomamos. Leia antes de pegar emprestado. Reutilize um trabalho só como a licença permite, e mantenha os avisos. O nome e o logo de um parceiro continuam do parceiro.
  8. Proteções só ficam mais fortes. Nunca enfraqueça um ponto de aprovação, um sandbox, uma política ou um ruleset. Nunca leia, imprima ou guarde um segredo.
  9. Rotinas rodam em qualquer lugar. Uma rotina agêntica pode rodar no computador pessoal de quem desenvolve, com modelos locais (Ollama, Ollaya). A Anthropic tem suporte de primeira classe (Claude Code, Claude API), e a Kimi também.
  10. Prod pode quebrar, por enquanto. Quebrar prod não é um problema, desde que a correção seja rápida. O que conta é o tempo de correção, não o número de quebras.

Inventário FOSS

gh repo view, 2026-11-01

19 projetos. Próprio significa repositório da org. Pessoal significa repositório que o dojo fixa e que uma pessoa mantém.

  1. mu

    ainda sem site

    O chart da empresa: o dogma, os padrões, o diário e o índice dos repositórios da org.

    origem
    próprio
    linguagem
    Markdown, Bash
    licença
    CC BY 4.0, AGPL-3.0, MPL-2.0
    último push
    2026-11-01
    commits
    35 humano · 72 agente
  2. dojo

    ainda sem site

    O umbrella: cada produto como submódulo em um commit fixado, a tabela de rotas e as ferramentas próprias. O dojo não guarda código de produto.

    origem
    próprio
    linguagem
    Bash
    licença
    MPL-2.0
    último push
    2026-11-01
    commits
    8 humano · 0 agente
  3. .github

    ainda sem site

    O perfil da org, com a tabela de projetos, a figura da fábrica e os links de financiamento.

    origem
    próprio
    linguagem
    Markdown
    licença
    MPL-2.0
    último push
    2026-11-01
    commits
    25 humano · 6 agente
  4. pirsig

    em breve

    Um segundo cérebro: PARA e um slip-box Zettelkasten no mesmo lugar. App de desktop, API REST e a CLI psg.

    origem
    próprio
    linguagem
    Rust
    licença
    MPL-2.0
    último push
    2026-10-30
    commits
    47 humano · 21 agente
  5. gramatico

    no ar

    Reescreve texto técnico em português brasileiro para leitura única. É um plugin do Claude Code.

    origem
    próprio
    linguagem
    Rust
    licença
    MPL-2.0
    último push
    2026-10-30
    commits
    142 humano · 0 agente
  6. closed-source

    no ar

    The god that failed: um livro sobre por que o código fechado falhou como proteção, a começar pela ciência.

    origem
    pessoal
    linguagem
    Markdown, Gleam
    licença
    CC BY 4.0, AGPL-3.0
    último push
    2026-10-27
  7. skills

    no ar

    Um canivete suíço de skills para agentes.

    origem
    próprio
    linguagem
    Gleam
    licença
    MPL-2.0
    último push
    2026-11-01
    commits
    22 humano · 23 agente
  8. hermes

    no ar

    O Hermes Agent, da Nous Research, na VPS, com o Claude no Telegram e no Discord. A configuração dele, em YAML simples.

    origem
    próprio
    linguagem
    Nix
    licença
    MIT, MPL-2.0
    último push
    2026-11-03
  9. awesome-neurosymbolic-ai

    ainda sem site

    Uma lista curada de frameworks, raciocinadores, artigos, cursos e benchmarks de IA neurossimbólica: aprendizado neural com raciocínio simbólico.

    origem
    pessoal
    linguagem
    Markdown, Python
    licença
    CC0-1.0
    último push
    2026-11-08
  10. alerts

    em breve

    Alertas só de fontes oficiais, para o Discord e um feed Atom com CAP 1.2. Primeiro risco: enchentes no Sul do Brasil.

    origem
    próprio
    linguagem
    Rust
    licença
    MPL-2.0
    último push
    2026-11-01
    commits
    48 humano · 0 agente
  11. rax

    ainda sem site

    Rustic Agentic Runtime: um port em Rust puro do AX, o orquestrador declarativo de tarefas agênticas.

    origem
    próprio
    linguagem
    Rust
    licença
    MPL-2.0
    último push
    2026-10-31
    commits
    17 humano · 18 agente
  12. agents

    ainda sem site

    Agentes pequenos que vigiam o nix-os e a VPS, e relatam no GitHub como piabrota-ops. Os agentes abrem pull requests e nunca fazem merge.

    origem
    próprio
    linguagem
    Bash
    licença
    MPL-2.0
    último push
    2026-11-01
    commits
    21 humano · 0 agente
  13. nix-os

    no ar

    A configuração NixOS da pequena VPS que serve o piabrota.art. O critério de julgamento é a closure.

    origem
    próprio
    linguagem
    Nix
    licença
    MPL-2.0
    último push
    2026-10-31
    commits
    104 humano · 63 agente
  14. astrbot_dw_ext_br_south_disaster

    ainda sem site

    Extensão de desastres do Sul do Brasil (RS, SC, PR) para o plugin astrbot_plugin_disaster_warning do AstrBot.

    origem
    pessoal
    linguagem
    Python
    licença
    MPL-2.0
    último push
    2026-10-31
  15. astrbot_dw_ext_br_south_waterq

    ainda sem site

    Alertas de balneabilidade do Sul do Brasil (RS, SC, PR). Uma extensão para o astrbot_plugin_disaster_warning.

    origem
    pessoal
    linguagem
    Python
    licença
    MPL-2.0
    último push
    2026-10-31
  16. ihero

    em breve

    Um player de música e jogo FOSS, em Rust. Em breve: o repositório só tem a licença.

    origem
    próprio
    linguagem
    Rust, planned
    licença
    MPL-2.0
    último push
    2026-11-01
    commits
    1 humano · 0 agente
  17. ondecomer

    no ar

    Um site que lista os restaurantes do Brasil, com filtros por categoria, localização e mais. Por enquanto cobre só a cidade do Rio de Janeiro.

    origem
    pessoal
    linguagem
    TypeScript
    licença
    Apache-2.0
    último push
    2026-11-06
  18. proof

    no ar

    Especificações escritas e provadas em Lean 4, com implementações em Haskell e Rust conferidas contra elas, e experimentos de dados com artigos.

    origem
    pessoal
    linguagem
    Lean, Python, Rust
    licença
    MPL-2.0
    último push
    2026-11-09
  19. chaceon

    ainda sem site

    Port em Rust do WW3, o modelo de física de ondas usado pelo ondaseventos.ufsc.br e pela NOAA.

    origem
    pessoal
    linguagem
    Rust
    licença
    MPL-2.0
    último push
    2026-11-09

Equipe

dos perfis públicos no GitHub

As pessoas que constroem o piabrota.

Parceiros

logos como o GitHub publica

Forks, um inventário PUBLIC

gh repo list piabrota --fork

Todos os forks do piabrota: 14. Todos são PUBLIC, porque o GitHub mantém público o fork de um repositório público. Um fork é uma cópia do trabalho de outra pessoa, guardada para leitura, estudo ou contribuição.

  • 2026
    piabrota/archify

    fork em 2026-10-26início em 2026Apache-2.014 behind upstreamJavaScriptde 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 em 2026-11-01início em 2026AGPL-3.0even with upstreamPythonde ouroboric-dev/asgard. Asgard: the company factory, running on Yggdrasil. (Design phase.)

  • 2026
    piabrota/axon

    fork em 2026-10-30início em 2026MITeven with upstreamRustde 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 em 2026-10-30início em 2026MIT11 behind upstreamSwiftde danieltamas/bton. Bton runs your team's review flow with coding agents, from the macOS menu bar.

  • 2026
    piabrota/cloudroom

    fork em 2026-11-01início em 2026Apache-2.02 behind upstreamTypeScriptde davidondrej/cloudroom. cloudroom is the open-source platform to run 1,000+ agents productively

  • 2026
    piabrota/core

    fork em 2026-10-26início em 2013Apache-2.0810 behind upstreamPythonde home-assistant/core. Open source home automation that puts local control and privacy first.

  • 2026
    piabrota/graphify

    fork em 2026-10-26início em 2026Apache-2.0179 behind upstreamPythonde 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 em 2026-10-31início em 2026MITeven with upstreamPythonde 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 em 2026-10-30início em 2026AGPL-3.0even with upstreamRustde pgrundev/pgx. PGX — Lightweight Postgres for AI agents. Written in Rust. Thousands of isolated databases in one runtime. 🐘

  • 2026
    piabrota/relay

    fork em 2026-10-31início em 2026MITeven with upstreamGode ronaknnathani/relay. Skills to orchestrate coding agents to do long horizon tasks with little to no steering

  • 2026
    piabrota/rust-cuda

    fork em 2026-10-26início em 2021Apache-2.0even with upstreamRustde Rust-GPU/rust-cuda. Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.

  • 2026
    piabrota/skills

    fork em 2026-11-01início em 2026MITeven with upstreamShellde davidondrej/skills. access to david ondrej's personal agent skills

  • 2026
    piabrota/TencentDB-Agent-Memory

    fork em 2026-10-30início em 2026see upstreameven with upstreamTypeScriptde 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 em 2026-11-01início em 2026AGPL-3.0even with upstreamPythonde ouroboric-dev/yggdrasil. Yggdrasil: an open software factory. Agents build, humans steer. (Design phase.)