Build cognitive infrastructure for the next trillion minds
We received one grant and shipped six public goods with it. Now we're funding others to do the same.
Open-source work that strengthens decentralized energy coordination, formal verification, and compositional systems design. No growth hacking. No token requirements. Just good work, funded.
Grant Tracks
Three tracks mirror the GF(3) triad: generate, coordinate, validate. Each track funds different kinds of public goods.
Protocol Research
Formal verification, category-theoretic frameworks, sheaf cohomology, type-theoretic proofs. Work that strengthens correctness guarantees.
- Narya/Lean proofs for GF(3) conservation
- Sheaf descent conditions for CRDT merge
- Bisimulation equivalence for protocol states
- Dafny verification of distributed invariants
Infrastructure & Tooling
Developer tools, SDKs, MCP servers, data pipelines, DER coordination systems. The connective tissue between generation and validation.
- DuckDB extensions for energy time-series
- MCP servers for grid telemetry
- Zig-Syrup serialization libraries
- OCapN transport implementations
- ACSet-based data modeling tools
Applications & Interfaces
End-user applications, dashboards, visualizations, autonomous agents. Creative work that generates new capabilities on the stack.
- DER management dashboards
- BCI-driven grid interfaces
- Autonomous energy trading agents
- Self-avoiding walk explorers
- Ghostty terminal integrations
How It Works
From idea to funded project in four steps
Submit a 1-page proposal via GitHub issue. Describe the problem, your approach, timeline, and budget.
Technical review by core contributors. GF(3) triad evaluation: does your work balance generation, coordination, and validation?
Accepted proposals receive milestone-based funding. First milestone payment on acceptance, remainder on delivery.
Build in the open. All grant work is open-source. Present findings to the community on completion.
Selection Criteria
What we look for in proposals
Work must be open-source and benefit the broader ecosystem, not just a single project.
Proposals should demonstrate understanding of the relevant mathematics, protocols, or engineering constraints.
The best proposals explicitly position themselves within the triadic framework: what do they generate, coordinate, or validate?
We favor work that composes with existing infrastructure — ACSets, MCP, OCapN, Zig-Syrup — over isolated artifacts.
Clear milestones, realistic timelines, and a demonstrated ability to deliver.
Ecosystem Context
Grants build on and extend the Plurigrid stack
FAQ
Ready to build?
Open a GitHub issue with your proposal. We review on a rolling basis.
Submit Proposal