| title | Provasign Documentation |
|---|---|
| layout | default |
| nav_order | 1 |
| description | Documentation for Prism, Grove, Shale, Mason, and the public evaluation program. |
| permalink | /docs/ |
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.
- 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
bundle install
bundle exec jekyll serveChanges merged to main are published by GitHub Pages.