Bajuzjefe/Aikido-Security-Analysis-Platform
Security analysis platform for Aiken smart contracts on Cardano: 75 detectors, SMT verification, transaction simulation
Stars
2
Forks
—
Language
Rust
License
MIT
Category
Last pushed
Feb 26, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/mcp/Bajuzjefe/Aikido-Security-Analysis-Platform"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
AndrewAltimit/template-repo
Agent orchestration & security template featuring MCP tool building, agent2agent workflows,...
Chimera-Protocol/csl-core
Deterministic safety layer for AI agents. Z3-verified policy enforcement.
agentralabs/agentic-contract
Policy engine for AI agents — enforceable rules, risk limits, approval gates, obligation...
portofcontext/pctx
pctx is the execution layer for agentic tool calls. It auto-converts agent tools and MCP servers...
behrensd/mcpwall
Deterministic security proxy for MCP tool calls — iptables for MCP