Pricing
Not listed
Official monthly price not confirmed
- API
- Local CLI, REST and MCP stdio server; optional Gemini/Anthropic-backed AI paths.
Vericore
● Identity checkedAI 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.
- 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.
Is Vericore right for you?
A good fit for
Java/Kotlin teams wanting a recorded boundary between a requested agent change and the repository state that resulted.
Before you choose
Kotlin parsing has known complex-syntax limitations. Local REST and MCP endpoints are for trusted internal use and lack deployment-grade authentication, tenant isolation or TLS. It does not autonomously modify source; provider-backed AI receives bounded repository context.
Persist the intent before agent edits
Analyze the repository and prepare a concrete change contract before modifying code. Let your chosen coding workflow make the edit and run normal tests, then verify against the persisted contract. Inspect failed checks instead of replacing the original intent with a new plan.
Local deployment and optional model costs
The official site documents MIT licensing and deterministic operation without external AI. Optional Gemini or Anthropic reasoning can add provider charges and transmit bounded repository context. Keep the local REST/MCP surfaces inside trusted environments; they are not presented as authenticated public services.
What it can do
Features & capabilities
Unknown is different from unavailable. Each fact carries its own evidence.
| Capability | Value | Evidence | Checked |
|---|---|---|---|
| Contract | Prepare persists a repository-bound Agent Change Contract; verify checks the original persisted contract. | Facts sourced | 2026-10-07 |
| Analysis | Java/Kotlin parsing, dependency graphs, architecture drift and deterministic evidence-backed Q&A. | Facts sourced | 2026-10-07 |
| Agents | Local MCP exposes analysis, context, preparation and verification surfaces. | Facts sourced | 2026-10-07 |
| Boundary | Planner is read-only and the tool does not autonomously edit source. | Facts sourced | 2026-10-07 |
Understand the total cost
Vericore pricing & plans
Alternatives to Vericore
View all ↗
Pre.devpre.dev is a long-horizon coding agent that plans, builds, and verifies software over extended runs in the browser or terminal. It connects to many SaaS tools, publishes previews, and sells separate RL coding tasks to AI labs through pre.dev Labs.
Explore tool
ChecklyCheckly is a monitoring platform for developers and agents combining synthetic browser and API checks, uptime monitoring, heartbeats, status pages, alerting, and AI-assisted root-cause analysis with monitoring-as-code via CLI, Terraform, and Playwright suites.
Explore tool
ByteAskByteAsk is a terminal-based AI coding agent for C and C++ that edits repositories and verifies work with compilers, sanitizers, debuggers, and tests. It integrates LLVM, GCC, gdb, Valgrind, CMake, and related tooling with grounded standards and datasheet excerpts.
Explore toolThe practical questions
Frequently asked questions
Does Vericore automatically fix code?
No. The official boundaries state that the planner is read-only and Vericore does not autonomously modify source code.
Do I need an AI API key for repository analysis?
No. Deterministic repository analysis does not require an external model; provider-backed reasoning is a separate optional path.
What is Vericore used for?
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.
Does Vericore have a free plan?
MIT-licensed project; deterministic analysis requires no external model.. This record does not confirm an ongoing free plan.
How much does Vericore cost?
A listed monthly price has not been confirmed. See the plan cards for entitlements, billing commitments and seat minimums.
Can I use Vericore through an API?
Local CLI, REST and MCP stdio server; optional Gemini/Anthropic-backed AI paths.. API access and subscription access may have different terms; consult the linked sources.
What should I check before choosing it?
Kotlin parsing has known complex-syntax limitations. Local REST and MCP endpoints are for trusted internal use and lack deployment-grade authentication, tenant isolation or TLS. It does not autonomously modify source; provider-backed AI receives bounded repository context.
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.