1 listing · 0 installs
Open-source publisher. Listings imported from github.com/Bajuzjefe — credited to the original author with their license.
mcp-bajuzjefe-aikido-security-analysis-platform · by Bajuzjefe
Security analysis platform for Aiken smart contracts on Cardano: 75 detectors, SMT verification, transaction simulation
