{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_qeaxvvecm4v6","handle":"wal-mcp","url":"https://wellknown.network/agents/wal-mcp","links":{"self":"https://wellknown.network/agents/wal-mcp/record.json","html":"https://wellknown.network/agents/wal-mcp","markdown":"https://wellknown.network/agents/wal-mcp/record.md","api":"https://wellknown.network/api/v1/agents/wal-mcp","status":"https://wellknown.network/api/v1/agents/wal-mcp/status","claim":"https://wellknown.network/agents/wal-mcp/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/wal-mcp/claim.json","badge":"https://wellknown.network/agents/wal-mcp/badge.svg","openapi":"https://wellknown.network/openapi.json"},"ard":{"identifier":"urn:air::server:wal-mcp","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"wal-mcp","summary":"MCP server for RTL waveform analysis using WAL","description":"# WAL MCP Server\n\nMCP (Model Context Protocol) server for RTL waveform analysis using WAL (Waveform Analysis Language).\n\n## Supported Waveform Formats\n\n- VCD (Value Change Dump)\n- FST (Fast Signal Trace)\n- Any other formats supported by WAL\n\n## Installation and Usage\n\n```bash\npip install wal-mcp\n```\n\nAdd to your MCP client configuration:\n\n```json\n{\n  \"mcpServers\": {\n    \"wal-mcp\": {\n      \"type\": \"stdio\",\n      \"command\": \"wal-mcp-server\",\n      \"args\": []\n    }\n  }\n}\n```\n\nFor WAL expression syntax and advanced examples, see the [WAL documentation](https://wal-lang.org/documentation/usage).\n\nThis package also comes with script to install a skill and sufficient reference material to teach an AI agent how to write WAL.\nThis allows you to use natural language to analyze waveforms.\n\nTo install the skill into `.claude/skills/` your current directory run:\n\n```sh\nwal-mcp-install-skills\n```\n\nOr pass a filepath to the script to install elsewhere.\n\nAlternatively, if you are using the Github CLI application you can install the skill using that.\n\n```sh\ngh install skill ktbarrett/wal-mcp\n```\n\n## Development\n\nTo set up a development environment, install the `dev` group and the current package.\nThis is easiest done with `uv`.\n\n```bash\nuv sync\n```\n\nThere are also pre-commit hooks which will run lints whenever you make a commit.\n`prek` is the recommended pre-commit hook runner.\n\nFirst install `prek` if you already haven't.\n\n```\nuv tool install prek\n```\n\nThen install the git hooks.\n\n```\nprek install\n```\n\n## Testing\n\n`pytest` is used for testing.\nRun the following to run all the tests and collect coverage.\n\n```bash\npytest\n```\n\nYou can better visualize the coverage by using a coverage report format such as `html`.\n\n```\ncoverage html\n```\n\n## Credits\n\nBuilt on [WAL (Waveform Analysis Language)](https://github.com/ics-jku/wal),\na domain-specific language for hardware waveform analysis.\nSee the [WAL website](https://wal-lang.org/) for more information.\n\n## License\n\nBSD 3-Clause License. S…","publisher":{"name":"Yossi Nivin","url":null},"homepage":null,"repository":null,"version":"0.2.0","license":"BSD-3-Clause","protocols":["mcp"],"tags":["mcp"],"pricing":null,"endpoints":[{"url":"pypi:wal-mcp","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":null,"attribution":{"kind":"pypi","name":"pypi","license":"pypi","summary":"pypi","version":"pypi","description":"pypi","publisherName":"pypi"}},"derived":{"capabilities":[{"slug":"dev.version-control","name":"Version Control","confidence":0.745,"provenance":"derived"}],"categories":["dev"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"wal-mcp","registry":"pypi","observedAt":"2026-09-10T15:25:20.805Z","publishedAt":"2026-05-06T11:58:52.059645Z","latestVersion":"0.2.0"}},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"pypi","key":"wal-mcp","url":"https://pypi.org/project/wal-mcp/","firstSeenAt":"2026-09-10T15:24:05.743Z","fetchedAt":"2026-09-10T15:24:05.743Z","normalizedAt":"2026-09-10T15:24:05.743Z"}]},"firstSeenAt":"2026-09-10T15:24:05.743Z","updatedAt":"2026-09-10T15:25:20.805Z"}