ORGANIZATION
christian140903-sudo
4 servers · 6.9/100 avg score · listed on 1 registry
- First listed
- Jul 2026
- Last activity
- Jul 2026
christian140903-sudo publishes 4 MCP servers, listed on Glama. First listed in July 2026. Frequently found alongside peers such as jshsakura, joohyukjung and pasie15.
SERVERS
Model Context Protocol servers
| Rank | Server | Scorei | First listed | Versions | Stars | Repository |
|---|---|---|---|---|---|---|
| #32,385 | proofspecNo credentials | 9.7/100 | Jul 17, 2026 | 1 | — | GitHub |
| #55,133 | agent-invariantsNo credentials | 6.0/100 | Jul 18, 2026 | 1 | — | GitHub |
| #55,134 | behaviorlockNo credentials | 6.0/100 | Jul 17, 2026 | 1 | — | GitHub |
| #55,135 | PostconditionNo credentials | 6.0/100 | Jul 17, 2026 | 1 | — | GitHub |
per page
How we rank →Showing 1–4 of 4
RELATED ORGANIZATIONS