Skip to content
@provasign

provasign

Open-source tools for AI coding agents — Shale (agent PR evidence), Prism (graph-ranked context), Grove (code graph).

Open-source tools for AI coding agents

Every agent PR should explain itself.

Our primary project is Shale: agent PR evidence that captures what an AI coding agent was asked to do, what it touched, and what checks ran — then renders that evidence as a card on the pull request.

A Shale session: shale intent, agent edits, shale done, git push, card rendered

Projects

Repo Role License
shale Agent PR evidence: intent capture, session evidence, and PR cards — the primary project Apache-2.0
prism Graph-ranked context delivery for AI coding agents (CLI + MCP) MIT
grove Persistent code-graph engine: Tree-sitter parsing, SQLite, impact and test queries MIT
fuse Symbol-aware Git merge driver built on Grove MIT

Try Shale in five minutes

brew install provasign/shale/shale
cd your-repo
shale init
git add . && git commit -m "chore: enable shale" && git push

No account, no server, no GitHub App, no token paste. The next agent-authored PR carries a card — see the live demo pull requests for real examples, or start with the getting-started guide.

Which tool do I want?

  • Shale — you want every agent-authored PR to explain itself to reviewers.
  • Prism — you want agents to retrieve graph-ranked code context instead of chasing rg results across a dozen file reads.
  • Grove — you want the code graph itself: indexing, symbols, blast radius, test coverage queries, embeddable Go API.

Everything is local-first and fail-open by design. Docs live at provasign.dev.

Pinned Loading

  1. shale shale Public

    Agent PR evidence — intent capture and session evidence rendered as a card on pull requests

    Go 8 2

  2. grove grove Public

    Code knowledge graph — Tree-sitter parsing, SQLite storage, BFS traversal. Powers Prism; embeddable Go API, CLI, and MCP. MIT licensed.

    Go 3

  3. prism prism Public

    Call-graph context for AI coding agents — surfaces callers, tests, and blast radius so agents make changes safely. CLI and MCP. MIT.

    Go 5

Repositories

Showing 10 of 12 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…