MCP servers by sysprog21

sysprog21 publishes 3 live MCP servers on GitHub. Listed by trust score; the score reflects each repository's own health, security checks, and documentation.

live servers

avg trust

494

most stars

Zhtw MCP

sysprog21

A linguistic linter for Traditional Chinese (zh-TW)

★ 494updated 13 days ago

Frama C MCP

sysprog21

MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration

★ 36updated 2 days ago

Hackmd MCP

sysprog21

Rust-native MCP server for HackMD API

★ 10updated 4 days agoMIT