Publisher · GitHub account
MCP servers published by davet47
2 servers in the official MCP Registry are published under the namespace io.github.davet47/ and have a page in this directory: both run locally from a package. First published 2026-07-09; latest update 2026-09-01.
What this publisher publishes
Names under io.github.davet47/ can only be published by someone who signs in to the MCP Registry as the GitHub user davet47, or as a member of the GitHub organisation of that name. The name shows which GitHub account published the entry; it does not show that the account belongs to the company whose product a server works with.
- Namespace
io.github.davet47- Servers with a page
- 2
- Categories
- developer (2)
- Transports
- stdio (local process) (2)
- Package registries
- PyPI (2)
- Packages declaring environment variables
- 0 of 2
- First published
- 2026-07-09
- Latest update
- 2026-09-01
Source repositories
The 2 repositories these servers state, with how many servers name each.
| Repository | Servers |
|---|---|
| github.com/davet47/hashloom | 1 |
| github.com/davet47/heddle | 1 |
All 2 servers, A to Z
| Server | Runs |
|---|---|
| HashloomContent-addressed contracts and a verification cache that cut agent context by skipping proven code. | Local · stdio |
| HeddleContent-addressed contracts and a verification cache that cut agent context by skipping proven code. | Local · stdio |
Grouped by registry namespace, as the MCP Registry states it. A page here is not an endorsement and nobody pays to be listed: editorial policy · Before you connect a server