ORGANIZATION

nickharris808

7 servers · 3.5/100 avg score · listed on 1 registry

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

nickharris808 publishes 7 MCP servers, listed on Glama. First listed in July 2026, most recently updated September 2026. Frequently found alongside peers such as saagpatel, hartemyaakoub and arttttt.

SERVERS

Model Context Protocol servers

RankServerScoreiFirst listedVersionsStarsRepository
#32,246
crs-mcpNo setup
7.0/100Jul 28, 20261—GitHub
#36,510
certified-mcpNo setup
6.4/100Jul 28, 20261—GitHub
#55,627
physics-lint-mcpNo setup
3.8/100Jul 28, 2026Not versioned—GitHub
#67,162
formal-proof-mcpNo setup
2.7/100Jul 28, 2026Not versioned—GitHub
#67,163
minicheck-mcpNo setup
2.7/100Jul 28, 2026Not versioned—GitHub
#121,715
hw-verify-mcpNo setup
0.9/100Jul 28, 2026Not versioned—GitHub
#121,716
pqc-migration-mcpNo setup
0.9/100Jul 28, 2026Not versioned—GitHub
per page
How we rank →
Showing 1–7 of 7
RELATED ORGANIZATIONS

Explore the neighborhood

Other organizations on Glama

Recently updated peers