codevanta 0.2.0__tar.gz → 0.2.1__tar.gz

{codevanta-0.2.0 → codevanta-0.2.1}/CHANGELOG.md

@@ -4,6 +4,17 @@ All notable changes to CODEVANTA are documented here. The format follows
 [Keep a Changelog](https://keepachangelog.com/en/1.1.0/) and the project uses
 [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [0.2.1] - 2026-11-13
+
+### Fixed
+
+- The 12 ext MCP tools introduced in 0.2.0 (crash, metadata auto-detect's
+  siblings: binmeta, sqlite, adb, web_inspect, asar, symbolic_solve,
+  signal_sr, uart_decode, dtb, nav, nav_providers) had import lines but were
+  never wired into `build_server`, so only 26 of the intended 38 tools were
+  actually registered. All 12 now have `@server.tool` wrappers and the full
+  38-name list is asserted in the test suite. `list_tools()` now returns 38.
+
 ## [0.2.0] - 2026-11-13
 
 ### Added

{codevanta-0.2.0/src/codevanta.egg-info → codevanta-0.2.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: codevanta
-Version: 0.2.0
+Version: 0.2.1
 Summary: CODEVANTA — Advanced Code Intelligence: AI-Powered Reverse Engineering & Binary Analysis Platform
 Author: kevindoni
 License-Expression: MIT

{codevanta-0.2.0 → codevanta-0.2.1}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "codevanta"
-version = "0.2.0"
+version = "0.2.1"
 description = "CODEVANTA — Advanced Code Intelligence: AI-Powered Reverse Engineering & Binary Analysis Platform"
 readme = "README.md"
 requires-python = ">=3.10"

{codevanta-0.2.0 → codevanta-0.2.1}/src/codevanta/mcp_server/server.py

@@ -15,9 +15,21 @@ from mcp.server.mcpserver.exceptions import ToolError
 from mcp.server.transport_security import TransportSecuritySettings
 from pydantic import Field
 
+from codevanta.analysis.cdp_client import DEFAULT_ENDPOINT as WEB_DEFAULT_ENDPOINT
+from codevanta.analysis.cdp_client import DEFAULT_OBSERVE_MS as WEB_DEFAULT_OBSERVE_MS
+from codevanta.analysis.solver import DEFAULT_TIMEOUT_MS as SOLVER_DEFAULT_TIMEOUT_MS
+from codevanta.analysis.uart_decode import DEFAULT_BAUD as UART_DEFAULT_BAUD
+from codevanta.analysis.uart_decode import DEFAULT_DATA_BITS as UART_DEFAULT_DATA_BITS
+from codevanta.analysis.uart_decode import DEFAULT_PARITY as _UART_DEFAULT_PARITY
+from codevanta.analysis.uart_decode import DEFAULT_STOP_BITS as UART_DEFAULT_STOP_BITS
 from codevanta.core.report import AnalysisError
 
 from . import tools
+from .ext_solver import TOOL_DESCRIPTION as SYMBOLIC_SOLVE_DESCRIPTION
+
+#: Upstream ``DEFAULT_PARITY`` is inferred plain ``str``; the MCP schema
+#: publishes the literal union the UART decoder actually accepts.
+UART_DEFAULT_PARITY = cast(Literal["none", "even", "odd"], _UART_DEFAULT_PARITY)
 
 SERVER_NAME = "CODEVANTA"
 SERVER_VERSION = "0.1.0"
@@ -651,6 +663,195 @@ def build_server() -> MCPServer:
     def codevanta_metadata(path: str) -> dict:
         return tools.codevanta_metadata(path)
 
+    @server.tool(
+        description=(
+            "Summarise a crash dump file, auto-detecting the format: a Linux "
+            "ELF core dump or an Apple .ips crash report (the leading magic "
+            "bytes decide). Offline and read-only: the file is parsed, never "
+            "executed, and the payload carries the format, the parsed summary "
+            "fields and an evidence record stating how much of the finding "
+            "was parse-verified."
+        )
+    )
+    def codevanta_crash(path: str) -> dict:
+        return tools.codevanta_crash(path)
+
+    @server.tool(
+        description=(
+            "Auto-detect container formats in one file: WASM, EVM (a labelled "
+            "heuristic verdict, evm_like), GGUF, safetensors, pcap/pcapng and "
+            "firmware magics. Offline and read-only; the summary carries an "
+            "evidence record with source/method/confidence."
+        )
+    )
+    def codevanta_binmeta(path: str) -> dict:
+        return tools.codevanta_binmeta(path)
+
+    @server.tool(
+        description=(
+            "Introspect a SQLite database strictly read-only through the "
+            "mode=ro&immutable=1 URI: a bounded table list with row counts, "
+            "and with `table` that table's columns plus up to 10 sample rows "
+            "(JSON-safe values). The tool cannot write, create journals or "
+            "replay a WAL; a present -wal file is reported as ignored. "
+            "Offline."
+        )
+    )
+    def codevanta_sqlite(path: str, table: str | None = None) -> dict:
+        return tools.codevanta_sqlite(path, table)
+
+    @server.tool(
+        description=(
+            "Read-only Android device queries over adb: action='devices' "
+            "lists attached devices/emulators; action='props'/'packages'/"
+            "'processes' inspect the device named by `device`. Requires adb "
+            "on PATH - its absence surfaces as a typed error naming the "
+            "platform-tools install step, never a traceback. Mutating actions "
+            "(install, screencap, bugreport) are deliberately not exposed."
+        )
+    )
+    def codevanta_adb(
+        action: Literal["devices", "props", "packages", "processes"],
+        device: str | None = None,
+    ) -> dict:
+        return tools.codevanta_adb(action, device)
+
+    @server.tool(
+        description=(
+            "Passively inspect one live Electron/Chromium page over CDP: list "
+            "the debugger endpoint's targets, pick target_id (or the first "
+            "page target) and return title, url, bounded resources and "
+            "console traffic overheard during observe_ms. Skip-gated on "
+            "endpoint reachability: an unreachable endpoint comes back as "
+            "{\"available\": false, \"reason\": ...} with evidence, not an "
+            "error. Read-only: only domain enables and navigation/resource "
+            "queries are sent, never Runtime.evaluate."
+        )
+    )
+    def codevanta_web_inspect(
+        endpoint: str = WEB_DEFAULT_ENDPOINT,
+        target_id: str | None = None,
+        observe_ms: int = WEB_DEFAULT_OBSERVE_MS,
+    ) -> dict:
+        return tools.codevanta_web_inspect(
+            endpoint,
+            target_id=target_id,
+            observe_ms=observe_ms,
+        )
+
+    @server.tool(
+        description=(
+            "List an Electron ASAR archive offline (bounded 512 file entries "
+            "with honest totals), or with `extract` naming one in-archive "
+            "entry read that entry (bounded 8 MiB) and report its size and "
+            "SHA-256. Pure byte parsing; nothing is executed."
+        )
+    )
+    def codevanta_asar(path: str, extract: str | None = None) -> dict:
+        return tools.codevanta_asar(path, extract)
+
+    @server.tool(description=SYMBOLIC_SOLVE_DESCRIPTION)
+    def codevanta_symbolic_solve(
+        path: str,
+        address: int | None = None,
+        max_paths: int = tools.DEFAULT_SYMBOLIC_MAX_PATHS,
+        max_steps: int = tools.DEFAULT_SYMBOLIC_MAX_STEPS,
+        solver_mode: Literal["auto", "naive"] = "auto",
+        timeout_ms: int = SOLVER_DEFAULT_TIMEOUT_MS,
+    ) -> dict:
+        return tools.codevanta_symbolic_solve(
+            path,
+            address,
+            max_paths=max_paths,
+            max_steps=max_steps,
+            solver_mode=solver_mode,
+            timeout_ms=timeout_ms,
+        )
+
+    @server.tool(
+        description=(
+            "Summarize one sigrok .sr session archive offline: version, "
+            "sample rate, device, channels, logic-file names and byte sizes, "
+            "and the annotation count when the archive carries one. "
+            "ZIP-bomb guarded; the logic data is stat'ed but never inflated."
+        )
+    )
+    def codevanta_signal_sr(path: str) -> dict:
+        return tools.codevanta_signal_sr(path)
+
+    @server.tool(
+        description=(
+            "Decode a raw logic-0/1 capture file as UART with the pure-Python "
+            "decoder-lite (medium confidence by design). One byte per sample: "
+            "0 is logic low, anything else high; samplerate_hz must give at "
+            "least 2 samples per baud bit. Offline; garbage captures decode "
+            "to few or zero bytes with warnings."
+        )
+    )
+    def codevanta_uart_decode(
+        path: str,
+        samplerate_hz: int,
+        baud: int = UART_DEFAULT_BAUD,
+        databits: int = UART_DEFAULT_DATA_BITS,
+        parity: Literal["none", "even", "odd"] = UART_DEFAULT_PARITY,
+        stopbits: int = UART_DEFAULT_STOP_BITS,
+    ) -> dict:
+        return tools.codevanta_uart_decode(
+            path,
+            samplerate_hz,
+            baud=baud,
+            databits=databits,
+            parity=parity,
+            stopbits=stopbits,
+        )
+
+    @server.tool(
+        description=(
+            "Parse one flattened devicetree blob (DTB) offline: a shallow, "
+            "bounded walk returning the tree structure and, with `node`, the "
+            "properties of that top-level node (the root's own properties "
+            "when omitted). Unknown node names are typed errors."
+        )
+    )
+    def codevanta_dtb(path: str, node: str | None = None) -> dict:
+        return tools.codevanta_dtb(path, node)
+
+    @server.tool(
+        description=(
+            "Read or write one session's navigation state: action='mark' "
+            "pins a bookmark, 'comment' attaches a note, 'goto' moves the "
+            "cursor and records the visit, 'cursor' reads it back and "
+            "'bookmarks'/'comments'/'history' list the bounded state. Every "
+            "action needs `session` and the session database path `db`; "
+            "mark/comment/goto also need `address` (int or 0x-prefixed hex "
+            "string). A missing session is a typed error with the "
+            "'codevanta session save' hint. Offline."
+        )
+    )
+    def codevanta_nav(
+        action: Literal[
+            "mark", "comment", "goto", "cursor", "bookmarks", "comments", "history"
+        ],
+        session: str | None = None,
+        address: int | str | None = None,
+        name: str | None = None,
+        text: str | None = None,
+        db: str | None = None,
+    ) -> dict:
+        return tools.codevanta_nav(action, session, address, name, text, db)
+
+    @server.tool(
+        description=(
+            "Report which external GUI navigation providers (Hopper, Cutter, "
+            "Ghidra) could attach on this machine: one capability report each "
+            "with name/available/reason, plus the nav.providers evidence "
+            "record. The probes never launch anything and never raise; "
+            "CODEVANTA's own navigation works regardless. Offline."
+        )
+    )
+    def codevanta_nav_providers() -> dict:
+        return tools.codevanta_nav_providers()
+
     return server
 
 

{codevanta-0.2.0 → codevanta-0.2.1/src/codevanta.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: codevanta
-Version: 0.2.0
+Version: 0.2.1
 Summary: CODEVANTA — Advanced Code Intelligence: AI-Powered Reverse Engineering & Binary Analysis Platform
 Author: kevindoni
 License-Expression: MIT

{codevanta-0.2.0 → codevanta-0.2.1}/tests/test_mcp_tools.py

@@ -63,19 +63,25 @@ def test_analyze_has_provenance(elf64_text_path: Path) -> None:
     assert report["disassembly"]["instruction_count"] == 3
 
 
-def test_server_lists_twenty_six_tools() -> None:
+def test_server_lists_thirty_eight_tools() -> None:
     listed = asyncio.run(build_server().list_tools())
     names = sorted(tool.name for tool in listed)
+    assert len(names) == 38
     assert names == [
+        "codevanta_adb",
         "codevanta_analyze",
+        "codevanta_asar",
+        "codevanta_binmeta",
         "codevanta_callgraph",
         "codevanta_cfg",
         "codevanta_compare",
+        "codevanta_crash",
         "codevanta_dataflow",
         "codevanta_debug",
         "codevanta_decompile",
         "codevanta_diff",
         "codevanta_disasm",
+        "codevanta_dtb",
         "codevanta_dwarf",
         "codevanta_entropy",
         "codevanta_function_hash",
@@ -83,15 +89,22 @@ def test_server_lists_twenty_six_tools() -> None:
         "codevanta_info",
         "codevanta_jump_table",
         "codevanta_metadata",
+        "codevanta_nav",
+        "codevanta_nav_providers",
         "codevanta_session_list",
         "codevanta_session_save",
+        "codevanta_signal_sr",
         "codevanta_similarity",
+        "codevanta_sqlite",
         "codevanta_strings",
         "codevanta_struct",
         "codevanta_symbolic",
+        "codevanta_symbolic_solve",
         "codevanta_trace",
+        "codevanta_uart_decode",
         "codevanta_unknowns",
         "codevanta_vtable",
+        "codevanta_web_inspect",
         "codevanta_xrefs",
     ]