Structure
from piabrota/mu and piabrota/dojo
- 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/.githubRead 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.mdThe ten invariants. They bind every repo, every person and every agent in the company.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Guardrails only get stronger. Never weaken an approval point, a sandbox, a policy or a ruleset. Never read, print or store a secret.
- 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.
- 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-0119 projects. Own means the org's repository; personal means a repository that dojo pins and a person keeps.
- no site yet
mu
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
- no site yet
dojo
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
- no site yet
.github
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
- coming
pirsig
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 - live
gramatico
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
- live
closed-source
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
- live
skills
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
- live
hermes
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
- no site yet
awesome-neurosymbolic-ai
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
- coming
alerts
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 - no site yet
rax
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
- no site yet
agents
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
- live
nix-os
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
- no site yet
astrbot_dw_ext_br_south_disaster
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
- no site yet
astrbot_dw_ext_br_south_waterq
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
- coming
ihero
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
- live
ondecomer
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
- live
proof
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
- no site yet
chaceon
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
Board
from their public GitHub profilesThe people who build piabrota.
@aracyla
General purpose developer currently focused on frontend development. · Brazil
@h0ffmann
@aracyla
@robklerPartners
logos as GitHub publishes them
Forks, a PUBLIC inventory
gh repo list piabrota --forkEvery 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.
- 2026piabrota/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.
- 2026piabrota/asgard
forked 2026-11-01started 2026AGPL-3.0even with upstreamPythonfrom ouroboric-dev/asgard. Asgard: the company factory, running on Yggdrasil. (Design phase.)
- 2026piabrota/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.
- 2026piabrota/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.
- 2026piabrota/cloudroom
forked 2026-11-01started 2026Apache-2.02 behind upstreamTypeScriptfrom davidondrej/cloudroom. cloudroom is the open-source platform to run 1,000+ agents productively
- 2026piabrota/core
forked 2026-10-26started 2013Apache-2.0810 behind upstreamPythonfrom home-assistant/core. Open source home automation that puts local control and privacy first.
- 2026piabrota/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.
- 2026piabrota/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.
- 2026piabrota/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. 🐘
- 2026piabrota/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
- 2026piabrota/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.
- 2026piabrota/skills
forked 2026-11-01started 2026MITeven with upstreamShellfrom davidondrej/skills. access to david ondrej's personal agent skills
- 2026piabrota/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.
- 2026piabrota/yggdrasil
forked 2026-11-01started 2026AGPL-3.0even with upstreamPythonfrom ouroboric-dev/yggdrasil. Yggdrasil: an open software factory. Agents build, humans steer. (Design phase.)