Maina Cloud
Maina Cloud is the hosted layer that turns Maina from a single-developer CLI into a team-wide verification platform. Shared prompts, hosted verification, feedback-driven prompt evolution, and team analytics — all synced automatically.
Quick Start
Section titled “Quick Start”-
Authenticate
Terminal window maina loginOpens a browser-based device flow (GitHub OAuth). Your token is stored at
~/.maina/auth.json. -
Sync your prompts
Terminal window maina sync push # upload local prompts to your teammaina sync pull # download team prompts -
Run hosted verification
Terminal window maina verify --cloudYour diff is submitted to Maina Cloud. Results come back to your terminal — no local tool installs required.
Authentication
Section titled “Authentication”Maina uses the OAuth device authorization grant (RFC 8628) for CLI login — the same flow GitHub CLI uses.
maina login # start device flow, opens browsermaina logout # clear stored credentialsCredentials are stored at ~/.maina/auth.json. The token is used for all cloud API calls.
Cloud Verification
Section titled “Cloud Verification”Submit your diff to the hosted pipeline instead of running tools locally. Useful for:
- CI environments where installing 19+ tools is impractical
- Teams with heterogeneous setups — everyone gets the same verification regardless of local tooling
- Quick checks without waiting for local tool installation
maina verify --cloud # submit current diffmaina verify --cloud --base main # verify against a specific base branchHow it works
Section titled “How it works”- Diff submitted — Your local diff is sent to the Maina Cloud API
- Pipeline runs — The full 18-tool pipeline executes on cloud workers
- Findings filtered — Only findings on changed lines (diff-only)
- Results returned — Findings stream back to your terminal
- Proof stored — Verification proof is stored in R2 for auditability
CI Integration
Section titled “CI Integration”Use the GitHub Action to verify every PR automatically:
name: Maina Verifyon: pull_request: branches: [main, master]
jobs: verify: runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 - uses: mainahq/maina/.github/actions/verify@main with: token: ${{ secrets.MAINA_TOKEN }}- uses: mainahq/maina/.github/actions/verify@main with: base: mainSee the CI Integration docs for inputs, outputs, and advanced configuration.
Prompt Sync
Section titled “Prompt Sync”Every team member’s prompts can be shared and kept in sync across the organization.
Push local prompts
Section titled “Push local prompts”maina sync pushUploads all .md files from your local .maina/prompts/ directory. Each prompt is content-hashed — only changed prompts are uploaded.
Pull team prompts
Section titled “Pull team prompts”maina sync pullDownloads the team’s prompt library and merges with your local copies. If a remote prompt conflicts with a local one, the CLI prompts you to resolve the conflict.
What gets synced
Section titled “What gets synced”| Artifact | Direction | Description |
|---|---|---|
| Custom prompts | Push/Pull | .maina/prompts/*.md — task-specific prompt templates |
| Constitution | Push/Pull | .maina/constitution.md — project-level rules |
| Feedback events | Push (auto) | Accept/reject signals sent on every command |
| Episodic entries | Push/Pull (auto) | Compressed review summaries shared across team |
| Workflow stats | Push (auto) | Commit counts, pass rates, verification durations |
Team Management
Section titled “Team Management”maina team # show team info, plan, membersTeam info
Section titled “Team info”maina team shows:
- Team name and plan tier
- Seat usage (used / total)
- Member list with email, role, and join date
Invitations
Section titled “Invitations”maina team invite <email> sends an invitation. The invitee receives an email and can join via maina login.
Roles:
- admin — manage members, billing, and settings
- member — sync prompts, run cloud verification, contribute feedback
Feedback and Learning
Section titled “Feedback and Learning”Maina Cloud aggregates feedback from all team members to improve prompt quality across the organization.
How feedback flows
Section titled “How feedback flows”- Local feedback — Every
maina commit,maina review, ormaina prrecords an accept/reject signal - Auto-sync — Feedback events are automatically uploaded to Maina Cloud on every command (when logged in)
- Analysis — Cloud aggregates signals across all team members per prompt variant
- Improvements —
maina learn --cloudfetches improvement suggestions based on team-wide patterns
Learn from the team
Section titled “Learn from the team”maina learn --cloudThis command:
- Uploads any unsent local feedback events
- Uploads workflow stats (commit counts, pass rates)
- Fetches team-wide improvement suggestions
- Shows which prompts are healthy, which need attention, and team-wide accept rates
Episodic context sharing
Section titled “Episodic context sharing”When you accept a review or commit, Maina compresses the outcome into an episodic entry and uploads it to the cloud. Other team members automatically receive these entries in their context engine, deduplicated by content hash. This means:
- Reviews your teammate accepted feed into your context
- The team builds shared institutional knowledge over time
- Ebbinghaus decay ensures stale entries fade naturally
Architecture
Section titled “Architecture”┌──────────────────────────┐│ maina CLI ││ ││ login / logout │──── ~/.maina/auth.json│ sync push / pull │──┐│ verify --cloud │ ││ learn --cloud │ ││ team / team invite │ ││ │ ││ Auto-sync: │ ││ - feedback events │ ││ - episodic entries │ ││ - workflow stats │ │└──────────┬───────────────┘ │ │ │ ▼ ▼┌──────────────────────────────────┐│ Maina Cloud API ││ api.mainahq.com ││ ││ /auth/device OAuth flow ││ /prompts CRUD sync ││ /feedback Events ││ /feedback/batch Batch sync ││ /feedback/improvements RL ││ /feedback/stats Analytics ││ /context/episodic Team ctx ││ /verify Submit diff ││ /verify/:id/status Poll ││ /verify/:id Results ││ /team Info ││ /team/members List ││ /team/invite Invite │└──────────────────────────────────┘Pricing
Section titled “Pricing”Maina Cloud is currently in early access. The CLI is free and open source (Apache 2.0) forever. Cloud pricing will be announced with the dashboard launch.
| Tier | Price | Includes |
|---|---|---|
| Free | $0 | CLI, local verification, MCP server, all 19+ tools |
| Team (coming) | TBD | Cloud verification, prompt sync, team analytics, feedback loop |
| Enterprise (coming) | TBD | SSO, audit logging, self-hosted option, custom model fine-tuning |