Editore · account GitHub
Server MCP pubblicati da davet47
2 server del MCP Registry ufficiale sono pubblicati sotto il namespace io.github.davet47/ e hanno una pagina in questa directory: entrambi eseguiti in locale da un pacchetto. Prima pubblicazione: 9 luglio 2026; ultimo aggiornamento: 1 settembre 2026.
Cosa pubblica questo editore
I nomi sotto io.github.davet47/ possono essere pubblicati solo da chi accede al MCP Registry come utente GitHub davet47, o con i diritti che il registro richiede nell’organizzazione GitHub con quel nome (la sua documentazione ora richiede il ruolo di proprietario dell’organizzazione). Il nome indica quale account GitHub ha pubblicato la voce; non dimostra che l’account appartenga all’azienda del prodotto con cui funziona un server.
- Namespace
io.github.davet47- Server con una pagina
- 2
- Categorie
- sviluppo (2)
- Trasporti
- stdio (processo locale) (2)
- Registri di pacchetti
- PyPI (2)
- Pacchetti che dichiarano variabili d’ambiente
- 0 su 2
- Prima pubblicazione
- 9 luglio 2026
- Ultimo aggiornamento
- 1 settembre 2026
Repository di origine
I 2 repository dichiarati da questi server, con il numero di server che citano ciascuno, dal più citato.
| Repository | Server |
|---|---|
| github.com/davet47/hashloom | 1 |
| github.com/davet47/heddle | 1 |
Tutti i 2 server, dalla A alla Z
| Server | Esecuzione |
|---|---|
| HashloomContent-addressed contracts and a verification cache that cut agent context by skipping proven code. | Locale · stdio |
| HeddleContent-addressed contracts and a verification cache that cut agent context by skipping proven code. | Locale · stdio |
Raggruppati per namespace del registro, come indicato nel MCP Registry. Una pagina qui non è un avallo e nessuno paga per essere elencato: linee guida editoriali · Prima di collegare un server