01 · AI & Agents
Intelligent developer systems
Model-agnostic coding agents, memory, orchestration, provenance, verification, and agent-native workflows.
Explore AI work →Innovation lab · Software · AI · Education
Ideas Flow.
Impact Grows.
RiverRaftLabs is an independent innovation lab building useful technology, AI-native products, developer tools, and learning platforms for real-world impact.
Innovate
Explore ambitious ideas.
Research
Understand before building.
Build
Turn ideas into real products.
Create Impact
Make technology genuinely useful.
ResearchDesignEngineering
One shared workshop
Different skills. One useful outcome.
A laboratory for
ideas worth building.
ideas worth building.
About RiverRaftLabs
Where innovation meets purpose.
RiverRaftLabs is a parent innovation studio for independent products, experiments, open-source software, education initiatives, and applied AI research.
We believe the best technology starts small, solves a meaningful problem, stays understandable, and grows only when it proves its value.
AIAgents & developer systems
OSSOpen tools & infrastructure
EDULearning & exam platforms
What We Do
A lab for building across boundaries.
Our work spans software, AI, education, developer experience, experimentation, and new product creation.
02 · Developer Tools
Tools engineers want to use
Terminal-first workflows, observability, automation, collaboration, and software delivery infrastructure.
Explore developer tools →03 · Education
Learning at scale
Exam preparation, question platforms, analytics, community learning, and technology education.
Explore education →04 · Research
Prototype before certainty
We explore new architectures and product ideas quickly, measuring what works before committing deeply.
View experiments →05 · Product Studio
From concept to launch
Product strategy, architecture, design, engineering, launch, iteration, and long-term ownership.
How we build →06 · Open Source
Build in the open when possible
Reusable infrastructure and public tools designed to create value beyond a single company or product.
Open-source projects →Lab Index
Independent products. One parent lab.
RiverRaftLabs gives different products space to keep their own identity while sharing a common philosophy, infrastructure, and long-term direction.
01 / 08From a task to reviewed code
› Understand the task
› Build a solution
✓ Review the changes
GrayCodeAI
Developer AIDeveloper-first AI tools focused on coding agents, terminal workflows, memory, review, and model-agnostic infrastructure.
AgentsTerminalMemory
Visit GrayCodeAI →02 / 08Learn at your own pace
One step at a time.
- 1Learn a concept
- 2Try it yourself
- 3Review and improve
GATE And Tech
EducationTechnology education, exam preparation, question banks, analytics, community learning, and practical engineering guidance.
Exam PrepQuestion BanksAnalytics
Visit GATE And Tech →03 / 08From a draft to a published post
Give your ideas a voice.
Write→Preview→Publish
PostlySocial
Creator ToolsSocial publishing and workflow automation designed for creators, educators, and growing communities.
PublishingAutomationCommunity
Visit PostlySocial →04 / 08Reasoning you can follow
1State the claim
2Check each step
Verify the proof
Lean Prover
Formal MethodsA knowledge and learning initiative around theorem proving, formal verification, mathematical reasoning, and trustworthy software using Lean.
VerificationMathLean
Visit Lean Prover →05 / 08Every mile, receipt, and crossing in one place
Every mile, accounted for.
- Trip12.4 mi
- Toll$7.50
- Receipt$42.00
Total$52.40
Miles
Business RecordsBridge tolls, business miles, expenses, invoices, and income in one workspace — built for independent work across the Bay.
Bridge TollsMileageExpenses
Visit Miles →06 / 08From a question to a finished draft
ResearchDraft
ReadyDone
Duno
AI CoworkerA thoughtful AI coworker for research, first drafts, and the little things on repeat — a private workspace built around you.
ResearchFirst DraftsDaily Tasks
Visit Duno →07 / 08Every agent turn, a step you can revisit
› trace init --agent codex
› trace log
✓ trace rewind 2 --dry-run
Trace
Developer ToolsLocal history for coding agents — every finished turn becomes a step you can inspect, explain, or return to.
Local HistoryRewindOpen Source
Visit Trace →08 / 08A question worth exploring Independent
Research & Knowledge
What if we tried…?
Ask a question.
Run a small experiment.
Learn somethingTry again ↻
Independent
Experiments
Research & KnowledgeNew tools, research initiatives, open-source work, and experimental products can begin here before becoming standalone projects.
ResearchOSSPrototypes
In the labHow We Think
Principles before hype.
We want RiverRaftLabs to feel like a long-term engineering lab, not a collection of random websites.
Useful > flashy
Technology should solve a real problem before it tries to impress anyone.
Simple > clever
We prefer understandable systems that can evolve without becoming fragile.
Open > opaque
When practical, we document, explain, and open-source the reusable parts.
Long-term > trend
We experiment quickly but build foundations meant to survive changing technology cycles.
Let's Build What's Next
Have an idea worth exploring?
RiverRaftLabs is interested in ambitious technology, open-source collaboration, education, and product experiments with meaningful upside.