1
Published Tools
1
Total Stars
0
Weekly Downloads
0
GitHub Followers
26
Public Repos
100/100
Avg Security
Published Tools
1 MCP Serveracross 1 categoryviktor-drobek
A
Model-checking engine plugin for Claude Code: deterministic mcd CLI, MCP server, Promela/Petri frontends, LTL/CTL verification, evaluations, and release metadata.
...moreMCP Serveruncategorised
11 dir