Skip to main content
Glama
614,487 tools. Updated 2026-09-26 21:26

"LLVM compiler infrastructure and toolchain" matching MCP tools:

  • Compile Lean 4 snippets to verify proofs. Returns the compiler verdict, exposing real errors for repair, and reports unavailable when no Lean toolchain is installed.
    Apache 2.0
  • Discover supported analyzer IDs and aliases for clang-tidy, IWYU, llvm-mca, OSACA, and PVS-Studio, optionally filtered by a specific compiler.
    MIT
  • Verify AVR build environment: resolve toolchain binary paths and check documentation availability to start firmware development.
    Apache 2.0
  • Create a shareable Compiler Explorer shortlink that validates and permanently stores C++ source with up to six compiler configurations for public access.
    MIT
  • Retrieve and inspect C++ source code and compiler settings from a Compiler Explorer shortlink ID. Source is untrusted external content.
    MIT

Matching MCP Servers

  • A
    license
    A
    quality
    B
    maintenance
    MCP server enabling AI agents to search FTC SDK samples, scaffold OpModes, build and deploy TeamCode to REV Control Hub, and read robot logs for a full code-robot-debug loop.
    35
    13 npm
    MIT

Matching MCP Connectors

  • Retrieve per-environment build metadata including defines, include paths, compiler flags, and library directories to see exactly what the compiler sees. Triggers toolchain installation on first use.
    MIT
  • Run 'bal build' on a Ballerina project to confirm it compiles, returning success or compiler diagnostics. Verifies the Ballerina toolchain first and can use offline mode without modifying source files.
    -
  • Apply all confident compiler-offered fixes to a Deed module and return the repaired source, while leaving uncertain suggestions for manual review in deed_check.
    Apache 2.0
  • Retrieves Conan profile configuration for host and build environments. Use to check compiler, architecture, and build settings before listing packages.
    MIT
  • Check a Deed program and report compiler diagnostics and contract obligation tiers: proven, tested, or guarded.
    Apache 2.0
  • Access SDK documentation, integration guides, and API references for Everstake's staking and yield infrastructure.
    BSD 3-Clause
  • Detect packers, obfuscators, and anti-debug/anti-VM techniques in APK files using APKiD YARA rules to identify the compiler or protection tool applied.
    MIT
  • Deploy or destroy AWS infrastructure on LocalStack using CDK, Terraform, or CloudFormation. Manage local development environments by applying infrastructure-as-code from project directories.
    Apache 2.0
    Destructive
  • Look up the implementation status of a C++26 paper across multiple compilers, with optional compiler filter.
    MIT
  • Compile Compact contract code to validate syntax and semantics using a hosted compiler. Returns compiler errors or falls back to static analysis for reliability.
    MIT