Supported languages.

Application

• Pythonpython

  pytest, line coverage, contamination scan

• JavaScriptjavascript

  Node test runner, coverage where configured

• TypeScripttypescript

  Typecheck + Node tests

• Gogo

  go test with native tooling

• Rustrust

  cargo test

• Javajava

  Gradle / JUnit

• C#csharp

  dotnet test / xUnit, coverlet line coverage

• PHPphp

  PHPUnit

• Nimnim

  unittest via nimble

• Angularangular

  Angular unit tests

• Flutterflutter

  flutter test / flutter_test harness, lcov line coverage

Game

• GDScriptgdscript

  Godot headless tests

Hardware & analog

• SystemVerilogsystemverilog

  Compile + simulate (iverilog / vvp)

• SPICEspice

  Circuit simulation (ngspice), measured checks

CAD & modeling

• OpenSCADopenscad

  Geometry compile / render checks

Infrastructure as code

• Terraformterraform

  fmt, validate, and plan-style checks

Formal verification

• Leanlean

  lake build (no sorry/admit), ASSERT_PASS tests via lean --run

Domains

Every widget id starts with a domain. Domains classify the problem, independent of language: a retry helper and a UART block are both widgets.

• backendAPIs, databases, queues, caching
• dataParsing, pipelines, serialization, file I/O
• mlInference helpers, embeddings, training utilities
• securityAuth, crypto, input sanitization
• infraConfig, logging, monitoring, health checks
• frontendUI rendering, templating, client logic
• universalPure utilities with no domain dependency
• modelingParametric geometry, surfaces, simulations
• rtlSynthesizable digital logic modules
• devopsIaC, deployment, operational tooling
• analogParametric SPICE netlists
• gamedevGameplay systems validated in-engine