piabrota

piabrota.art · open software fabric · made in RJ

piabrota · what answers where

Some projects answer here, on a path of piabrota.art; the rest live on their own sites or in their repositories.

FOSS projects
19
forks
14
people
3
invariants
10
  • 7 live
  • 3 coming
  • 9 no site yet
List the paths ↓GitHub ↗Sponsor ♥
无, mu, brushed in its four strokes
无 · mu, no thing

Paths

ls, two places
piabrota.art — ls

$ ls piabrota.art/

  • /pirsigpirsigcomingcommits 47 human · 21 agent
  • /hermeshermeslive
  • /alertsalertscomingcommits 48 human · 0 agent
  • /nixosnix-oslivecommits 104 human · 63 agent

$ ls elsewhere/

Structure

from piabrota/mu and piabrota/dojo
The piabrota fabric: dojo is the common layer, it takes the rules from mu and pins every repository below it.
  • the common layer

    dojo

    The umbrella: every repository as a submodule at a pinned commit, and one routing table. It inherits the rules from mu, and it holds no product code.

  • the company chart

    mu

    The dogma, the charter, the standards and the index of the repositories. It gives dojo the rules.

  • each in its own repository

    the products

    Each has its own README, licence and checks. A change to a product is made in that repository.

  • the brain

    pirsig

    Smart notes, PARA and a track record of the high-level decisions.

Why it is open

from piabrota/.github

  • Read it, use it, and build your own.

    You can have your own ideas by reading or using piabrota's repositories. They are live documentation, and proof of the human work behind the scenes, so that others can build their own.

  • Built with Claude Code, on the way to FOSS.

    Claude Code builds piabrota's projects most of the time, but we keep a permanent effort to make the piabrota platform [F]OSS.

  • A philosophy, not only a saving.

    Token optimization and open-source models, on Ollama and Ollaya, are how we build open-source software on open-source software, as agentic and as affordable as possible.

Dogma

from piabrota/mu, DOGMA.md

The ten invariants. They bind every repo, every person and every agent in the company.

  1. Agents fix every error. An error a user or an owner reports is a goal. An agent takes it and closes it as a short-sized goal: one pull request.
  2. No tests, unless proven. Write a test only when it is a proven regression guardrail: it reproduces a failure that happened, it fails without the fix, and it passes with it.
  3. Judgement is decision-oriented. Agent output, evidence and a definition of done go to a decision model. It gives calibrated probabilities to a decision engine, with rules that humans define, and the final verdict is an agentic decision.
  4. Humans own the rules. Humans write the rules of the decision engine and approve direction. Agents decide inside those rules, and stop and ask outside them. Humans merge.
  5. The brain is the record. The company is managed in pirsig: smart notes, PARA, and a track record of every high-level decision with its outcome.
  6. Open and reproducible by default. Every project is FOSS, in its own repository, with its own licence. The source is open, and so is the method. Rust comes first. Every plot is drawn with archify and every mockup with OpenPencil, from a source anyone can run again.
  7. Credit what we take. Read before you borrow. Reuse work only as its licence allows, and keep its notices. A partner's name and logo stay theirs.
  8. Guardrails only get stronger. Never weaken an approval point, a sandbox, a policy or a ruleset. Never read, print or store a secret.
  9. Routines run anywhere. An agentic routine may run on a developer's personal computer, on local models (Ollama, Ollaya). Anthropic has first-class support (Claude Code, the Claude API), and so does Kimi.
  10. Prod may break, for now. Breaking prod is not a problem, as long as it can be fixed quickly. What counts is the time to fix, not the number of breaks.

FOSS inventory

gh repo view, 2026-11-01

19 projects. Own means the org's repository; personal means a repository that dojo pins and a person keeps.

  1. mu

    no site yet

    The company chart: the dogma, the standards, the journal and the index of the org's repositories.

    origin
    own
    language
    Markdown, Bash
    licence
    CC BY 4.0, AGPL-3.0, MPL-2.0
    last push
    2026-11-01
    commits
    35 human · 72 agent
    repository ↗github.com/piabrota/mu

  2. dojo

    no site yet

    The umbrella: every product as a submodule at a pinned commit, the routing table and its own tooling. It holds no product code.

    origin
    own
    language
    Bash
    licence
    MPL-2.0
    last push
    2026-11-01
    commits
    8 human · 0 agent
    repository ↗github.com/piabrota/dojo

  3. .github

    no site yet

    The org's profile, with the project table, the fabric figure and the funding links.

    origin
    own
    language
    Markdown
    licence
    MPL-2.0
    last push
    2026-11-01
    commits
    25 human · 6 agent
    repository ↗github.com/piabrota/.github

  4. pirsig

    coming

    A second brain: PARA and a Zettelkasten slip-box in one place. Desktop app, REST API and the psg CLI.

    origin
    own
    language
    Rust
    licence
    MPL-2.0
    last push
    2026-10-30
    commits
    47 human · 21 agent
    repository ↗piabrota.art/pirsig

  5. gramatico

    live

    Rewrites technical text in Brazilian Portuguese so that it reads once. A Claude Code plugin.

    origin
    own
    language
    Rust
    licence
    MPL-2.0
    last push
    2026-10-30
    commits
    142 human · 0 agent
    repository ↗piabrota.github.io/gramatico

  6. closed-source

    live

    The god that failed: a book on why closed source failed as a protection, for science first.

    origin
    personal
    language
    Markdown, Gleam
    licence
    CC BY 4.0, AGPL-3.0
    last push
    2026-10-27
    repository ↗h0ffmann.github.io/closed-source

  7. skills

    live

    A swiss army knife of agent skills.

    origin
    own
    language
    Gleam
    licence
    MPL-2.0
    last push
    2026-11-01
    commits
    22 human · 23 agent
    repository ↗skills.piabrota.art

  8. hermes

    live

    Nous Research's Hermes Agent on the VPS, with Claude on Telegram and Discord. Its configuration, as plain YAML.

    origin
    own
    language
    Nix
    licence
    MIT, MPL-2.0
    last push
    2026-11-03
    repository ↗piabrota.art/hermes

  9. awesome-neurosymbolic-ai

    no site yet

    A curated list of frameworks, reasoners, papers, courses and benchmarks for neurosymbolic AI: neural learning with symbolic reasoning.

    origin
    personal
    language
    Markdown, Python
    licence
    CC0-1.0
    last push
    2026-11-08
    repository ↗h0ffmann/awesome-neurosymbolic-ai

  10. alerts

    coming

    Alerts from official sources only, to Discord and an Atom feed with CAP 1.2. First: floods in the south of Brazil.

    origin
    own
    language
    Rust
    licence
    MPL-2.0
    last push
    2026-11-01
    commits
    48 human · 0 agent
    repository ↗piabrota.art/alerts

  11. rax

    no site yet

    Rustic Agentic Runtime: a pure-Rust port of AX, the declarative orchestrator for agentic tasks.

    origin
    own
    language
    Rust
    licence
    MPL-2.0
    last push
    2026-10-31
    commits
    17 human · 18 agent
    repository ↗github.com/piabrota/rax

  12. agents

    no site yet

    Small agents that watch nix-os and its VPS, and report on GitHub as piabrota-ops. They open pull requests and never merge.

    origin
    own
    language
    Bash
    licence
    MPL-2.0
    last push
    2026-11-01
    commits
    21 human · 0 agent
    repository ↗github.com/piabrota/agents

  13. nix-os

    live

    The NixOS configuration of the small VPS that serves piabrota.art. Judged by its closure.

    origin
    own
    language
    Nix
    licence
    MPL-2.0
    last push
    2026-10-31
    commits
    104 human · 63 agent
    repository ↗piabrota.art/nixos

  14. astrbot_dw_ext_br_south_disaster

    no site yet

    South of Brazil (RS, SC, PR) disaster extension for AstrBot plugin astrbot_plugin_disaster_warning

    origin
    personal
    language
    Python
    licence
    MPL-2.0
    last push
    2026-10-31
    repository ↗h0ffmann/astrbot_dw_ext_br_south_disaster

  15. astrbot_dw_ext_br_south_waterq

    no site yet

    Bathing water quality alerts for the South of Brazil (RS, SC, PR). An extension for astrbot_plugin_disaster_warning.

    origin
    personal
    language
    Python
    licence
    MPL-2.0
    last push
    2026-10-31
    repository ↗h0ffmann/astrbot_dw_ext_br_south_waterq

  16. ihero

    coming

    A FOSS music player and game, in Rust. Coming: the repository holds only its licence.

    origin
    own
    language
    Rust, planned
    licence
    MPL-2.0
    last push
    2026-11-01
    commits
    1 human · 0 agent
    repository ↗github.com/piabrota/ihero

  17. ondecomer

    live

    A site that lists the restaurants of Brazil, with filters for category, location and more. For now it covers only the city of Rio de Janeiro.

    origin
    personal
    language
    TypeScript
    licence
    Apache-2.0
    last push
    2026-11-06
    repository ↗aracyla.github.io/onde-comer

  18. proof

    live

    Specifications written and proved in Lean 4, with Haskell and Rust implementations checked against them, and data experiments with papers.

    origin
    personal
    language
    Lean, Python, Rust
    licence
    MPL-2.0
    last push
    2026-11-09
    repository ↗proof.piabrota.art

  19. chaceon

    no site yet

    Rust port of WW3, the wave physics model used by ondaseventos.ufsc.br and NOAA.

    origin
    personal
    language
    Rust
    licence
    MPL-2.0
    last push
    2026-11-09
    repository ↗h0ffmann/chaceon

Board

from their public GitHub profiles

The people who build piabrota.

Partners

logos as GitHub publishes them

Forks, a PUBLIC inventory

gh repo list piabrota --fork

Every fork under piabrota: 14. Each one is PUBLIC, because GitHub keeps a fork of a public repository public. A fork is a copy of somebody else's work, kept to read it, to study it, or to send something back.

  • 2026
    piabrota/archify

    forked 2026-10-26started 2026Apache-2.014 behind upstreamJavaScriptfrom 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

    forked 2026-11-01started 2026AGPL-3.0even with upstreamPythonfrom ouroboric-dev/asgard. Asgard: the company factory, running on Yggdrasil. (Design phase.)

  • 2026
    piabrota/axon

    forked 2026-10-30started 2026MITeven with upstreamRustfrom 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

    forked 2026-10-30started 2026MIT11 behind upstreamSwiftfrom danieltamas/bton. Bton runs your team's review flow with coding agents, from the macOS menu bar.

  • 2026
    piabrota/cloudroom

    forked 2026-11-01started 2026Apache-2.02 behind upstreamTypeScriptfrom davidondrej/cloudroom. cloudroom is the open-source platform to run 1,000+ agents productively

  • 2026
    piabrota/core

    forked 2026-10-26started 2013Apache-2.0810 behind upstreamPythonfrom home-assistant/core. Open source home automation that puts local control and privacy first.

  • 2026
    piabrota/graphify

    forked 2026-10-26started 2026Apache-2.0179 behind upstreamPythonfrom 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

    forked 2026-10-31started 2026MITeven with upstreamPythonfrom 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

    forked 2026-10-30started 2026AGPL-3.0even with upstreamRustfrom pgrundev/pgx. PGX — Lightweight Postgres for AI agents. Written in Rust. Thousands of isolated databases in one runtime. 🐘

  • 2026
    piabrota/relay

    forked 2026-10-31started 2026MITeven with upstreamGofrom ronaknnathani/relay. Skills to orchestrate coding agents to do long horizon tasks with little to no steering

  • 2026
    piabrota/rust-cuda

    forked 2026-10-26started 2021Apache-2.0even with upstreamRustfrom Rust-GPU/rust-cuda. Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.

  • 2026
    piabrota/skills

    forked 2026-11-01started 2026MITeven with upstreamShellfrom davidondrej/skills. access to david ondrej's personal agent skills

  • 2026
    piabrota/TencentDB-Agent-Memory

    forked 2026-10-30started 2026see upstreameven with upstreamTypeScriptfrom 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

    forked 2026-11-01started 2026AGPL-3.0even with upstreamPythonfrom ouroboric-dev/yggdrasil. Yggdrasil: an open software factory. Agents build, humans steer. (Design phase.)