MCP server for OMEGA Protocol: governed AI decision records with cryptographic provenance, formally verified in Lean 4
Quick Install
Copy the config for your editor. Some servers may need additional setup — check the README.
Add to claude_desktop_config.json:
{
"mcpServers": {
"mcp-server": {
"command": "npx",
"args": [
"-y",
"repowazdogz-droid/mcp-server"
]
}
}
}
Run in terminal:
claude mcp add mcp-server npx -y repowazdogz-droid/mcp-server
Add to .cursor/mcp.json:
{
"mcpServers": {
"mcp-server": {
"command": "npx",
"args": [
"-y",
"repowazdogz-droid/mcp-server"
]
}
}
}