VERA Technical Explainers

How VERA Works

Deep-dive explainers for every major technical feature. Built for the Actian + Solana hackathon.

61,881 NEPA projects Actian VectorAI DB Solana devnet On-device LLM 8 compliance signals

Feature explainers

โšก Actian Integration

How we use Actian VectorAI DB for semantic search and RAG โ€” indexing, K-NN retrieval, and the numpy fallback that keeps the app running anywhere.

Actian Cortex OpenAI embeddings RAG
๐Ÿ”— Solana Attestation

Why blockchain for NEPA? How SHA-256 of scan results get written to devnet via SPL Memo โ€” and how anyone can verify without trusting our backend.

Solana devnet SPL Memo SHA-256
๐Ÿšจ Compliance Signals

All 8 risk flags โ€” deferred mitigation, EJ analysis gaps, no-action alternative quality, tribal interests. Regex-based, testable, auditable, with process-type gating.

8 flag types Process gating 18 pytest tests
๐Ÿ“ก Stuckness Radar

How we score 22K+ FAST-41 permitting projects for stuckness, the OPEF Copilot LLM narration, and the choropleth map with sector breakdowns.

FAST-41 Stuckness score OPEF Copilot
๐Ÿ—„๏ธ Data Pipeline

NEPATEC2.0 ingest from HuggingFace โ€” 61,881 projects, 6.97M pages, CE/EA/EIS process types, main-doc selection, SHA-256, SQLite FTS5.

NEPATEC2.0 SQLite FTS5 61,881 projects
๐Ÿ–ฅ๏ธ Demo Deck

15-slide interactive presentation. Navigate with โ† โ†’ or by clicking. Covers all features, the full tech stack, and live demo steps.

15 slides 5-min demo

Open the Demo Deck

15 slides ยท 5 minutes ยท all features covered

Open deck โ†’