Skip to main content
Glama

Related Servers

Alternatives to physbound

No user-submitted related servers found.

    Related Servers

    • A
      license
      Not graded
      quality
      B
      maintenance
      Enables AI agents to verify physical admissibility of S-parameter models and coupling matrices, preventing reasoning about impossible physics.
      Apache 2.0
    • A
      license
      C
      quality
      C
      maintenance
      BlueMouse is the "Prefrontal Cortex" for LLMs. It uses a 180k+ failure pattern database to validate code logic before execution, acting as a rigorous Quality Gate to prevent hallucinations and unsafe operations.
      8
      109
      AGPL 3.0
    • A
      license
      A
      quality
      A
      maintenance
      Deterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.
      6
      17
      Apache 2.0
    • A
      license
      Not graded
      quality
      B
      maintenance
      Enables LLM agents to run verified DFT materials workflows (structure fetch, relaxation, band/DOS) with automated convergence gates and physics validation, ensuring every result is machine-verified with a complete evidence trail.
      2
      MIT
    • A
      license
      Not graded
      quality
      A
      maintenance
      Verified unit conversion and dimensional analysis for AI agents. 190+ units, 31 domain formulas (clinical, physics, aerospace, SRE), physical constants with uncertainty propagation. Refuses invalid conversions structurally: the tool that won't convert mg to mL and knows the difference between torque and energy.
      AGPL 3.0
    • A
      license
      Not graded
      quality
      F
      maintenance
      Provides AI agents with physics-based corrosion engineering calculations, from rapid handbook lookups to mechanistic electrochemical models with dual-tier pitting assessment for material compatibility screening and corrosion rate prediction.
      1
      MIT

    TDQS

    A4.6/5.0

    Scored across 6 tools

    Disambiguation4/5

    Each tool targets a distinct RF physics equation family, and the descriptions are detailed enough to disambiguate most cases. However, rf_link_budget and antenna_gain both validate antenna gain claims against the same physical aperture/Harrington limits, so an agent could initially be uncertain which tool to call for a gain-checking task.

    Naming Consistency5/5

    All six tool names follow a consistent snake_case noun phrase pattern: rf_link_budget, shannon_hartley, noise_floor, radar_range, antenna_gain, radar_ambiguity. There is no mixing of conventions or vague verbs, so the naming is predictable and readable.

    Tool Count5/5

    Six tools is well-scoped for a specialized RF/physics validation server. Each tool covers a distinct and substantial calculation area, and none feel redundant or unnecessary.

    Completeness5/5

    The tool set covers the major RF physical-layer validation surfaces: link budgeting, channel capacity, noise floor and sensitivity, radar range, antenna gain limits, and pulse-Doppler ambiguity. Within the apparent domain of validating RF claims against physics, there are no obvious dead ends or missing core operations.

    Maintenance

    ActivityMaintained
    ResponsivenessNo issues