REA

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.

Reasonix is an open-source AI coding agent built around a local engine and distributed as a self-contained static Go binary. It is designed for DeepSeek, with DeepSeek provided as a preset, while configuration can target OpenAI-compatible endpoints and optionally use separate executor and planner models. The agent can be used through a terminal or desktop app, in a browser, or from an editor through ACP; it provides plan mode, permissions, workspace sandboxing, per-turn checkpoints, and MCP- or extension-based plugins. Its context maintenance is designed around prefix-cache stability, including a stable startup environment summary and pruning of stale tool output before compaction.

An AI software-development agent from Replit that builds, modifies, publishes, and deploys applications from natural-language prompts. It can generate user interfaces and databases, implement application workflows such as electronic signing and checkout, connect custom domains, and manage deployment.

OrcaReplay is an open-source replay and debugging tool for AI-agent executions, built by the OrcaRouter.ai team. It records an agent run as a local trace, including model requests and responses, tool calls and results, shell exit codes and timing, filesystem snapshots, MCP traffic, and selected network activity. It runs as a local proxy and capture layer around an unmodified agent. A proxy records model traffic, while PATH shims, JSON-RPC interception, filesystem snapshots, fetch hooks, and optional TLS interception capture effects that model transcripts cannot show. The resulting timeline can be viewed, exported, queried through JSON or MCP, and analyzed with recorded versus inferred causal edges. The same recorded stream supports offline replay with the network blocked, forking from a derived checkpoint onto another model, and comparison of several models with an optional verification command. Replay uses the recorded conversation and workspace state; interactive terminal sessions can be approximate because prompts and interactive-only tools may not exist on the wire. The CLI is installed with npm, requires Node 20 or newer, stores runs under `.orca/runs/`, and the code, CLI, viewer, adapters, and trace format implementation are released under Apache-2.0; the trace specification is CC BY 4.0. Traces are local and redacted on write, but the project describes them as sensitive and treats redaction as best-effort.

ResolveAI is an AI SRE platform for operating production systems, providing managed on-call and SRE agent teams for alert triage, incident investigation, root-cause analysis, recurring issue remediation, and operational automation. Its agents investigate across code, infrastructure, telemetry, observability data, knowledge bases, and production context supplied through Hivemind, which tracks production state, alerts, recent changes, on-call questions, and incident context. In a demonstrated workflow, a Grafana alert received through Slack triggers an investigation that builds a causal chain of evidence and rules out competing explanations before proposing or taking governed actions. ResolveAI agents can mitigate and restore services, escalate to engineers with context, supply production context to coding agents, support custom SRE agents for workflow-specific automation, and integrate with existing engineering tools. The platform combines model orchestration, context engineering, causal reasoning, governed actions, learning systems, evaluations, and domain models with frontier models.