# RAI-OS Team

- **Event:** [Meta Global AI Developer Hackathon](https://cerebralvalley.ai/e/meta-ai-developer-hackathon)
- **When:** Oct 26, 12:00 PM – Nov 4, 9:00 PM (EST)
- **Where:** Online
- **Team:** [Jarrol Villatoro](https://cerebralvalley.ai/u/Evannivw)
- **GitHub:** https://github.com/evannivw/rai-os
- **Demo video:** https://drive.google.com/file/d/18e2NPFsIktJhBC-T7ZY4ANAfQhD9PvaO/view?usp=sharing
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2245

# Submission copy — review before submitting

Project: RAI-OS

One-line description: Describe a tool, review the AI-generated application, and use
it locally inside a Rust operating-system prototype.

## Project description

RAI-OS explores an operating system where people create their own small tools by
prompt. Meta proposes a declarative application using an implemented capability
catalog. Rust validates the proposal, the user reviews it, and the guest executes
its forms, calculations, guarded processes, conditional actions, data pages and
checked transfers. Ordinary use continues without a model round trip.

Our demonstration creates an app, uses its actual records, rejects an invalid
operation and recovers work after reboot. The public saved kit includes three
actual Meta-generated examples, requiring no API key to try. Evaluators can supply
their own key to generate new supported apps.

We built an AArch64 Rust kernel and guest-rendered phone-shaped interface for QEMU.
A portable host bridge handles Meta HTTPS, input, Git definition history and
checkpoints. Current apps share EL1; this is a bounded declarative prototype, not
isolated native applications or a physical-phone replacement.

## Meta integration

The configured model is muse-spark-1.3 through Meta Model API. Requests provide the
user's goal, a versioned capability catalog and the current app definition for an
update. Shared Rust validation, user review and guest execution enforce implemented
bounds. A bounded correction loop can repair eligible expression errors without
changing permissions/guards. Evidence retains actual responses and outcomes.

## Links and facts to fill before submission

- Repository: https://github.com/evannivw/rai-os
- Reproduction: docs/TRY_RAI_OS.md in that repository.
- Video: [Watch the three-minute demo](https://drive.google.com/file/d/18e2NPFsIktJhBC-T7ZY4ANAfQhD9PvaO/view?usp=sharing).
- Participant and representative: Jarrol Villatoro (individual entry).
- Recommended track: Indie Developer. Recommended problem statement: Push the Frontier. Confirm these selections in the official form.
- Contribution period: preserve actual commits/worklog; distinguish any earlier work.
- Supplied guide discrepancy: kickoff Oct 26; build period Oct 27–Nov 4. Organizer
  clarification of Oct 26 eligibility remains unresolved; do not claim it is settled.

Deadline in the supplied guide: Nov 4, 2026, 20:00 Guatemala. Internal target: 18:00.
The participant supplied the uploaded video link on November 4. This file is draft
submission copy, not evidence of a completed entry. Save the actual platform
confirmation after submission.

## More from Meta Global AI Developer Hackathon

- [Moria Crew](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2242)
- [Tygart Media](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2243)
- [CinemaFabric](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2244)
- [metaware studios](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2246)
- [lugardix/ENOW FAITH](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2247)
- [Luiz Were](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2248)

---

Markdown version of https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2245. Site index for agents: https://cerebralvalley.ai/llms.txt · full text: https://cerebralvalley.ai/llms-full.txt