toolcompass.

Find your next AI tool

Search by product name or task. Press Escape to close.

Vericore pricing

● Identity checked

AI code verification · Official vendor documentation reviewed 2026-10-07

Vericore is a local engineering-verification tool for Java and Kotlin repositories used by AI coding agents. It builds repository evidence, prepares a persisted change contract and checks the actual post-change state against that original contract. Deterministic analysis is available through CLI, REST and MCP, with optional provider-backed reasoning.

Updated 2026-10-07View sources
Official website
Category
AI code verification
Free access
MIT-licensed project; deterministic analysis requires no external model.
API access
Local CLI, REST and MCP stdio server; optional Gemini/Anthropic-backed AI paths.

Understand the total cost

Vericore pricing & plans

Pricing

Not listed

Official monthly price not confirmed

API
Local CLI, REST and MCP stdio server; optional Gemini/Anthropic-backed AI paths.

Price history

No retained pricing changes yet. A current price alone does not establish a historical trend.

How this profile is supported

Official product documentation

Vendor website reviewed for current workflow and limitations; no application test performed.

Read original source ↗

Facts apply to the named version and check date. Send a sourced correction if something changed.

Vericore pricing questions

Is Vericore free?

We could not confirm a free plan for Vericore. MIT-licensed project; deterministic analysis requires no external model.

How much does Vericore cost?

Vericore does not publish a monthly price we could confirm.

Does Vericore have an API?

API or developer access is mentioned. Local CLI, REST and MCP stdio server; optional Gemini/Anthropic-backed AI paths.