Multi-layer Intelligent Evaluation for Smart Contracts — 50 security tools across 35 analysis modules, 9 defense layers, one command. Pre-audit triage for Ethereum (EVM); multi-chain on the roadmap.
☆14Oct 26, 2026Updated this week
Alternatives and similar repositories for MIESC
Users that are interested in MIESC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Nature and nurture combined adapt faster than either alone. Darwinian evolution (agents selected across generations) plus Multi-Agent Dee…☆29Updated this week
- Sistema básico em python para automatizar consulta de óbito através de CPF e data de nascimento no site da Receita Federal☆26Jul 12, 2026Updated 3 months ago
- Open source Ai voice agent builder platform☆13Oct 15, 2026Updated last week
- Font build recipes (serif: MonoSlab + Neo ZhiSong Opt via quilt on Sarasa Gothic)☆14Oct 15, 2026Updated last week
- Send commands from Vim to Tmux☆12Jun 11, 2015Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Reproducible Python platform for methane-oriented sensor streams, statistical change detection, drift analysis, SQLite persistence, FastA…☆15Oct 7, 2026Updated 2 weeks ago
- MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts☆16Mar 1, 2022Updated 4 years ago
- ☆17Jul 9, 2026Updated 3 months ago
- Kotlin Multiplatform (Android + iOS + Desktop) reference app demonstrating clean architecture, convention plugins, Room 3, Navigation 3, …☆16Updated this week
- Keep Django. Get a reactive UI in Python. One command, shared cookies, native Reflex dev.☆11Jun 21, 2026Updated 4 months ago
- Gated RAG for Kubernetes docs with fail-closed safety & topic checks, threshold reranking, semantic caching and provider failover.☆13Oct 5, 2026Updated 3 weeks ago
- AI-detector auditing toolkit: measures how often a detector flags genuine human writing, how stable its verdict is across seeds, and whet…☆24Updated this week
- A distributed search and SQL analytics engine in Rust with Raft consensus, hybrid BM25+vector search, and a search-aware query planner — …☆15Oct 18, 2026Updated last week
- ☆17Jul 9, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Bayesian decision theory engine for AI agents — Beta posteriors, VOI, and EU maximisation. Foundation for credence-router.☆15Apr 2, 2026Updated 6 months ago
- Nixpkgs overlay for AI agent skills from skills.sh and skillsdirectory.com☆17Updated this week
- Quality control pipeline for human exome/genome cohorts☆10Oct 9, 2026Updated 2 weeks ago
- A Kotlin Multiplatform NDArray implementation using xsimd☆12Feb 1, 2026Updated 8 months ago
- External-driver adapter and run tooling for trajectory policies in AlpaSim☆21Oct 18, 2026Updated last week
- A fast, cross-platform binary package manager built on OCI registries. Turn Docker Hub, GHCR, or any OCI-compliant registry into a binary…☆20Updated this week
- A self-improving code reasoning engine with persistent semantic memory☆18Updated this week
- Face detection and cataloging for photo folders — OpenCV YuNet + SFace, Flask UI, SQLite☆99Aug 7, 2026Updated 2 months ago
- Open-source AI Agent OS: a folder of plain-text files that gives your AI coding assistant a lasting memory, house rules, sealed per-clien…☆18Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- این ربات آریانا در دیسکورد است، آریانا یک موتور تبدیل نوشتار به گفتار فارسی است☆12Dec 20, 2022Updated 3 years ago
- A JAX transport-economy learning environment for route planning, cargo flow, financing, and replayable agent benchmarks.☆15Jul 27, 2026Updated 3 months ago
- ReifyDB is a database for application state☆21Updated this week
- Self-hosted Dakera AI memory server — Docker Compose, Kubernetes, Helm, HA cluster setup, and monitoring.☆19Updated this week
- Managed agents, inside your cloud.☆16Updated this week
- Atrinik multi-repository development workspace and component coordinator☆31Oct 17, 2026Updated last week
- Reticulum <-> Signal Gateway, Bidirectional bridge between Reticulum (LXMF) and Signal supports images/files and voice memos.☆14Aug 31, 2026Updated last month
- Uniswap V4 hooks registry☆26Updated this week
- repo-wiki-agent☆15Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A type-checker and contract layer for AI agent tool calls, deny-by-default, in-process, Pydantic-only. Strict argument validation, ghost-…☆17Updated this week
- Tests CLI behavior from plain YAML: exit codes, output, files, snapshots, and interactive terminals (PTY/TUI)☆18Updated this week
- AI agents should not make irreversible changes. TraceFold escrows the inverse before an effect lands, or refuses it, and issues receipts …☆20Sep 4, 2026Updated last month
- A standards-faithful URI and URL library for Kotlin Multiplatform and Java☆21Jul 24, 2026Updated 3 months ago
- A curated list of Web3 Security materials and resources for Pentesters and Bug Hunters.☆25Oct 6, 2026Updated 3 weeks ago
- Streets of Rage recompilation project☆15Updated this week
- A Python library and tools for the DSP-API☆12Updated this week