CHANGELOG.md
LICENSE
MANIFEST.in
README.md
pyproject.toml
requirements.txt
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/constants.py
miesc/cli/main.py
miesc/cli/utils.py
miesc/cli/commands/__init__.py
miesc/cli/commands/analyze.py
miesc/cli/commands/audit.py
miesc/cli/commands/benchmark.py
miesc/cli/commands/compliance.py
miesc/cli/commands/config.py
miesc/cli/commands/detect.py
miesc/cli/commands/detectors.py
miesc/cli/commands/doctor.py
miesc/cli/commands/evaluate.py
miesc/cli/commands/export.py
miesc/cli/commands/fix.py
miesc/cli/commands/init.py
miesc/cli/commands/plugins.py
miesc/cli/commands/poc.py
miesc/cli/commands/report.py
miesc/cli/commands/scan.py
miesc/cli/commands/server.py
miesc/cli/commands/specs.py
miesc/cli/commands/testgen.py
miesc/cli/commands/tools.py
miesc/cli/commands/verify.py
miesc/cli/commands/watch.py
miesc/core/__init__.py
miesc/core/orchestrator.py
miesc/core/quick_scanner.py
miesc/data/config/miesc.yaml
miesc/data/config/profiles.yaml
miesc/data/templates/reports/README.md
miesc/data/templates/reports/checklist.md
miesc/data/templates/reports/compliance.md
miesc/data/templates/reports/executive.md
miesc/data/templates/reports/github-pr.md
miesc/data/templates/reports/premium.md
miesc/data/templates/reports/profesional.md
miesc/data/templates/reports/professional.md
miesc/data/templates/reports/simple.md
miesc/data/templates/reports/technical.md
miesc/detectors/__init__.py
miesc/detectors/builtin.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
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/bridge_patterns.py
src/adapters/cairo_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/frontier_llm_adapter.py
src/adapters/gas_analyzer_adapter.py
src/adapters/gptlens_adapter.py
src/adapters/gptlens_prompts.py
src/adapters/gptscan_adapter.py
src/adapters/halmos_adapter.py
src/adapters/hardhat_adapter.py
src/adapters/iaudit_adapter.py
src/adapters/iaudit_prompts.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/deep_audit_agent.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/cache/__init__.py
src/cache/llm_cache.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/finding_taxonomy.py
src/core/framework_detector.py
src/core/health_checker.py
src/core/intelligence.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/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/evaluation/__init__.py
src/evaluation/metrics.py
src/evaluation/rag_evaluator.py
src/formal/__init__.py
src/formal/spec_generator.py
src/formal/spec_runner.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/embedding_rag.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_core/__init__.py
src/mcp_core/context_bus.py
src/mcp_core/tool_registry.py
src/mcp_core/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/fp_ml_classifier.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/__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/marketplace.py
src/plugins/protocol.py
src/plugins/registry.py
src/plugins/templates.py
src/poc/__init__.py
src/poc/poc_generator.py
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/__init__.py
src/security/api_limiter.py
src/security/compliance_mapper.py
src/security/hallucination_detector.py
src/security/input_validator.py
src/security/llm_output_validator.py
src/security/prompt_sanitizer.py
src/security/remediation_engine.py
src/security/remediations.py
src/security/reproducibility.py
src/security/secure_logging.py
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