"author:8NobleTruths" matching MCP servers:

• Magga

  8NobleTruths

  A

  license

  -Not graded

  quality

  A

  maintenance

  Magga lets coding agents prove their changes before claiming they’re done by building the code and verifying that newly added tests fail before the fix and pass after it. It returns evidence-backed verdicts through the verify_change tool and supports 16 languages, including Rust, Go, Python, Solidity, and C/C++.

  Updated 2 months ago (2026-07-10 13:09 UTC)

  20

  Apache 2.0

• sabba

  8NobleTruths

  A

  license

  -Not graded

  quality

  A

  maintenance

  MCP server for security bug-finding that proves every finding by running exploits, enabling agents to verify changes and find bugs with execution-based evidence.

  Updated a month ago (2026-07-27 05:54 UTC)

  11

  Apache 2.0