pmat 3.14.0

PMAT - Zero-config AI context generation and code quality toolkit (CLI, MCP, HTTP)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160

//! JSON Schema definitions for MCP tool parameters

use super::handler::SimpleMcpHandler;
use serde_json::{json, Value};

impl SimpleMcpHandler {
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub(crate) fn get_complexity_schema(&self) -> Value {
        json!({
            "type": "object",
            "properties": {
                "path": {"type": "string"},
                "format": {"type": "string", "enum": ["table", "json", "yaml", "markdown", "csv", "summary"]},
                "output": {"type": "string"},
                "top_files": {"type": "integer"},
                "include_tests": {"type": "boolean"},
                "timeout": {"type": "integer"},
                "max_cyclomatic": {"type": "integer"},
                "max_cognitive": {"type": "integer"},
                "max_halstead": {"type": "number"}
            },
            "required": ["path"]
        })
    }

    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub(crate) fn get_satd_schema(&self) -> Value {
        json!({
            "type": "object",
            "properties": {
                "path": {"type": "string"},
                "format": {"type": "string", "enum": ["table", "json", "yaml", "markdown", "csv", "summary"]},
                "output": {"type": "string"},
                "top_files": {"type": "integer"},
                "include_tests": {"type": "boolean"},
                "timeout": {"type": "integer"},
                "severity": {"type": "string", "enum": ["low", "medium", "high", "critical"]},
                "critical_only": {"type": "boolean"},
                "strict": {"type": "boolean"},
                "fail_on_violation": {"type": "boolean"}
            },
            "required": ["path"]
        })
    }

    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub(crate) fn get_dead_code_schema(&self) -> Value {
        json!({
            "type": "object",
            "properties": {
                "path": {"type": "string"},
                "format": {"type": "string", "enum": ["table", "json", "yaml", "markdown", "csv", "summary"]},
                "output": {"type": "string"},
                "top_files": {"type": "integer"},
                "include_tests": {"type": "boolean"},
                "timeout": {"type": "integer"},
                "include_unreachable": {"type": "boolean"},
                "min_dead_lines": {"type": "integer"},
                "max_percentage": {"type": "number"},
                "fail_on_violation": {"type": "boolean"}
            },
            "required": ["path"]
        })
    }

    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub(crate) fn get_tdg_schema(&self) -> Value {
        json!({
            "type": "object",
            "properties": {
                "path": {"type": "string"},
                "format": {"type": "string", "enum": ["table", "json", "yaml", "markdown", "csv", "summary"]},
                "output": {"type": "string"},
                "top_files": {"type": "integer"},
                "include_tests": {"type": "boolean"},
                "timeout": {"type": "integer"},
                "threshold": {"type": "number"},
                "include_components": {"type": "boolean"},
                "critical_only": {"type": "boolean"}
            },
            "required": ["path"]
        })
    }

    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub(crate) fn get_lint_hotspot_schema(&self) -> Value {
        json!({
            "type": "object",
            "properties": {
                "path": {"type": "string"},
                "format": {"type": "string", "enum": ["table", "json", "yaml", "markdown", "csv", "summary"]},
                "output": {"type": "string"},
                "top_files": {"type": "integer"},
                "include_tests": {"type": "boolean"},
                "timeout": {"type": "integer"},
                "file": {"type": "string"},
                "max_density": {"type": "number"},
                "min_confidence": {"type": "number"},
                "enforce": {"type": "boolean"},
                "dry_run": {"type": "boolean"}
            },
            "required": ["path"]
        })
    }

    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub(crate) fn get_quality_gate_schema(&self) -> Value {
        json!({
            "type": "object",
            "properties": {
                "path": {"type": "string"},
                "format": {"type": "string", "enum": ["table", "json", "yaml", "markdown", "csv", "summary"]},
                "output": {"type": "string"},
                "top_files": {"type": "integer"},
                "include_tests": {"type": "boolean"},
                "timeout": {"type": "integer"},
                "profile": {"type": "string", "enum": ["standard", "strict", "extreme", "toyota"]},
                "file": {"type": "string"},
                "fail_on_violation": {"type": "boolean"},
                "verbose": {"type": "boolean"}
            },
            "required": ["path"]
        })
    }

    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub(crate) fn get_entropy_schema(&self) -> Value {
        json!({
            "type": "object",
            "properties": {
                "path": {"type": "string"},
                "format": {"type": "string", "enum": ["table", "json", "yaml", "markdown", "csv", "summary"]},
                "output": {"type": "string"},
                "top_files": {"type": "integer"},
                "include_tests": {"type": "boolean"},
                "timeout": {"type": "integer"},
                "min_severity": {"type": "string", "enum": ["low", "medium", "high"]},
                "top_violations": {"type": "integer"},
                "file": {"type": "string"}
            },
            "required": ["path"]
        })
    }

    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub(crate) fn get_refactor_schema(&self) -> Value {
        json!({
            "type": "object",
            "properties": {
                "file": {"type": "string"},
                "format": {"type": "string", "enum": ["table", "json", "yaml", "markdown", "csv", "summary"]},
                "output": {"type": "string"},
                "target_complexity": {"type": "integer"},
                "dry_run": {"type": "boolean"},
                "timeout": {"type": "integer"}
            },
            "required": ["file"]
        })
    }
}