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
      B
      maintenance
      Provides a local offline physics/chemistry simulation bench covering 12 domains, where plain-language intents are converted into simulation blueprints, solved with deterministic proof metrics, and exported to STL/OBJ — no cloud, API key, or LLM required.
      4
      547 npm
      1
      Apache 2.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.
      11
      1,025 PyPI
      19
      Apache 2.0
    • A
      license
      B
      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.
      5
      3
      MIT
    • A
      license
      Not graded
      quality
      A
      maintenance
      Enables AI coding agents to verify code patches locally with sub-50ms neuro-symbolic analysis, detecting structural issues like dependency cycles and interface drift without consuming output tokens.
      1
      Apache 2.0

    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

    ActivitySlowing
    ResponsivenessNo issues