.dockerignore
.env.example
.gitattributes
.nojekyll
.pre-commit-config.yaml
.pre-commit-hooks.yaml
.secrets.baseline
CHANGELOG.md
CITATION.cff
CODEOWNERS
CODE_OF_CONDUCT.md
CONTRIBUTING.md
LICENSE
MANIFEST.in
Makefile
README.md
README_ES.md
pyproject.toml
config/codecov.yml
config/foundry.toml
config/miesc.yaml
config/profiles.yaml
data/benchmark_baseline.json
data/benchmark_improved.json
data/licenses.db
data/vulnerability_embeddings.json
data/audit/AccessControlFlawed.sol
data/audit/FlashLoanVault.sol
data/audit/NFTMarketplace.sol
data/audit/UnsafeToken.sol
data/audit/VulnerableBank.sol
data/audit/certora/VulnerableBank.conf
data/audit/certora/VulnerableBank.sol
data/audit/certora/VulnerableBank.spec
data/benchmarks/README.md
data/fine_tuning/dataset_stats.json
data/fine_tuning/solidity_security_alpaca.json
data/fine_tuning/solidity_security_chatml.jsonl
data/fine_tuning/solidity_security_sharegpt.json
docker/Dockerfile
docker/Dockerfile.full
docker/Dockerfile.prod
docker/Dockerfile.x86
docker/docker-compose.prod-llm.yml
docker/docker-compose.prod.yml
docker/docker-compose.yml
docker/ecs-task-definition.json
docker/health-check.sh
examples/README.md
examples/YOUTUBE_VIDEO_SCRIPT.md
examples/create_youtube_video.sh
examples/cyberpunk_demo.py
examples/demo_defensa_grabacion.py
examples/demo_miesc_v4_complete.py
examples/demo_thesis_defense.py
examples/demo_v3.5.py
examples/miesc_full_demo_2025.py
examples/miesc_interactive_demo.py
examples/miesc_video_demo.py
examples/pre-commit-config.yaml
examples/quick_demo.sh
examples/record_video.sh
examples/record_youtube_video.sh
examples/run_demo.sh
examples/run_full_demo.sh
examples/simple_demo.py
examples/subtitles.srt
examples/subtitles_50s.srt
examples/subtitles_50s_es.srt
examples/subtitles_50s_pt.srt
examples/video_recording_guide.md
examples/youtube_demo.sh
examples/youtube_demo_fast.sh
examples/youtube_demo_v2.sh
examples/contracts/AccessControl.sol
examples/contracts/AccessControlFlaws.sol
examples/contracts/DAOVulnerable.sol
examples/contracts/DeFiVault.sol
examples/contracts/EtherStore.sol
examples/contracts/FlashLoanAttack.sol
examples/contracts/IntegerVulnerabilities.sol
examples/contracts/ParityMultisig.sol
examples/contracts/ReentrancyDAO.sol
examples/contracts/SafeCounter.sol
examples/contracts/SimpleToken.sol
examples/contracts/Vault.sol
examples/contracts/VulnerableBank.sol
examples/contracts/VulnerableDeFi.sol
examples/foundry/Makefile.example
examples/foundry/README.md
examples/foundry/foundry-miesc.yml
examples/foundry/foundry.toml.example
examples/foundry/miesc-hook.sh
examples/hardhat/README.md
examples/hardhat/hardhat-miesc.yml
examples/hardhat/hardhat.config.example.js
examples/hardhat/index.d.ts
examples/hardhat/index.js
examples/hardhat/package.json
examples/sample-plugin/README.md
examples/sample-plugin/VulnerableProxy.sol
examples/sample-plugin/miesc-dangerous_delegatecall/README.md
examples/sample-plugin/miesc-dangerous_delegatecall/pyproject.toml
examples/sample-plugin/miesc-dangerous_delegatecall/dangerous_delegatecall/__init__.py
examples/sample-plugin/miesc-dangerous_delegatecall/dangerous_delegatecall/detectors.py
examples/sample-plugin/miesc-dangerous_delegatecall/tests/__init__.py
examples/sample-plugin/miesc-dangerous_delegatecall/tests/test_dangerous_delegatecall.py
miesc/__init__.py
miesc/__main__.py
miesc/mcp_server.py
miesc/adapters/__init__.py
miesc/agents/__init__.py
miesc/api/__init__.py
miesc/api/rest.py
miesc/cli/__init__.py
miesc/cli/main.py
miesc/core/__init__.py
miesc/core/orchestrator.py
miesc/core/quick_scanner.py
miesc/detectors/__init__.py
miesc/detectors/examples.py
miesc/llm/__init__.py
miesc/mcp/__init__.py
miesc/ml/__init__.py
miesc/plugins/__init__.py
miesc/plugins/config.py
miesc/plugins/manager.py
miesc/plugins/templates/__init__.py
miesc/security/__init__.py
scripts/build-images.sh
scripts/capture_evidence.py
scripts/docker-setup.sh
scripts/generate_academic_report.py
scripts/generate_bilingual_report.py
scripts/generate_separate_reports.py
scripts/generate_slides.py
scripts/generate_thesis_pptx.py
scripts/install.sh
scripts/install_tools.py
scripts/miesc-quick
scripts/publish.sh
scripts/run_benchmark.py
scripts/run_complete_multilayer_audit.py
scripts/run_full_audit.py
scripts/validate_installation.sh
scripts/verify_installation.py
src/__init__.py
src/miesc_core.py
src/miesc_policy_mapper.py
src/miesc_risk_engine.py
src/adapters/__init__.py
src/adapters/aderyn_adapter.py
src/adapters/advanced_detector_adapter.py
src/adapters/algorand_adapter.py
src/adapters/audit_consensus_adapter.py
src/adapters/bridge_monitor_adapter.py
src/adapters/cardano_adapter.py
src/adapters/certora_adapter.py
src/adapters/circom_analyzer_adapter.py
src/adapters/contract_clone_detector_adapter.py
src/adapters/crosschain_adapter.py
src/adapters/dagnn_adapter.py
src/adapters/defi_adapter.py
src/adapters/dogefuzz_adapter.py
src/adapters/echidna_adapter.py
src/adapters/exploit_synthesizer_adapter.py
src/adapters/foundry_adapter.py
src/adapters/fouranalyzer_adapter.py
src/adapters/gas_analyzer_adapter.py
src/adapters/gptlens_adapter.py
src/adapters/gptscan_adapter.py
src/adapters/halmos_adapter.py
src/adapters/hardhat_adapter.py
src/adapters/iaudit_adapter.py
src/adapters/invariant_synthesizer.py
src/adapters/l2_validator_adapter.py
src/adapters/llamaaudit_adapter.py
src/adapters/llmbugscanner_adapter.py
src/adapters/llmsmartaudit_adapter.py
src/adapters/manticore_adapter.py
src/adapters/medusa_adapter.py
src/adapters/mev_detector_adapter.py
src/adapters/move_adapter.py
src/adapters/mythril_adapter.py
src/adapters/near_adapter.py
src/adapters/oyente_adapter.py
src/adapters/pakala_adapter.py
src/adapters/peculiar_adapter.py
src/adapters/propertygpt_adapter.py
src/adapters/remediation_validator_adapter.py
src/adapters/scribble_adapter.py
src/adapters/semgrep_adapter.py
src/adapters/slither_adapter.py
src/adapters/smartbugs_detector_adapter.py
src/adapters/smartbugs_ml_adapter.py
src/adapters/smartguard_adapter.py
src/adapters/smartllm_adapter.py
src/adapters/smartllm_rag_knowledge.py
src/adapters/smtchecker_adapter.py
src/adapters/solana_adapter.py
src/adapters/solcmc_adapter.py
src/adapters/solhint_adapter.py
src/adapters/stellar_adapter.py
src/adapters/threat_model_adapter.py
src/adapters/upgradability_checker_adapter.py
src/adapters/vertigo_adapter.py
src/adapters/vuln_verifier_adapter.py
src/adapters/wake_adapter.py
src/adapters/zk_circuit_adapter.py
src/agents/__init__.py
src/agents/aderyn_agent.py
src/agents/ai_agent.py
src/agents/auditor_agent.py
src/agents/base_agent.py
src/agents/coordinator_agent.py
src/agents/crewai_coordinator.py
src/agents/dynamic_agent.py
src/agents/formal_agent.py
src/agents/gptscan_agent.py
src/agents/halmos_agent.py
src/agents/interpretation_agent.py
src/agents/llm_smartaudit_agent.py
src/agents/medusa_agent.py
src/agents/ollama_agent.py
src/agents/policy_agent.py
src/agents/recommendation_agent.py
src/agents/slither_protocol_agent.py
src/agents/smartllm_agent.py
src/agents/smtchecker_agent.py
src/agents/static_agent.py
src/agents/symbolic_agent.py
src/agents/wake_agent.py
src/agents/audit_readiness/__init__.py
src/agents/audit_readiness/documentation_analyzer.py
src/agents/audit_readiness/maturity_analyzer.py
src/agents/audit_readiness/security_practices_analyzer.py
src/agents/audit_readiness/testing_analyzer.py
src/benchmark/__init__.py
src/benchmark/benchmark_runner.py
src/benchmark/dataset_loader.py
src/benchmark/metrics_calculator.py
src/benchmark/pattern_benchmark.py
src/benchmark/slither_benchmark.py
src/core/__init__.py
src/core/agent_protocol.py
src/core/agent_registry.py
src/core/chain_abstraction.py
src/core/config_loader.py
src/core/correlation_api.py
src/core/exceptions.py
src/core/exporters.py
src/core/framework_detector.py
src/core/health_checker.py
src/core/llm_config.py
src/core/logging_config.py
src/core/metrics.py
src/core/ml_orchestrator.py
src/core/optimized_orchestrator.py
src/core/persistence.py
src/core/result_aggregator.py
src/core/rich_cli.py
src/core/tool_discovery.py
src/core/tool_protocol.py
src/core/websocket_api.py
src/dashboard/__init__.py
src/dashboard/real_time_dashboard.html
src/detectors/__init__.py
src/detectors/advanced_detectors.py
src/detectors/defi_detectors.py
src/detectors/dependency_analyzer.py
src/detectors/detector_api.py
src/detectors/example_detectors.py
src/detectors/smartbugs_detectors.py
src/integration/__init__.py
src/integration/adapter_integration.py
src/knowledge_base/__init__.py
src/knowledge_base/vulnerabilities.json
src/licensing/__init__.py
src/licensing/admin_api.py
src/licensing/cli.py
src/licensing/key_generator.py
src/licensing/license_manager.py
src/licensing/models.py
src/licensing/plans.py
src/licensing/quota_checker.py
src/llm/__init__.py
src/llm/ensemble_detector.py
src/llm/finding_validator.py
src/llm/llm_orchestrator.py
src/llm/openllama_helper.py
src/llm/remediation_generator.py
src/llm/vulnerability_rag.py
src/mcp/__init__.py
src/mcp/context_bus.py
src/mcp/tool_registry.py
src/mcp/websocket_server.py
src/miesc_tests/__init__.py
src/miesc_tests/test_policy_agent.py
src/ml/__init__.py
src/ml/call_graph.py
src/ml/classic_patterns.py
src/ml/code_embeddings.py
src/ml/correlation_engine.py
src/ml/defi_patterns.py
src/ml/false_positive_filter.py
src/ml/feedback_loop.py
src/ml/fp_classifier.py
src/ml/fp_filter.py
src/ml/invariant_validator.py
src/ml/ml_invariant_synthesizer.py
src/ml/severity_classifier.py
src/ml/severity_predictor.py
src/ml/slither_ir_parser.py
src/ml/slither_validator.py
src/ml/taint_analysis.py
src/ml/vulnerability_clusterer.py
src/ml/fine_tuning/README.md
src/ml/fine_tuning/__init__.py
src/ml/fine_tuning/dataset_generator.py
src/ml/fine_tuning/fine_tuning_trainer.py
src/plugins/__init__.py
src/plugins/loader.py
src/plugins/protocol.py
src/plugins/registry.py
src/plugins/templates.py
src/poc/__init__.py
src/poc/poc_generator.py
src/poc/templates/access_control.t.sol
src/poc/templates/flash_loan.t.sol
src/poc/templates/oracle_manipulation.t.sol
src/poc/templates/reentrancy.t.sol
src/poc/validators/__init__.py
src/poc/validators/foundry_runner.py
src/reports/__init__.py
src/reports/audit_report.py
src/reports/llm_interpreter.py
src/reports/risk_calculator.py
src/security/README.md
src/security/README_ES.md
src/security/__init__.py
src/security/api_limiter.py
src/security/compliance_mapper.py
src/security/input_validator.py
src/security/remediation_engine.py
src/security/remediations.py
src/security/secure_logging.py
src/tests/ERC4626Test.t.sol
src/tests/OracleTest.t.sol
src/tests/ProxyTest.t.sol
src/tests/ReentrancyTest.t.sol
src/tests/__init__.py
src/utils/__init__.py
src/utils/ai_assistant.py
src/utils/enhanced_reporter.py
src/utils/metrics_dashboard.py
src/utils/web_dashboard.py
vscode-extension/.eslintrc.json
vscode-extension/.vscodeignore
vscode-extension/README.md
vscode-extension/package-lock.json
vscode-extension/package.json
vscode-extension/tsconfig.json
vscode-extension/media/shield.svg
vscode-extension/src/extension.ts
vscode-extension/src/services/miescCli.ts
vscode-extension/src/services/miescClient.ts
vscode-extension/src/views/findingsTreeView.ts
vscode-extension/src/views/layersTreeView.ts
webapp/app.py
webapp/dashboard_enhanced.py