MCP server for RTL waveform analysis using WAL
Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.
Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"wal-mcp","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.
Everything here was measured by our prober or read from a registry. Nothing is self-reported.
Attributed to the source that supplied each field. Treated as claims, not facts.
# WAL MCP Server MCP (Model Context Protocol) server for RTL waveform analysis using WAL (Waveform Analysis Language). ## Supported Waveform Formats - VCD (Value Change Dump) - FST (Fast Signal Trace) - Any other formats supported by WAL ## Installation and Usage ```bash pip install wal-mcp ``` Add to your MCP client configuration: ```json { "mcpServers": { "wal-mcp": { "type": "stdio", "command": "wal-mcp-server", "args": [] } } } ``` For WAL expression syntax and advanced examples, see the [WAL documentation](https://wal-lang.org/documentation/usage). This package also comes with script to install a skill and sufficient reference material to teach an AI agent how to write WAL. This allows you to use natural language to analyze waveforms. To install the skill into `.claude/skills/` your current directory run: ```sh wal-mcp-install-skills ``` Or pass a filepath to the script to install elsewhere. Alternatively, if you are using the Github CLI application you can install the skill using that. ```sh gh install skill ktbarrett/wal-mcp ``` ## Development To set up a development environment, install the `dev` group and the current package. This is easiest done with `uv`. ```bash uv sync ``` There are also pre-commit hooks which will run lints whenever you make a commit. `prek` is the recommended pre-commit hook runner. First install `prek` if you already haven't. ``` uv tool install prek ``` Then install the git hooks. ``` prek install ``` ## Testing `pytest` is used for testing. Run the following to run all the tests and collect coverage. ```bash pytest ``` You can better visualize the coverage by using a coverage report format such as `html`. ``` coverage html ``` ## Credits Built on [WAL (Waveform Analysis Language)](https://github.com/ics-jku/wal), a domain-specific language for hardware waveform analysis. See the [WAL website](https://wal-lang.org/) for more information. ## License BSD 3-Clause License. S…
Mapped onto the structured taxonomy from declared text and observed tool names. Confidence shown for derived entries.
Every source is kept verbatim. Field changes are logged as events.