# Spartan Check

> Spartan Check is a static semantic code analysis and AI-driven automated bug repair platform designed for embedded C and C++ development. It couples deterministic defect detection with enterprise AI-powered automatic code remediation under a strict zero-retention security architecture.

## Overview & Core Architecture

Spartan Check eliminates common static analysis friction (noisy false positives, hallucinated fixes, and source code privacy risks) through a dual-engine architecture:
- **Deterministic Rule Engine**: Analyzes code against formal embedded standards without hallucinations. Every detected defect is backed by formal rule semantics.
- **AI Automated Bug Repair**: When requested, isolated defect snippets are sent to dedicated European enterprise AI instances to generate contextual, standards-compliant fixes.
- **Flexible Code Ingestion (Git, Folder, Snippet)**: Supports direct public Git repository auditing across GitHub, GitLab, Bitbucket, and Codeberg (default branch `HEAD` or pinned Commit SHA-1 via stateless HTTPS archive streaming), local embedded project folder uploads with automatic C/C++ filtering (skipping vendor SDKs, `.git` folders, and build artifacts), and instant single-file code snippet inspection.
- **Strict Zero Retention & Sovereign Privacy**: Source code is never retained, logged, or used to train artificial intelligence models. Infrastructure is hosted within the European Union (GDPR compliant).

## Supported Embedded Standards

- **BARR-C:2018**: Embedded C Coding Standard (formatting, braces, control flow, naming, type safety).
- **CERT-C & CERT-C++**: SEI CERT Coding Standards for software vulnerability elimination (memory safety, integer overflow, pointer safety).
- **ANSSI-C**: French National Cybersecurity Agency rules for secure C programming.

## Key Pages & Resources

- [Home](https://spartan-check.com/): Product overview, key features, and architecture demonstration.
- [Trust Center](https://spartan-check.com/trust-center): Security architecture, European data residency, and zero-retention policy details.
- [Pricing](https://spartan-check.com/pricing): Subscription tiers for individual developers, teams, and custom Enterprise deployments.
- [Roadmap](https://spartan-check.com/roadmap): Upcoming features, VS Code extension, CI/CD integrations, hybrid and full on-premise deployments.
- [Contact](https://spartan-check.com/contact): Direct contact for technical demos, sales, and enterprise support.
- [Refund Policy](https://spartan-check.com/refund-policy): Subscription cancellation, statutory right of withdrawal, and Paddle MoR terms.

## Comprehensive Documentation

- [Full LLM Reference](https://spartan-check.com/llms-full.txt): Exhaustive technical specification, architecture details, rule coverage, and FAQ.