{"repo":"BradMoonUESTC/finite-monkey-engine","free":true,"listed":false,"github":"https://github.com/BradMoonUESTC/finite-monkey-engine","clone":"git clone https://github.com/BradMoonUESTC/finite-monkey-engine.git","description":"AI engine for smart contract audit","language":"Python","stars":356,"topics":["claude","gpt","large-language-model","llm","prompts","vulnerability"],"license":null,"category":"security-tools","readme_excerpt":"Finite Monkey Engine v3.0 Security analysis pipeline for code auditing: Planning → Reasoning → Validation . Results are persisted to PostgreSQL and can be exported as reports. v3.0 Updates - Planning : removes RAG / chunks / call graph / call tree. Keeps tree-sitter function parsing and uses Codex CLI to extract business flows (Gi/Fi). Tasks persisted as Fi × checklist (rule key) . - Reasoning : switches the main scan execution to Codex CLI (input: business flow code + prompt ). Output remains the original multi-vulnerability JSON , then split into project finding (unchanged downstream logic). - Validation : Codex-based confirmation for project finding and write-back to validation status / validation record . - Workspace restriction : Codex always runs with --cd derived from src/dataset/agent-v1-c4/datasets.json[project id].path . - Design docs : moved into docs/ . 🚀 v2.0 Major Upgrades Finite Monkey Engine v2.0 brings significant architectural upgrades and feature enhancements: 🔥 Core Upgrades - 🎯 Precision Language Support : Focus on 4 core languages (Solidity/Rust/C++/Move) for optimal analysis experience - 🧠 RAG Architecture Optimization : New LanceDB merged 2-table architecture with 300% query efficiency improvement - 📊 Intelligent Context Understanding : Multi-dimensional embedding technology, significantly enhanced code comprehension - ⚡ Performance Optimization : Unified storage strategy, 50% memory reduction, improved concurrent processing - 🔍 Deep Business Ana","default_branch":null,"files":null,"tree":[],"storefront":"/r/BradMoonUESTC","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/BradMoonUESTC/finite-monkey-engine/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}