| Csl Core | Jadx AI MCP | |
|---|---|---|
| Description | Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP. | JADX-AI-MCP is a plugin and MCP Server for the JADX decompiler that integrates directly with Model Context Protocol (MCP) to provide live reverse e... |
| Category | Security | Security |
| Language | Python | Java |
| License | Apache-2.0 | Apache-2.0 |
| Stars | 8 | 1653 |
| Website | https://runtime.chimera-protocol.com/ | https://github.com/zinja-coder/jadx-ai-mcp |