All pull requests

Pull requests

• Update dependency zod to v4 [SECURITY]

  #1325·renovate[bot] opened Oct 31, 2026Bot·1 task·

  ·

• Add Lean 4 backend for verifying business logic

  #1318·AttilaMihaly opened Oct 16, 2026Member·

  ·
  2

• Update dependency scalafmt to v2.7.5

  #1316·renovate[bot] opened Oct 12, 2026Bot·1 task·

  ·

• Update dependency org.json4s:json4s-jackson_2.13 to v3.7.0-RC1

  #1315·renovate[bot] opened Oct 12, 2026Bot·1 task·

  ·

• Update dependency morphir-bsq-transpiler to v0.1.11

  #1314·renovate[bot] opened Oct 11, 2026Bot·1 task·

  ·

• Update dependency inquirer to v8.2.7

  #1313·renovate[bot] opened Oct 11, 2026Bot·1 task·

  ·

• Update dependency html-webpack-plugin to v5.6.8

  #1311·renovate[bot] opened Sep 24, 2026Bot·1 task·

  ·

• Update dependency get-uri to v6.0.5

  #1310·renovate[bot] opened Sep 24, 2026Bot·1 task·

  ·

• Update dependency fp-ts to v2.16.11

  #1307·renovate[bot] opened Sep 24, 2026Bot·1 task·

  ·

• Update dependency @types/node to v16.18.126

  #1306·renovate[bot] opened Sep 24, 2026Bot·1 task·

  ·

• Update dependency @types/inquirer to v9.0.10

  #1304·renovate[bot] opened Sep 24, 2026Bot·1 task·

  ·

• Update dependency @types/data-urls to v3.0.5

  #1303·renovate[bot] opened Sep 24, 2026Bot·1 task·

  ·

• Update dependency uuid to v11 [SECURITY]

  #1300·renovate[bot] opened Sep 23, 2026Bot·1 task·

  ·
  1

• Update dependency glob to v14 [SECURITY]

  #1299·renovate[bot] opened Sep 23, 2026Bot·1 task·

  ·

• Update dependency body-parser to v2 [SECURITY]

  #1298·renovate[bot] opened Sep 23, 2026Bot·1 task·

  ·

• Update dependency webpack to v5.104.1 [SECURITY]

  #1297·renovate[bot] opened Sep 23, 2026Bot·1 task·

  ·

• Update dependency immutable to v5.1.8 [SECURITY]

  #1296·renovate[bot] opened Sep 23, 2026Bot·1 task·

  ·

• Update dependency ajv to v8.18.0 [SECURITY]

  #1295·renovate[bot] opened Sep 23, 2026Bot·1 task·

  ·

• Update dependency @modelcontextprotocol/sdk to v1.32.0 [SECURITY]

  #1294·renovate[bot] opened Sep 23, 2026Bot·1 task·

  ·

• Replace Express servers with Fastify

  #1279·DamianReeves opened May 26, 2026Member·8 tasks done·

  ·
  3

• Remove WASI dependencies from WASM interpreter

  #1274·DamianReeves opened Feb 25, 2026Member·3 tasks done·

  ·
  1

• Initial version of YAML gen tool

  #1255·AttilaMihaly opened Oct 2, 2025Member·

  ·

• Typescript backend spec

  #1247·nwokafor-choongsaeng opened Jul 14, 2025Contributor·

  ·
  5

• Updating the typescript SDK to be more convenient

  #1246·nwokafor-choongsaeng opened Jul 1, 2025Contributor·

  ·

• Downgrade express to test SCA scan failure

  #1243·AttilaMihaly opened May 16, 2025Member·

  ·