ORGANIZATION

septract

2 servers · 6.2/100 avg score · listed on 1 registry

View on GitHub ↗Claim this organization
First listed
Jun 2026
Last activity
Sep 2026
  • code tools

septract publishes 2 MCP servers, listed on Glama. First listed in June 2026, most recently updated September 2026. Its work centers on code tools tooling. Frequently found alongside peers such as MarkHorwell, lobster-kit and kunihiros.

SERVERS

Model Context Protocol servers

RankServerScoreiFirst listedVersionsStarsRepository
#30,355
Aristotle MCP ServerAPI key
7.5/100Jun 21, 2026Not versioned14GitHub
#45,706
ACL2 MCP ServerNo setup
5.0/100Jun 21, 2026Not versioned5GitHub
per page
How we rank →
Showing 1–2 of 2
RELATED ORGANIZATIONS

Explore the neighborhood

Other organizations on Glama

Organizations with similar tools

Recently updated peers