ARM Verification MCP Servers

A collection of MCP servers providing structured tools for ARM specification, verification, assembly analysis, and performance checks. They enable LLM agents and engineers to perform formal verification, analyze assembly code, and evaluate performance constraints.

→ bivex/f3mcp · listed on glama

Is this your MCP?

Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.

Install from

Glama

M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.

// key findings

✅

No credential exfiltration, no sensitive file access, no obfuscation

Static analysis found nothing flowing your secrets to unexpected places.

// required environment variables

This server reads these from process.env. You'll be asked to provide them before it can run.

configZ3_BINARY— You can override the solver path explicitly with =/absolute/path/to/z3.

// full audit trail

The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.

// improvement guidance — verified publishers only

We have 6 concrete improvements we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.

// embed badge in your README

[![M8ven Score](https://m8ven.ai/badge/mcp/bivex-f3mcp-aay1kn)](https://m8ven.ai/mcp/bivex-f3mcp-aay1kn)

commit: 0b1a22eedd5f9eee424e7cef11173a37872fa7c4

code hash: 5c45ec7735f52c350261d5a5735d8c2df350d5722525eece936efcfe35953e60

verified: 6/21/2026, 10:17:22 AM

view raw JSON →