ORGANIZATION

peterthiemann

1 server · 13.0/100 avg score · listed on 1 registry

View on GitHub ↗Claim this organization
First listed
Jul 2026
Last activity
Sep 2026

peterthiemann publishes 1 MCP server, listed on Glama. First listed in July 2026, most recently updated September 2026. Frequently found alongside peers such as jerichosequitin, stevengonsalvez and mavaali.

SERVERS

Model Context Protocol servers

RankServerScoreiFirst listedVersionsStarsRepository
#12,924
agda-mcpNo setup
13.0/100Jul 19, 20265—GitHub
per page
How we rank →
Showing 1–1 of 1
RELATED ORGANIZATIONS

Explore the neighborhood

Other organizations on Glama

Recently updated peers