Footer navigation

Unlocking state-of-the-art artificial intelligence and building with the world's talent

LinkedIn
Twitter/X
Instagram
Discord
YouTube
Twitch

Other group brands:

Links

AI Tech
AI Hackathons
AI Tutorials
AI Applications
NativelyAI
AI Articles
Leaderboard
Writers

lablab

Brand
Hackathon Guidelines
Terms of Use
Code of Conduct
Privacy Policy
Security

Get in touch

Discord
Sponsor
Cooperation
Contribute
Send email

© 2026 NativelyAI Inc. All rights reserved.

3.86.0

Help CenterBrowse FAQs and guides.

Discord CommunityChat with mentors and the team.

Challenge + Get $100 creditsAI Hackathons AI Apps AI Tech AI Tutorials AI Articles NativelyAI Sponsor

AI app: ProveRun for Vultr: Agent Rush Hackathon

Home
App Discovery
ProveRun

ProveRun

Created by team peterzhou on November 04, 2026

VULTR AgentOps open-interpreter AutoGen

ProveRun is a Blast Radius Zero (Pattern A) web agent for Vultr Agent Rush. A user asks a question in the browser (optionally with a CSV); Vultr Serverless Inference writes Python; the code runs in a disposable Docker sandbox with no network, memory and time caps, dropped capabilities, and a read-only root. Real stdout returns to the model for a short explanation. Secrets stay in the API process and never enter the sandbox. The control plane runs on a Vultr Cloud Compute VM. Live demo: http://140.82.0.23:8787 — Public GitHub: https://github.com/happy-star/proverun — Judges can use the in-app containment test: network probes, secret reads, and host writes fail while the host canary stays unchanged.

Category tags:

Code Generation, Developer Tools, Security, Web Application, Cloud Application, Assistant

Github Presentation Demo

Explore more applications

testtinggg

good tingood tingood tingood tingood tingood tingood tingood tingood tingood tingood tin

LFG

Detonation Chamber

Run an untrusted npm/PyPI package, GitHub repo, or URL in a sealed, disposable Vultr sandbox. Watch what it does and get a verdict based on its actual behaviour. Every escape attempt is contained and recorded.

Builders Nepal

Containment Foreman - sandboxed agent runtime

A human-gated foreman that plans AI agent tasks, dispatches each step to a disposable, network-less Docker sandbox, and returns verifiable receipts with SHA-256 artifacts, resource caps and zero host access.

Schultzenator

Ghostfox Zero: Browser Agent

A sandboxed browser agent powered by our own Firefox engine. True agentic loop with vision verification, human approval gate, and MCP endpoint for AI agents.

autokeren

AgentOpsAIMLVULTR

LeakProof

Finds revenue leaks in billing exports without letting the data leak: model-written pandas runs in a throwaway gVisor sandbox on Vultr (no network, no secrets, hard limits), a second model checks every sentence, and each answer has a re-runnable receipt.

Design Master Solutions

Peter Zhou

Upcoming AI Hackathons
For Innovators & Creators

Explore more applications

testtinggg

good tingood tingood tingood tingood tingood tingood tingood tingood tingood tingood tin

LFG

Detonation Chamber

Run an untrusted npm/PyPI package, GitHub repo, or URL in a sealed, disposable Vultr sandbox. Watch what it does and get a verdict based on its actual behaviour. Every escape attempt is contained and recorded.

Builders Nepal

Containment Foreman - sandboxed agent runtime

A human-gated foreman that plans AI agent tasks, dispatches each step to a disposable, network-less Docker sandbox, and returns verifiable receipts with SHA-256 artifacts, resource caps and zero host access.

Schultzenator

Ghostfox Zero: Browser Agent

A sandboxed browser agent powered by our own Firefox engine. True agentic loop with vision verification, human approval gate, and MCP endpoint for AI agents.

autokeren

AgentOpsAIMLVULTR

LeakProof

Finds revenue leaks in billing exports without letting the data leak: model-written pandas runs in a throwaway gVisor sandbox on Vultr (no network, no secrets, hard limits), a second model checks every sentence, and each answer has a re-runnable receipt.

Design Master Solutions