Development Guide
Welcome to the VeriSynth Core developer guide.This document walks you through setting up your local environment, running the CLI, writing tests, and contributing to the project. VeriSynth Core is fully open source (MIT licensed) and welcomes community contributions.
1. Clone the Repository
2. Create a Virtual Environment
We recommend using Python 3.10+ and a virtual environment for isolation.3. Install Dependencies
4. Project Structure
5. Run the CLI (Development Mode)
You can run VeriSynth directly from source:6. Testing
We use pytest as our primary testing framework. Run all tests:7. Contributing
We welcome pull requests from the community! Basic PR process:- Fork the repository
- Create a new branch (
feature/add-metrics,fix/cli-output, etc.) - Commit cleanly with clear messages
- Run
pytestbefore pushing - Submit your PR and link to any related issue
8. Publishing (for Maintainers)
Tag a release:9. Development Roadmap
| Area | Status | Notes |
|---|---|---|
| Core Synthesis (Gaussian Copula) | ✅ | Working prototype |
| Differential Privacy metrics | 🧩 Planned | Add diffprivlib epsilon tracking |
| FastAPI microservice | 🧩 Planned | REST endpoint for /synthesize |
| Proof verification tool | 🧩 Planned | Local CLI verifier |
| UI Proof Viewer (React) | 🧩 Planned | Open source dashboard for receipts |
❤️ Community
Join the discussion, report issues, or propose features:- GitHub: github.com/verisynthai/verisynth-core/issues
- X/Twitter: @VeriSynthAI