Provasign documentation
Source for provasign.dev, built with GitHub Pages and Jekyll.
Provasign builds local tools for understandable AI-authored changes. Prism provides semantic context before an edit; Shale carries intent and evidence into review; Mason is the reference agent; Grove is the shared graph engine. The Research repository publishes the tasks, oracles, run records, and transcripts behind performance claims.
Start here
- Prism — semantic change intelligence for coding agents
- Grove — local multilingual code graph
- Shale — local agent-session evidence for pull requests
- Mason — reference coding agent
- Benchmarks — current accuracy and efficiency evidence
Source repositories
Local preview
bundle install
bundle exec jekyll serve
Changes merged to main are published by GitHub Pages.