AI-powered real-time detection of Solidity smart contract vulnerabilities.
Install the required system tools for Taskfile, Python, Node, and Bun.
You can either run
task setupor you can look through the pre-install requirements below and do it yourself
- Mac:
brew install uv - Linux:
curl -LsSf https://astral.sh/uv/install.sh | sh
- Mac:
brew install go-task/tap/go-task - Linux:
sh -fsSL https://taskfile.dev/install.sh | sh
- Mac:
brew install python - Linux:
sudo apt-get install python3 python3-pip -y
- Mac:
brew install node - Linux:
sudo apt-get install nodejs npm -y
curl -fsSL https://bun.sh/install | bash
task installInside the backend/ directory, create your .env:
echo "OPENAI_API_KEY=your-api-key-here" > backend/.envNo quotes needed around the key itself.
(Always run this from the project root: proj-02-extra-parliament)
task app(Required before restarting another session)
clear
task endknowledge_store.jsonl ← RAG knowledge base (stored at project root)
Taskfile.yml ← Defines all commands (install, app, end, etc.)
backend/prompts/ ← Prompts for RAW + RAG analysis
backend/app.py ← FastAPI backend
frontend/src/ ← React + TypeScript frontend
You do not need anything inside the research/ directory to run the app.
- Real-time vulnerability detection
- GPT-based classification (RAW + RAG modes)
- Vulnerability highlighting in the editor
- Contract generator (10 attack types)
- Model selection (4.1-mini / 4.1 / GPT-5.1)
-
The Taskfile is the main interface for development. It provides the simplest commands to install, run, and stop everything.
-
To modify analysis behavior, edit the prompts in:
backend/prompts/ -
To modify the RAG knowledge, edit:
knowledge_store.jsonlThen restart:
task end task app
Cornell INFO 4940 (Fall 2025) — for educational use only.# solidguard