Back to Browse

Code Factory MCP Server

by Zrk222
Developer ToolsUse Caution4.2MCP RegistryLocal
Free

Server data from the Official MCP Registry

Local proof facts for AI coding clients: intent, tests, Graph Ops, and review evidence.

About

Local proof facts for AI coding clients: intent, tests, Graph Ops, and review evidence.

Security Report

4.2
Use Caution4.2High Risk

Code Factory is a well-structured developer tool for AI-assisted code review and proof generation. The codebase demonstrates mature engineering practices with comprehensive error handling, proper dependency management, and appropriate permission scoping. Minor code quality observations around broad exception handling and subprocess usage do not materially impact security posture. Permissions align well with the tool's stated purpose of local code analysis and evidence generation. Supply chain analysis found 5 known vulnerabilities in dependencies (0 critical, 3 high severity). Package verification found 1 issue.

4 files analyzed · 10 issues found

Security scores are indicators to help you make informed decisions, not guarantees. Always review permissions before connecting any MCP server.

Permissions Required

This plugin requests these system permissions. Most are normal for its category.

File System Read

Reads files on your machine. Normal for tools that analyze or process local data.

File System Write

Writes or modifies files on your machine. Check that this is expected for the tool.

env_vars

Check that this permission is expected for this type of plugin.

HTTP Network Access

Connects to external APIs or services over the internet.

process_spawn

Check that this permission is expected for this type of plugin.

system_info

Check that this permission is expected for this type of plugin.

How to Install

Add this to your MCP configuration file:

{
  "mcpServers": {
    "io-github-zrk222-code-factory": {
      "args": [
        "factoryline-code-factory"
      ],
      "command": "uvx"
    }
  }
}

Documentation

View on GitHub

From the project's GitHub README.

Code Factory

CI PyPI Python Hugging Face Space GitHub stars Latest release

Catch AI-generated tests that could never fail — before review.

One command answers one question: can this test actually fail? Code Factory runs a safe negative control, records what happened, and gives you a local result you can review. It challenges whether a test can actually reject the failure it claims to cover. It does not upload your code or call a green test proof when that test could never catch the failure.

pip install factoryline-code-factory
factory first-proof --root .

That one local command creates a disposable demonstration sandbox, proves the healthy check can pass, then proves the hollow check is rejected. It writes a receipt and a privacy-safe Proof Card; it does not assess or change your project.

Pick the path that matches your work

  • Individual developer or vibe coder: start with factory first-proof. Learn what a real negative control looks like before trusting AI-generated tests.
  • Engineering team: put factory wrap around an admitted Codex, Claude Code, DeepSeek, or other local agent run. Code Factory records the exact file delta, runs the validators your team declared, and stores hashes and bounded facts—not prompts or raw model output—so reviewers can compare the claim with the change.
  • SaaS builder: use factory saas verify to follow one customer promise from OAuth/OIDC identity and tenant access through checkout, verified webhook, entitlement, feature access, and revocation. Missing or contradictory evidence stays blocked, and the provider remains untouched.
  • App builder: use factory revenue appforge-design to turn confirmed user intent into a story-led iOS storyboard, then run factory revenue app-review-gate before submission. Thirty exact-build policy and regression gates surface avoidable purchase, restore, iPad, screenshot, privacy, accessibility, metadata, reviewer-access, and export gaps while there is still time to fix them. It is designed to save days of review/rework waiting and minimize avoidable rejection risk; it cannot guarantee Apple approval.
  • Platform or assurance team: evaluate local policy gates, evidence packets, expiring exceptions, and tenant boundaries in a controlled pilot. The free core is community-supported on a best-effort basis; the proposed enterprise support SLA is documented separately and is not effective until its activation evidence and signed terms exist.

When you need more than the first proof, open the advanced workflow guide. App and SaaS builders can open the standalone AppForge App Review Gate guide, or use the same receipts inside Code Factory Graph Ops, MCP, WebMCP, and supported IDE adapters. For one agent-neutral human review path, use factory proof-review to seal intent, audit trajectory evidence, route the change, learn confirmed regressions, inspect the team inbox, and export a tamper-evident Proof Card. To create a contained starter later, run factory mvp "Build an approval tracker" --root .. That starter is never called production-ready until the relevant proof exists.

AppForge: make the review queue the last surprise, not the first

You have a build, a launch date, and a review queue that can take days to come back around. The costly failure is often not a crash—it is discovering after submission that the selected build has no exercised restore path, an iPad dead end, unrepresentative screenshots, an accessibility gap, or reviewer access that does not match the app.

AppForge turns that uncertainty into a local, candidate-bound worklist. Start with the user’s design direction, keep a story-led storyboard, then bind real iPhone/iPad media, App Review checks, quality evidence, SaaS journey evidence, and a final Markdown/PDF dossier to the same build. In JetBrains, AppForge Mission Control makes the missing lane visible before a human decides to enter the queue.

That can prevent avoidable rework and repeat review cycles; it does not submit to Apple, access credentials, replace TestFlight, provide legal advice, or guarantee approval. Start with the AppForge Evidence Kit.

Support posture

The open-source core is free. Community support runs through public GitHub issues and has no guaranteed response time. For teams that need an operating commitment, the repository includes a transparent proposed Support SLA with P1/P2/P3 response targets, availability, recovery, exclusions, and an activation checklist.

Those targets are planning terms, not a current contract: the SLA remains proposed and non-effective until Code Factory has a named support owner, monitored escalation, production telemetry, dependency and recovery evidence, legal/security terms, and a signed enterprise order. This keeps the GitHub page useful to evaluators without implying that a free repository already carries a managed-service guarantee.

Actual privacy-safe First Proof Card: the hollow test was detected

See actual Factory Studio and the current FactoryLine visual set or open the live Hugging Face Space.

Actual FactoryLine 0.44 Graph Ops dashboard showing a waiting-for-human assembly, live telemetry, and evidence-backed next actions

FactoryLine AI Proof controls in IntelliJ IDEA for first proof, assemblies, receipts, changed-proof analysis, Change Lists, workspace analysis, and the local meter

FactoryLine AI Proof running a successful local First Proof on FactoryLine 0.44 inside IntelliJ IDEA

Actual Factory Studio showing the outcome-first local MVP path and local-only boundary

Advanced workflows

  • Start a real project. Turn one outcome into a contained web, mobile, API, CLI, worker, MCP, or agent-UI starting state.
  • Review what AI produced. Turn requirements, diffs, proofs, and blockers into receipts, Graph Ops, and one fact-derived next action.
  • Refresh the evidence that matters. Watch a local Assembly while it runs, refresh the next-proof brief, and see privacy-bounded observed Git contribution context without pretending it is a verified directory or billing roster.
  • Keep "done" honest. Challenge declared validators for hollow tests; a green-looking scaffold is never called production-ready by default.
  • Stop vague work before it starts. Use Intake Grill to record framework, exact intent, observable acceptance evidence, and the external-effects boundary before a Product Mission begins.
  • Make a behavior survive its declared failure cases. Use the supervised Gauntlet to turn human-written E2E sabotage cases into an offline-verifiable Survival Card. A hollow negative check stays visible; a card is never a production-readiness certificate.
  • Let autonomy be earned, not assumed. Use factory license to derive an expiry-bound local tier from independently verified governed runs. A severe hollow-test, hollow-validator, or scope-escape result demotes the declared agent automatically; it never authenticates identity or grants execution.
  • Compare agents with receipts, not vibes. Use factory combine to rank completed, sealed, independently verified runs on the same task. It never starts an agent or turns a local scoreboard into a vendor-quality claim.
  • Make every agent session feed the evidence loop. Use factory wrap around Claude Code, Codex, DeepSeek, or another local CLI. It verifies a sealed admission before launch, observes the exact file delta, runs declared independent validators, and records the result for Agent License and Combine. It stores hashes and bounded facts—not prompts or raw output—and observes the process without pretending to sandbox it.
  • Keep decisions from becoming tribal knowledge. Use factory judgment to track a human-promoted design decision with exact paths, a named owner, review date, and hash-bound proof obligations. A Change Safety Case routes one explicit diff to its owner; it never infers intent, promotes a decision, runs a test, or approves a release.
  • Prove the whole journey—and audit the repairing agent. Use factory journey to compare declared and observed product journeys, preserve a hash-bound failure capsule, prove state flow and cleanup, and challenge a proposed healing with a negative mutation. Choose human-controlled or bounded supervised-auto mode; every autonomous attempt receives a separate FactoryLine audit and neither mode can self-approve.

What the latest upgrade resolves

Common AI-assisted delivery painFactoryLine responseWhat stays under human control
A test is green but could never catch the behavior it claims to coverReality Check and Gauntlet bind declared positive and negative cases, then keep hollow or blocked checks visible in a Survival CardWhich behaviors and commands to admit; whether evidence is sufficient
A vague PRD becomes the wrong scaffold or frameworkIntake Grill records a named, byte-bound intent, framework decision, observable acceptance evidence, and external-effects posture before a mission beginsThe answers, architecture choice, and decision to start work
An agent retries the same failed approach and burns review timeProof-Delta requires a changed candidate plus fresh, hash-bound evidence for a retry; no-gain attempts haltAny repair, retry admission, and final apply
Teams gradually trust an agent because it has been successful recentlyEarned Autonomy derives an expiring local tier from governed evidence and demotes severe hollow-test or scope-escape resultsIdentity, permissions, execution, approval, and release authority
A hard-won design decision is forgotten, then a later diff silently breaks its assumptionsEngineering Judgment Capsules bind one named owner, explicit path scope, review date, and declared proof obligations; an optional human-declared Change Profile makes novel boundaries and required Senior Attention explicit before reviewProposal, independent promotion, decision reconsideration, proof execution, acceptance, merge, and release
A reviewer has suggestions but no shared evidence pictureGraph Ops, local receipts, and read-only MCP facts show current scope, proof debt, and the next fact-derived actionMerge, release, deployment, and provider access
A selector repair makes the test green but changes the user journey—or an autonomous agent silently edits outside scopeJourney Reality, Stateful Workflow Proof, and Proof-Gated Healing require preserved semantic identity and coverage, cleanup proof, an adversarial negative result, exact workspace deltas, and an independent Agent Work AuditAgent/provider choice, repair admission, final approval, merge, and release
Agent work happens outside the evidence ledger, while writing real E2E manifests takes too longEvidence Supply Line wraps any admitted local agent CLI; gauntlet draft proposes inert, structure-derived promise drafts and explicitly withholds commands it cannot deriveAgent identity, sandboxing, draft promotion, validator choice, Gauntlet admission, and release
A large/remote workspace feels opaque or sluggishWorkspace Advisor measures bounded local project shape and path-only WSL/remote signals without changing indexes, heap, caches, inspections, or remote settingsEvery IDE performance change and environment setting

These are local evidence and supervision tools, not guarantees of performance, security, productivity, production readiness, or an automatic repair service.

FactoryLine by role

Who is using itStart hereHighest-value usesThe result they can inspect
Individual developer / vibe coderfactory first-proofSee whether a passing test can actually reject a known failure before trusting itA local receipt and privacy-safe Proof Card from a disposable demonstration; your project remains unchanged
Junior developerfactory prd grill, factory plan verify, factory change reviewClarify acceptance evidence before coding; keep an AI-assisted diff inside the approved plan; surface missing tests and Proof Debt before reviewSource-bound questions, exact changed paths, severity-ordered findings, and a review handoff
Senior / staff engineerfactory judgment, factory graph forensics, factory proofsearch, factory gauntletProtect architecture decisions; diagnose resumed or parallel workflow drift; compare candidate repairs; challenge whether critical E2E checks can actually reject declared failuresHash-bound decision context, first-divergence facts, rejected candidates, a deterministic winner, and Survival Cards
Engineering teamfactory wrap, then GitHub Proof ReviewRecord the exact agent-created file delta, run declared independent validators, and hand reviewers a commit-bound evidence packet without retaining promptsLocal receipts, exact changed paths, explicit blockers, and a neutral PR Check beside AI review
Platform / assurance pilotPolicy gates and evidence packetsEvaluate named approval boundaries, expiring exceptions, tenant isolation, budgets, and release evidence inside existing SDLC controlsIndependently verifiable packets and read-only views; identity, credentials, merge, release, and deployment remain enterprise-owned. No SLA, certification, references, or procurement-readiness claim
Enterprise support evaluatorSupport and operating requirementsReview the proposed response, availability, recovery, exclusions, and activation evidence before procurementSupport SLA policy; terms remain proposed until a signed order and all activation gates are evidenced

Expected operational outcomes

FactoryLine is designed to reduce avoidable review loops, evidence hunting, and the frustration of discovering late that an AI-generated test never exercised the claimed behavior. The expected outcome is a shorter path to a defensible human decision—not a promise that every project becomes faster or cheaper.

OutcomeWhat should improveEvidence FactoryLine can retain
Less time lost before codingAmbiguous intent, missing acceptance evidence, and external-effect boundaries surface during intake instead of after implementationIntake questions, approved scope, plan hashes, and explicit blockers
Faster review orientationReviewers receive the exact diff, proof state, top risk, and one supported next action instead of reconstructing context across chat logsProof Cards, Change Review, Plan-to-Proof findings, GitHub Checks, and handoff packets
Less frustrating reworkHollow validators, duplicate effects, resume drift, and out-of-plan changes are challenged closer to their sourceNegative-test results, first-divergence facts, rejected candidates, and Proof Debt
Lower evidence-handling costReusable receipts and read-only dashboards reduce repeated screenshots, manual summaries, and status meetingsReceipt reuse decisions, governed-run records, assurance dossiers, and local Graph Ops views
Measurable savings when a baseline existsTeams can compare observed duration or cost with a declared baseline; otherwise savings stay unavailableBounded savings records that label source, baseline, observation window, and confidence

FactoryLine never converts an unmeasured estimate into a savings claim. Use the Savings Tracker to report observed time or cost only when the repository has a valid baseline and evidence window.

For planning, a transparent starting band is 25–120 minutes of avoidable review and rework per AI-assisted PR: roughly 10–30 minutes of reviewer context reconstruction plus 15–90 minutes of one preventable clarification, validator, or scope-rework loop. At 50 AI-assisted PRs per month, that models about 21–100 hours; at a team-supplied loaded cost of $75–$150/hour, the illustrative range is about $1,560–$15,000 per month. These are adjustable scenario inputs, not observed FactoryLine results. See the outcomes and savings model before using the range.

Code Factory 60-day personal case study: observed local Codex metadata and a clearly separated modeled capacity range

Works with your existing AI development stack

FactoryLine is the proof and control layer around generation, orchestration, and review tools. The status column distinguishes implemented adapters from clean workflow fits; it does not imply a vendor partnership.

Product or stackWhat it does wellWhere FactoryLine adds valueCurrent connection status
BlitzyLarge codebase understanding, reviewed action plans, autonomous generation, validation, and PR creationSeal the approved plan, compare it with the exact resulting diff, challenge declared tests, and attach a neutral proof walkthrough before human mergeWorkflow fit. Use repository artifacts and PR Checks; no bundled Blitzy API adapter or claimed partnership
CodeRabbitAI review comments and remediation suggestions across the pull requestSupply deterministic FactoryLine Check results, proof gaps, and Proof Debt beside the AI review without treating suggestions as evidenceDocumented interoperability. GitHub Checks are the boundary; no CodeRabbit credential or API is required
MastraTypeScript agents, tools, memory, workflows, and MCP clients/serversExpose read-only local proof context through MCP, then verify the resulting repository diff and declared tests independentlyProtocol-level fit. Mastra supports MCP; a dedicated FactoryLine-Mastra adapter is not bundled or claimed tested
LangGraphDurable, stateful agent orchestration with checkpoints and human-in-the-loop controlCompare sealed reference and resumed transition lineages, detect duplicate effects or unsafe parallel writes, and keep receipts authoritative over checkpointsNative optional support. LangGraph Assurance Bridge, optional adapter, GitHub Action, and cross-agent plugin are included
Codex, Claude Code, and Deep AgentsInteractive or autonomous repository implementationAdmit scoped work, wrap the local CLI process, hash the file delta, run independent validators, and feed Agent License / CombineIncluded paths. Local wrapper, read-only MCP, LangGraph plugin, and optional Claude session trace
Cursor and OpenCodeIDE- or terminal-based AI coding with MCP clientsRead bounded FactoryLine receipt, verifier, PRD, memory-brief, and Graph Ops facts without granting write or release authorityDocumented local MCP setup. Stdio-only and read-only
DeepSeek HarnessModel session and tool lifecycleAdd FactoryLine’s local proof facts while keeping the harness responsible for the agent lifecycleOpt-in adapter. Developer-preview upstream boundary is explicit

See the complete compatibility and handoff guide for the recommended flow and the exact authority boundary for each stack.

For teams: use the Teams and Enterprise Operations Manual to run the same proof-first loop with named reviewers, approved AI-change scope, and explicit Proof Debt—without giving Code Factory merge, release, or provider authority. The commercial packaging guide keeps the free core separate from proposed Team and Enterprise services that are not purchasable yet. For a human-selected, customer-managed reference pilot, the local Team Pilot readiness gate hash-binds the operating evidence for owner review; it does not accept a customer or activate a paid service.

Design is part of the review. For UI-scoped work, add the optional Prestige Design Review: a purpose-led design brief plus review artifacts for hierarchy, responsive behavior, affordances, consistency, and declared design tokens. It makes design quality visible; it does not claim a conversion result, WCAG certification, or production readiness.

Reuse a proven decision without reusing stale context. Factory Continuity keeps a local, purpose-bound record of the evidence behind prior work. Graph Ops can replay only redacted, current, independently promoted metadata; it does not store private source, prompts, embeddings, or transcripts, and it cannot execute a repair.

Revenue-ready iOS scaffolds

factory revenue build turns one reviewed products.yaml into StoreKit 2, a transparent SwiftUI paywall, an Apple-JWS-verifying entitlement-server scaffold, privacy/review artifacts, and a local evidence page. Then replay, testflight-sync, failure-matrix, and policy-watch expose where observed purchase behavior, beta feedback, negative paths, or policy sources diverge—without turning unknowns green. Evidence Memory carries human-approved, receipt-backed lessons into the next exact-app journey while expiring stale knowledge and quarantining contradictions. IDEs and coding agents can inspect the same local facts through MCP; compatible browser agents can inspect bounded Graph Ops status through progressive WebMCP. App Store writes, pricing, experiments, offers, publication, and credentials stay human-controlled. See RevenueForge and the MCP/WebMCP handoff.

Install

# No account, model key, or cloud connection is required for this local run.
pip install factoryline-code-factory
factory first-proof --root .
factory mvp "Build an approval tracker" --root .
factory studio --root .\my-mvp

If Code Factory helps you find a proof gap or makes an AI-assisted change easier to review, star Code Factory so other developers can find it. This optional link only opens the repository.

Choose the job in front of you

If you need to…UseYou get
Build a first slicefactory mvpA contained, app-shaped local starting state
Pin down intent before work beginsfactory intake grillA source-bound framework, intent, acceptance-evidence, and safety decision worksheet
Clarify a fuzzy PRDfactory prd grillSource-bound questions instead of invented requirements
Review an AI-assisted difffactory change reviewA local risk, proof-gap, and next-action packet
Turn a diff into the next safe prooffactory memory briefRefreshable actions, redacted continuity facts, and observed local Git contribution context
Keep an agent diff inside approved scopefactory plan verifyExact plan alignment and explicit Proof Debt—not another AI opinion
Prove an E2E check can say nofactory e2e verifyA native positive/negative command-pair receipt that catches hollow E2E checks
Ask whether a behavior survives declared sabotagesfactory gauntletA named, one-run admission, optional redacted verified-context binding, and offline-verifiable Survival Card—never generated commands or automatic repair
Keep agent autonomy evidence-boundfactory licenseA local, expiring tier derived from governed evidence, automatic severe-failure demotion, and no silent authority grant
Compare completed agent evidence fairlyfactory combineA sealed-task, offline-verifiable scoreboard—never an agent launcher or vendor leaderboard
Capture an agent run without copying its promptfactory wrapA pre-admitted, hash-bound delta and independent-validator receipt that feeds Agent License
Draft the first Gauntlet promisesfactory gauntlet draftInert structure-derived candidates, with unsupported HTTP commands explicitly withheld
Prepare a bounded Team pilotfactory team-pilot readinessHash-bound, customer-managed readiness evidence for owner review—not a checkout or service activation
Operate a team evidence workspacefactory opsTenant-bound identities, immutable evidence, explicit runner posture, fresh required checks, outcome telemetry, and seven-gate SLA readiness—without merge, deploy, billing, SSO, or contract authority
Prove SaaS access matches the promisefactory saas verifyProvider-neutral OAuth/OIDC identity, tenant authorization, checkout, webhook, entitlement, access, and revocation evidence—with unknowns blocked
Add evidence to a GitHub PRfactory github proof-reviewOne neutral Check and stable proof walkthrough, tied to the head commit
Prove a LangGraph resume pathfactory langgraph replay-verifyHash-only parity, duplicate-effect and parallel-write safeguards, plus a shareable incident capsule
Detect policy drift before a human mergefactory github assurance-dossierDeterministic supplied-policy comparison, named expiring exceptions, and a merge-evidence packet
Inspect delivery statefactory studioGraph Ops, receipts, and the next supported action
Debug why two graph runs divergedfactory graph forensicsHash-sealed state lineage, concurrency findings, and a read-only recovery preview
Choose among competing repairsfactory proofsearchHash-bound candidate rejection, mutation-tested evidence, a deterministic winner, and locked apply authority
Decide what evidence to collect nextEvidence FrontierA deterministic next-test hypothesis that separates repair candidates, with execution locked
Admit a repair retry only with new evidenceProof-Delta LoopA changed candidate and fresh hash-bound evidence, or a deliberate no-gain halt
Reconsider verified prior work safelyFactory ContinuityPurpose-bound, expiring Decision Replay metadata with independent promotion and no private content
Prove one user-visible behaviorFactory Reality CheckDeep intent assertions, a deliberate failure case, and an optional named one-time re-run authorization
Verify supplied workVerifier PlaneIndependent, hash-bound evidence checks

For the short product map, read the overview. For a two-minute first run, follow Start Here. For full command and contract reference, browse the documentation directory.

Use Code Factory with CodeRabbit or another AI reviewer

They solve different parts of the review problem. CodeRabbit can supply AI findings and suggestions; Code Factory makes declared local proof gaps, coverage, and the next review action explicit. Enable the opt-in GitHub Proof Review workflow to put one neutral, commit-bound FactoryLine Check and walkthrough beside existing CodeRabbit comments. It uses no CodeRabbit account, API, credential, or output as proof.

For agent-created pull requests, add a small human-approved factory.agent_plan.v1 envelope. Plan-to-Proof compares that plan with the exact diff and exposes Proof Debt: unresolved scope, declared-test, human-routing, and existing proof obligations that must be settled before a team makes its own merge decision.

That makes Code Factory a standalone proof layer for teams that do not use an AI reviewer, and a complementary evidence layer for teams that do. For agent-created pull requests, Code Factory does not replace human review, auto-approve a pull request, or merge code.

Use Code Factory with LangGraph

LangGraph teams can keep their own graph and checkpoint runtime, then use the LangGraph Assurance Bridge to compare recorded reference and resumed transitions. The free local adapter produces hash-only parity evidence and a reviewable incident capsule when a run diverges; it does not import LangGraph, invoke a graph, or claim production resilience. The optional GitHub Action puts the same Proof Card in a pull-request job summary.

For Codex, Claude Code, and Deep Agents, install the Code Factory LangGraph plugin to add the proof workflow and read-only local MCP facts to the coding-agent surface.

Use Code Factory with DeepSeek Harness

The optional DeepSeek Harness adapter starts the same local read-only MCP proof surface through Harness's official generic MCP client. It lets a Harness agent inspect Graph Ops, current proof gaps, and Earned Autonomy / Combine facts without sending source to a hosted endpoint or gaining permission to execute, repair, approve, release, deploy, sign, or use credentials.

Use it where you work

Code Factory keeps the same local, receipt-bound workflow across the command line, VS Code, and the JetBrains plugin. It also provides local stdio Cursor or OpenCode MCP without handing an AI client permission to publish, deploy, approve, sign, or access credentials.

The same local proof surface is discoverable in the Official MCP Registry as io.github.zrk222/code-factory; registry setup starts the public PyPI package over local stdio and never creates a hosted service or write authority.

FactoryLine's core local proof workflow remains free. The planned JetBrains Freemium transition starts January 1, 2027, subject to Marketplace and activation gates. Early adopters may retain Founding Proof Pro at $5.95 USD/month or $60 USD/year; standard Proof Pro is planned at $9/month or $90/year, and AppForge Builder at $24/month or $240/year. Team Assurance is a separate $20-per-active-contributor annual-commit hypothesis. None is active today; no checkout, entitlement, or license enforcement exists. See the Marketplace control-room guide for the exact feature boundary and approval gates.

The matching GitHub Assurance Seat is also planned for January 1, 2027 at the same future price. It is for maintained, customer-managed proof operations (commit-bound review, Proof Debt, policy drift, governed exceptions, and evidence packets)—not source access or opaque AI-token resale. The source license and free core are unchanged. See the GitHub per-seat plan.

For Open VSX, the extension and local proof core remain free. All capabilities shipped before the transition are free through December 14, 2026. From December 15, 2026, Founding Proof Pro may remain $5.95/month or $60/year for early adopters; standard Proof Pro is planned at $9/month or $90/year, AppForge Builder at $24/month or $240/year, and Team Assurance at $20 per active contributor/month annually or $24 monthly, subject to explicit activation gates. See the Open VSX service plan.

The proof boundary

Code Factory creates and inspects local artifacts. It does not silently call a model, discover credentials, publish, deploy, sign, approve, message, or grant a connector. The Gauntlet executes only caller-declared E2E pairs after a named, expiry-bound, one-run admission; all other Gauntlet paths are read-only. Its deterministic proof receipts bind supplied byte bindings, declared identities, and evidence; an external runner must separately prove runtime isolation and network policy. Token, cost, and productivity claims remain unknown until a bound measurement exists.

flowchart LR
  intent["Plain-language outcome"] --> mvp["Local MVP"]
  mvp --> evidence["Receipts and declared checks"]
  evidence --> review["Graph Ops / review packet"]
  review --> decision["One evidence-backed next action"]

Use Intake Grill to pin down intent before a mission, PRD Grill before code exists, the deterministic contradiction gate when requirements collide, Proof Review when a diff arrives, and the Verifier Plane when a worker claims it is finished. Use the supervised Gauntlet when a specific behavior needs to survive explicitly reviewed failure cases. The local MCP contract and generated Mermaid output map make the same proof context reusable by a client you choose.

Go deeper when you need it

License

MIT OR Apache-2.0.

Reviews

No reviews yet

Be the first to review this server!