All pull requests

Pull requests

• fix(runtime): answer every Kernel Semantic Library member read on an object

  #1238·devin-ai-integration[bot] opened Oct 18, 2026Bot·6 tasks done·

  ·
  10

  

• fix(runtime): hold every usage kind a definition owns as a feature of its objects

  #1237·devin-ai-integration[bot] opened Oct 18, 2026Bot·6 tasks done·

  ·
  1

  

• docs(project): record the library and prefix sweep of what the runtime evaluates

  #1236·devin-ai-integration[bot] opened Oct 18, 2026Bot·3 of 6 tasks·

  ·
  1

  

• fix(runtime): answer Kernel composite collections from the features that subset them

  #1235·devin-ai-integration[bot] opened Oct 18, 2026Bot·5 of 6 tasks·

  ·
  9

  

• feat(export): owned absence and evaluator-derived properties in API JSON

  #1232·devin-ai-integration[bot] opened Oct 17, 2026Bot·3 of 6 tasks·

  ·
  13

  

• feat(landing): add the Saturn V mass roll-up as a second hero scene

  #1231·devin-ai-integration[bot] opened Oct 17, 2026Bot·6 tasks done·

  ·
  9

  

• feat(landing): draw the home page through the typed browser client over sysml-wasm

  #1230·devin-ai-integration[bot] opened Oct 17, 2026Bot·6 tasks done·

  ·
  18

  

• fix(runtime): hold a calc result in the shape its declared multiplicity gives it

  #1228·devin-ai-integration[bot] opened Oct 17, 2026Bot·6 tasks done·

  ·
  17

  

• fix(runtime): hold a performed action's pins in their multiplicity shape on every surface

  #1223·devin-ai-integration[bot] opened Oct 17, 2026Bot·5 of 6 tasks·

  ·
  16

  

• feat(grpc): RunRuns, SelfCheck and RecordRun RPCs with run_runs, self_check and record_run tools

  #1220·devin-ai-integration[bot] opened Oct 17, 2026Bot·5 of 6 tasks·

  ·
  15

  

• fix(check): judge inherited and KerML typings by the kind's redundant-type rule

  #1163·devin-ai-integration[bot] opened Oct 14, 2026Bot·6 tasks done·

  ·
  5

  

• fix(install): fetch the bundle only for the tools it carries

  #1105·devin-ai-integration[bot] opened Oct 12, 2026Bot·6 tasks done·

  ·
  4

  

• feat(mcp): host configuration, documentation and release packaging for sysml-mcp

  #1103·devin-ai-integration[bot] opened Oct 12, 2026Bot·6 tasks done·

  ·
  24

  

• feat(mcp): add the workspace tools over the language server

  #1100·devin-ai-integration[bot] opened Oct 12, 2026Bot·5 of 6 tasks·

  ·
  48

  

• feat(mcp): session tools over the REPL: load, submit, eval, run, the debuggers, the solver, sweeps and repl_command

  #1099·devin-ai-integration[bot] opened Oct 12, 2026Bot·5 tasks done·

  ·
  46

  

• feat(runtime): execute use case definitions and usages as actions

  #1048·devin-ai-integration[bot] opened Oct 10, 2026Bot·6 tasks done·

  ·
  13

  

• fix(parser): reject frame, filter and accept outside their bodies; declare extension libraries non-standard

  #882·devin-ai-integration[bot] opened Oct 4, 2026Bot·6 tasks done·

  ·
  5