.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
CONTRIBUTORS.md
DPG-COMPLIANCE.md
Dockerfile
Dockerfile.x86
GOVERNANCE.md
INSTALL.md
LICENSE
MANIFEST.in
Makefile
PRIVACY.md
QUICKSTART.md
README.md
README_ES.md
SECURITY.md
docker-compose.yml
foundry.toml
install.sh
mkdocs.yml
pyproject.toml
run_complete_multilayer_audit.py
config/miesc.yaml
config/profiles.yaml
contracts/Vault.sol
contracts/audit/AccessControlFlawed.sol
contracts/audit/FlashLoanVault.sol
contracts/audit/NFTMarketplace.sol
contracts/audit/UnsafeToken.sol
contracts/audit/VulnerableBank.sol
contracts/audit/certora/VulnerableBank.conf
contracts/audit/certora/VulnerableBank.sol
contracts/audit/certora/VulnerableBank.spec
data/licenses.db
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
demo/README.md
demo/create_youtube_video.sh
demo/demo_defensa_grabacion.py
demo/demo_miesc_v4_complete.py
demo/demo_thesis_defense.py
demo/miesc_video_demo.py
demo/quick_demo.sh
demo/record_video.sh
demo/run_demo.sh
demo/run_full_demo.sh
demo/subtitles.srt
demo/subtitles_50s.srt
demo/subtitles_50s_es.srt
demo/subtitles_50s_pt.srt
demo/video_recording_guide.md
deploy/.env.example
deploy/Dockerfile.prod
deploy/docker-compose.prod.yml
deploy/ecs-task-definition.json
deprecated/GPTLens_tool.py
deprecated/Llama2_tool.py
deprecated/README.md
deprecated/audit_generator.py
deprecated/manticore_tool.py
deprecated/miesc_ai_layer.py
deprecated/miesc_cli.py
deprecated/miesc_core.py
deprecated/miesc_mcp_adapter.py
deprecated/miesc_mcp_rest.py
deprecated/miesc_ml_cli.py
deprecated/miesc_policy_agent.py
deprecated/miesc_policy_mapper.py
deprecated/miesc_risk_engine.py
deprecated/miesc_security_checks.py
deprecated/miesc_websocket_api.py
deprecated/mythril_tool.py
deprecated/orchestrator.py
deprecated/project_analyzer.py
deprecated/rawchatGPT_tool.py
deprecated/slither_tool.py
deprecated/surya_tool.py
deprecated/symbolic_agent 2.py
examples/cyberpunk_demo.py
examples/demo_v3.5.py
examples/miesc_full_demo_2025.py
examples/miesc_interactive_demo.py
examples/run_demo.sh
examples/simple_demo.py
miesc/__init__.py
miesc/__main__.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/llm/__init__.py
miesc/mcp/__init__.py
miesc/ml/__init__.py
miesc/security/__init__.py
reports/REPORT.md
reports/demo_audit.html
reports/demo_audit.json
reports/demo_audit_report.html
reports/demo_audit_report.json
reports/report.json
reports/sample_audit.html
reports/sample_audit.json
scripts/capture_evidence.py
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_tools.py
scripts/miesc-quick
scripts/publish.sh
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/certora_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/foundry_adapter.py
src/adapters/gas_analyzer_adapter.py
src/adapters/gptscan_adapter.py
src/adapters/halmos_adapter.py
src/adapters/invariant_synthesizer.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/mythril_adapter.py
src/adapters/propertygpt_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/solhint_adapter.py
src/adapters/threat_model_adapter.py
src/adapters/vertigo_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/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/core/__init__.py
src/core/agent_protocol.py
src/core/agent_registry.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/llm_orchestrator.py
src/llm/openllama_helper.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/code_embeddings.py
src/ml/correlation_engine.py
src/ml/false_positive_filter.py
src/ml/feedback_loop.py
src/ml/severity_predictor.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/reports/__init__.py
src/reports/audit_report.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.json
vscode-extension/tsconfig.json
vscode-extension/media/shield.svg
vscode-extension/src/extension.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