Axivion MISRA C:2012 Compliance Agent —

An MCP server that analyzes MISRA C:2012 violations from Axivion reports and suggests AST-informed fixes with context-aware explanations.

python

0

GitHub Stars

python

Language

4 months ago

First Indexed

2 months ago

Catalog Refreshed

Documentation & install

Readme and setup notes from the catalogue, plus a client-ready config you can copy for your MCP host.

Installation

Add the following to your MCP client configuration file.

Configuration

View docs

{
  "mcpServers": {
    "varunjain-byte-misra-mcp": {
      "command": "/absolute/path/to/venv/bin/python",
      "args": [
        "/absolute/path/to/fastmcp_server.py"
      ]
    }
  }
}

This MCP server transforms GitHub Copilot into a MISRA C:2012 compliance assistant by loading Axivion static-analysis reports, performing cross-file AST analysis, explaining MISRA violations with rationale, and proposing concrete, confidence-scored fixes that you can apply directly in your editor.

How to use

You interact with the server through an MCP client inside your editor or IDE. Start by loading an Axivion JSON report to build a cross-file index of your C workspace. Then query violations by file to understand the rule impact, inspect rule explanations, and request AST-informed fix proposals. You can examine cross-file impact to see how a proposed change affects related files and call sites, and you can obtain detailed rule rationales and compliant/non-compliant examples to guide your edits.

How to install

Prerequisites you need before running the server.

Ensure Python 3.10 or newer is installed.
Create and activate a Python virtual environment.
Install required Python dependencies from the project’s requirements file.

Configuration and execution

Configure the MCP client to start the server using the exact command shown in the setup example. The following configuration uses a local Python virtual environment to run the server script.

Notes on usage patterns

Load an Axivion JSON report to initialise the workspace index, including include graphs, symbol table, call graph, and typedef registry.
Use the tools to list violations, analyze a violation, explain a rule, propose a fix, and check cross-file impact.

Available tools

load_report

Loads an Axivion JSON report, normalises file paths against the workspace, and builds the cross-file index.

list_violations

Lists all violations in a specific file, with rule titles.

analyze_violation

Performs deep analysis including code context, AST findings, rule explanation, and fix suggestions.

explain_rule

Provides a full MISRA rule reference including title, category, rationale, compliant/non-compliant examples, and fix strategies.

propose_fix

Offers an AST-informed fix with before/after code and potential side effects, with an associated confidence score.

cross_file_impact

Shows cross-file impact for changing a symbol, including declarations, definitions, callers, and affected files.