Skip to content

Repository files navigation

Space Proof Code 🛡️ (@putervision/spc)

High-performance zero-dependency static analysis tool enforcing NASA Power of Ten reliability rules across 20 programming languages, plus AI agent skill, MCP server config, prompt template, and LLM model configuration security auditing.

npm versionWebsiteLicenseZero DependenciesAI Agent Auditing


⚡ Quick Start & Installation

Install @putervision/spc globally via npm:

npm install -g @putervision/spc

Basic Scan Commands

# Scan current directory for space-proofing & security issues
spc .# Export SARIF report for GitHub Code Scanning integration
spc ./src --format sarif -o spc-report.sarif
# Audit AI agent skills, prompts, MCP configs & model files only
spc . --ai-only --format json -o agent-audit.json
# Enforce quality gate in CI/CD pipeline (fail if risk level >= 4.0)
spc . --max-severity 4.0 --fail-on-issue

🌟 Key Highlights

  • 🚀 NASA Power of Ten Rules: Enforces safety-critical code rules (bounded loops, no recursion, static memory allocation, assertion density, and restricted control flow).
  • 🤖 AI / Agent / MCP Security Scanner: Audits AI Agent skills (SKILL.md), prompt instructions (AGENTS.md, .windsurfrules), MCP server configs (mcp.json), and LLM model deployment configs (model_config.json) for prompt injection and security flaws.
  • 🌐 20 Supported Languages: Native static analysis for Ada, Bash, C/C++, C#, Elixir, Fortran, Go, Haskell, Java, JavaScript/TypeScript, Julia, Kotlin, Lua, PHP, Python, Ruby, Rust, Scala, Swift, and Zig.
  • 🔒 Zero External Dependencies: Engineered 100% locally from scratch with zero third-party library risks or supply-chain vulnerabilities.
  • 📊 Multi-Format Reporting: Supports formatted console tables, machine-readable JSON, GitHub Markdown PR comments, and SARIF v2.1.0 output.
  • Local Privacy Guarantee: Runs 100% locally on your machine or runner. Zero network calls, zero telemetry tracking, and zero source code collection.

📚 Documentation Directory

Explore detailed documentation and reference guides:

DocumentDescription
🛠️ CLI Reference GuideCommand options, output formats, CI/CD integration, inline suppression, checksum manifests
🤖 Agent Tools & SchemaAI Agent tool specifications, operations, capabilities, and MCP tool schemas
🚀 NASA Power of Ten RulesHigh-reliability code rules inspired by NASA space flight standards
🔒 Traditional Security RulesVulnerability detection patterns across 20 programming languages
🤖 AI Agent & MCP RulesAgent skill, prompt injection, MCP server config, and model config auditing rules
💻 API ReferenceProgrammatic Node.js API usage (scanCodebase, formatResults, PATTERN_INFO)
📊 Rule Coverage MatrixComplete language × rule matrix covering all 63+ checks
🏗️ Architecture & ExtensibilityInternal scan pipeline, pattern engine schema, and custom plugin development

🧪 Testing

Run the automated test suite and check code coverage:

# Run unit & integration tests
npm test# Run NVM matrix test across Node.js versions (18.x, 20.x, 22.x)
npm run test:matrix
# Run tests with coverage report
npm run test:coverage
# Perform self-scan on SPC codebase
npm run self-check

⚖️ PuterVision Legal & Usage Disclaimers

Important

Data Privacy & Local Execution Guarantee
spc (Space Proof Code) is engineered by PuterVision with a strict local-first privacy architecture. All static analysis, regex parsing, and vulnerability scanning run 100% locally on your machine. No source code, directory structures, or scan results are ever transmitted, telemetry-tracked, or collected by PuterVision.

Warning

Static Analysis & Safety Disclaimer
spc enforces static code rules inspired by NASA's Power of Ten reliability guidelines. While spc helps identify critical security anti-patterns (e.g., unchecked return values, unsafe pointer math, recursion hazards, and hardcoded credentials), static analysis cannot guarantee the total absence of runtime defects or mission failures. Developers are advised to complement spc with dynamic testing, fuzzing, and formal verification in safety-critical production systems.

Note

Trademarks & Non-Affiliation Notice
All product names, trademarks, service marks, logos, and brands (such as NASA, ISO/IEC, MISRA, Node.js, and GitHub) referenced in this documentation are the property of their respective owners. References to NASA's Power of Ten rules or third-party guidelines are for educational and compatibility identification purposes only, and do not imply endorsement, sponsorship, or affiliation with PuterVision.


Developed and maintained by PuterVision. Released under the MIT License.

About

High-performance zero-dependency static analysis tool enforcing NASA Power of Ten rules across 20 programming languages, plus AI agent skill, MCP server config, prompt template, and LLM model security auditing.

Topics

Resources

Contributing

Security policy

Stars

24 stars

Watchers

1 watching

Forks

Releases

Used by

Contributors

Languages