Mobile Verification Toolkit (MVT)

Mobile Jev is a standalone Android agent from droidrun that turns a written goal into device actions through the Mobilerun API, using TypeSafe's Jev to choose operations such as opening apps, tapping, entering text, scrolling, navigating, waiting, completing, or blocking. It observes the device, offers indexed controls and installed apps to Jev, validates the selected target against fresh screen data, executes the action, and observes the device again; it does not require an ADB connection. The executor resolves coordinates from observed bounds, rejects stale targets, records actions and execution traces, and verifies field values after text entry rather than relying solely on a model completion response. The project includes a local React studio with a live device stream, goal input, action timeline, task clock, model-latency measurements, stop and reconnect controls, and recent runs, along with a CLI for previewing or executing goals, inspecting devices, taking screenshots, profiling API timings, and issuing direct controls. It requires Node.js, pnpm, a Mobilerun Android device, and Mobilerun and TypeSafe API keys; it is intended for a single local operator, with recent runs held in memory. The repository is MIT licensed.

Mobile MCP is an open-source Model Context Protocol server from Mobile Next for automating and scraping native iOS and Android applications on simulators, emulators, and connected real devices. It exposes a platform-agnostic set of MCP tools for device management, app installation and control, taps, swipes, text input, screenshots, screen recording, device logs, crash reports, deep links, orientation, location, and clipboard operations. The server primarily drives applications through native accessibility trees and structured UI-element data, falling back to screenshots and coordinate-based actions when required. It can run locally over stdio or as a Streamable HTTP server, and can use Mobile Next Cloud to reserve remote physical devices through the same tool interface. It is distributed as the `@mobilenext/mobile-mcp` npm package and requires platform tooling such as Xcode command-line tools or the Android SDK for device access.

Reverify is an AI-agent verification toolkit for reverse engineering and related code analysis. It places deterministic tools between an agent and its claims: the model proposes hypotheses about a binary or candidate implementation, while parsers, disassemblers, pattern scanners, emulators, equivalence checks, and optional analysis engines compare them with ground truth and return evidence-backed VERIFIED, REFUTED, INCONCLUSIVE, OBSERVED, or INVALIDATED results. Its pure-Python core handles PE, ELF, and Mach-O parsing, x86/x64 and ARM/ARM64 disassembly, byte and pattern inspection, CPU micro-emulation, Protobuf/TLV dissection, and Frida hook generation; optional installations add Capstone, Unicorn, LIEF, Z3, or angr for deeper analysis. The project exposes the verification loop through a command-line interface and an MCP server that agents such as Claude Code and Cursor can call. It also records verified, observed, proved, and refuted results in a content-keyed local ledger, allowing grounded facts and negative findings to survive context resets, compaction, and new sessions. A rollover and orchestration system hands sessions off through files rather than model-written summaries, keeping verified facts separate from unverified notes. Reverify includes claim types for bytes, typed reads, instructions, patterns, emulation, behavioral or formal equivalence, imports, exports, sections, and—when angr is installed—functions, calls, references, and reachability. It is distributed from PyPI and licensed under the MIT License. The repository states that it is intended for authorized reverse engineering, malware analysis, CTF work, interoperability research, and software the user owns or is permitted to analyze.

MTPLX is an open-source native Mac app and command-line tool for running local language models on Apple Silicon. It uses a model's built-in multi-token prediction (MTP) heads to draft several tokens, verifies the block in one batched forward pass, and commits tokens with exact rejection sampling and residual correction, without requiring a separate draft model or changing the model's sampling distribution. It provides local OpenAI-compatible and Anthropic-compatible APIs, native chat, model management, hardware-specific draft-depth tuning, and tooling for building and verifying MTP models. The server can also expose MLX embedding and reranking models. MTPLX requires an M1-or-newer Mac running macOS 14 or later, and the repository is licensed under Apache-2.0.

vphone-cli is an open-source macOS command-line tool for creating and running virtual iPhones with Apple's Virtualization.framework and PCC research VM infrastructure. It targets Apple Silicon Macs running macOS 15 or later and automates the VM workflow from IPSW download and patching through DFU restore, custom firmware installation, and first boot. The tool supports multiple firmware patch variants, VM creation and management, SSH and VNC connections, IPA installation, and export/import or APFS cloning of VM bundles. Its host control socket provides programmatic screenshots, touch and swipe input, hardware-key events, and clipboard operations, with each action returning an inline screenshot; the repository also describes an MCP server named vphone-mcp for AI-driven end-to-end testing. Operation requires Xcode and the iOS SDK, several Homebrew dependencies, and macOS SIP/AMFI relaxation to permit the required private virtualization entitlements.