Pricing
Not listed
Official monthly price not confirmed
- API
- Local CLI, REST and MCP stdio server; optional Gemini/Anthropic-backed AI paths.
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.
Understand the total cost
Pricing
Not listed
Official monthly price not confirmed
No retained pricing changes yet. A current price alone does not establish a historical trend.
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.
We could not confirm a free plan for Vericore. MIT-licensed project; deterministic analysis requires no external model.
Vericore does not publish a monthly price we could confirm.
API or developer access is mentioned. Local CLI, REST and MCP stdio server; optional Gemini/Anthropic-backed AI paths.