Add SpecProof MCP server for 3GPP/IETF spec search · modelcontextprotocol/servers@a73f966

Triggered via pull request January 30, 2026 21:51

ibouazizi

opened #3272

Status Success

Total duration 45s

Artifacts 3

python.yml

on: pull_request

Matrix: test

Matrix: build

Matrix: publish

Produced during runtime

Name	Size	Digest
dist-fetch Expired	85.1 KB	`sha256:52f535a99636a1704dc7317dc2ffe6dda3180b9d1e13ae65f509d040259bea04`
dist-git Expired	72.4 KB	`sha256:17ce85f53e42ab32f4917bdc2c8ba07a9a7e39d876bec83c93aca354564d5693`
dist-time Expired	68.3 KB	`sha256:0d7956dd298416b74fb3cbcc60ddb0de7adca904b2bc21e07e1b04142bd767de`