physbound
Related Servers
Alternatives to physbound
No user-submitted related servers found.
Related Servers
- AlicenseNot gradedqualityBmaintenanceEnables AI agents to verify physical admissibility of S-parameter models and coupling matrices, preventing reasoning about impossible physics.Apache 2.0
- AlicenseCqualityCmaintenanceBlueMouse 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.8109AGPL 3.0
- AlicenseAqualityBmaintenanceProvides 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.4547 npm1Apache 2.0
- AlicenseAqualityAmaintenanceDeterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.111,025 PyPI19Apache 2.0
- AlicenseBqualityBmaintenanceEnables 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.53MIT
- AlicenseNot gradedqualityAmaintenanceEnables 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.1Apache 2.0
TDQS
Scored across 6 tools
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.
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.
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.
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.