{
  "schemaVersion": "1.0",
  "name": "rul-mcp",
  "title": "Rul (.rl) 128-Bit Binary Language & Verifier MCP Server",
  "version": "0.4.0",
  "description": "Zero-dependency stdio JSON-RPC 2.0 Model Context Protocol server for assembling, O(N) verifying, differential-testing, schedule-autotuning, white-box tracing, and AOT-compiling 128-bit .rl binary programs.",
  "repository": "https://github.com/rul-lang/rul",
  "documentation": "https://rul-lang.org/llms-full.txt",
  "installCommand": "curl -fsSL https://raw.githubusercontent.com/rul-lang/rul/main/install.sh | sh",
  "transport": {
    "type": "stdio",
    "command": "rul-mcp",
    "args": []
  },
  "tools": [
    {
      "name": "rul_assemble_and_verify",
      "description": "Assembles symbolic .rls instructions into a 128-bit binary .rl image and runs the single-pass O(N) linear static verifier (~5.8 ns/instruction)."
    },
    {
      "name": "rul_test_differential",
      "description": "Executes a verified .rl program across Tier 0 (Oracle), Tier 1 (Vector Stencil), and Tier 2 (L1-Cache Tile Fuser) to verify bitwise/ULP numerical equivalence."
    },
    {
      "name": "rul_autotune_schedule",
      "description": "Sweeps 1-byte ScheduleHint policies (0x10 AutoL1Tile, 0x11 SimdStream, 0x12 MultiCore) and selects the fastest hardware schedule."
    },
    {
      "name": "rul_compile_standalone",
      "description": "Compiles a verified .rl program directly into a standalone Linux x86_64 AVX2 ELF64 executable (628 B – 1,037 B) in ~6.4 microseconds without LLVM."
    },
    {
      "name": "rul_trace",
      "description": "Executes the White-Box Tracer returning per-node min, max, sum/trues, NaN/Inf count, and sample[0..4] telemetry across every SSA node."
    },
    {
      "name": "rul_cas_intrinsics",
      "description": "Runs verified 64-bit FNV-1a content-addressed I64/U8 kernels (sort, hash_join, group_by, simd_scan_byte) in RulCasStore."
    }
  ]
}