Am I affected?

type your beam_mcp version to check

Description

Incorrect Type Conversion or Cast vulnerability in BeamMCP.Server in ScriptKittyOS beam_mcp allows an MCP client's JSON true, false and null tool arguments to reach the host's dispatch function as the strings "true", "false" and "nil". After BeamMCP.Schema.validate/2 accepted a value as a boolean, normalize_arguments/2 passed every argument through to_json_value/1, whose atom clause converts true, false and nil to strings. A string is truthy in Elixir, so a host that tests a boolean argument, for example if args.dry_run, takes the opposite branch for false, and a guard such as confirm: false reads as set.

The client controls the argument and could send true directly, so the practical impact is limited to hosts whose behaviour on false differs from their behaviour on true, and to any policy layer in front of the server that permits false but refuses true. The same normalisation applies to prompts/get arguments, which exist from 0.5.0.

This issue affects beam_mcp: from 0.1.0 before 0.10.1.

Technical analysis

1. Validation. BeamMCP.Schema.check_type/3 accepts a JSON false for a boolean property because the decoded value is the atom false.

2. Normalisation. BeamMCP.Server.normalize_arguments/2 in lib/beam_mcp/server.ex maps each declared key to an atom and passes each value through to_json_value/1. That function was written to encode host results for the wire, and its clause when is_atom(value) converts the value with Atom.to_string/1. true, false and nil are atoms, so they become the strings "true", "false" and "nil", at any depth of the argument map.

3. Dispatch. The host receives %{dry_run: "false"}. Any string is truthy in Elixir, so if args.dry_run takes the true branch. A host result carrying booleans was stringified the same way on the way out. The fix in 0.10.1 adds a clause that passes booleans and nil through unchanged.

Proof of concept

  1. Declare a tool whose input_schema has "dry_run": {"type": "boolean"}.
  2. Send tools/call with "arguments": {"dry_run": false}.
  3. On beam_mcp 0.10.0 the dispatch function receives %{dry_run: "false"} and if args.dry_run evaluates the true branch. On 0.10.1 it receives %{dry_run: false}.

Weaknesses & attack patterns

Weakness

CWE-704 · Incorrect Type Conversion or Cast in catalog → MITRE ↗

Attack patterns

CAPEC-153 · Input Data Manipulation MITRE ↗

A host that branches on a boolean argument takes the opposite branch for false, so a safety guard such as confirm: false or dry_run: false is read as set. The client already controls the argument, so the gain over sending true is limited to hosts and intermediaries that treat the two values differently.

Affected — Hex / beam_mcp Hex.pm ↗ Repository ↗

≥ 0.1.0 < 0.10.1 affected
every other version: unaffected
cpe cpe:2.3:a:scriptkittyos:beam_mcp:*:*:*:*:*:*:*:*
version type semver
modules · source files · routines
modules 'Elixir.BeamMCP.Server'
source files lib/beam_mcp/server.ex
routines 'Elixir.BeamMCP.Server':handle_message/2 · 'Elixir.BeamMCP.Server':normalize_arguments/2 · 'Elixir.BeamMCP.Server':to_json_value/1

Affected — GitHub / scriptkittyos/beam_mcp Repository ↗

≥ 083838e < 289dbdb affected
every other version: unaffected
cpe cpe:2.3:a:scriptkittyos:beam_mcp:*:*:*:*:*:*:*:*
version type git
modules · source files · routines
modules 'Elixir.BeamMCP.Server'
source files lib/beam_mcp/server.ex
routines 'Elixir.BeamMCP.Server':handle_message/2 · 'Elixir.BeamMCP.Server':normalize_arguments/2 · 'Elixir.BeamMCP.Server':to_json_value/1

Workarounds

In the host's dispatch function, compare boolean arguments against both forms, for example args.flag in [true, "true"] and args.flag in [false, "false"], and treat the string "nil" as null where the schema admits null.

References

Credits

Ayla Croft / Script Kitty OS Finder Reporter Remediation developer
Jonatan Männchen / EEF Coordinator

CVSS breakdown

CVSS:4.0/AV:N/AC:L/AT:P/PR:L/UI:N/VC:N/VI:L/VA:N/SC:N/SI:N/SA:N
« All CVEs