Sovron - AI Governance for VS Code

AI Assists. You Govern.

Sovron brings formal specifications and progressive verification to AI-assisted development. Create specifications, define steps with preconditions and postconditions, and verify your code meets requirements before moving forward.

Features

• ✨ Create Formal Specifications - Define what you want to build in natural language
• 📋 Progressive Steps - Break projects into verifiable steps with clear conditions
• 🔒 Gated Verification - Steps unlock only after previous steps are verified
• 📄 Copy Step to AI - Export steps as markdown to share with Claude, ChatGPT, or any AI assistant
• 🤖 AI Validation - Optional Claude API integration for automated code validation
• 📊 Visual Progress - See your specification progress at a glance

Quick Start

1. Create a Specification

Press Cmd+Shift+P (Mac) or Ctrl+Shift+P (Windows/Linux), then type:

Sovron: Create Specification

Enter your intent (e.g., "Build a REST API with authentication")

2. Add Steps

Break your project into steps:

Sovron: Add Step

For each step, define:

• Description - What this step accomplishes
• Preconditions - What must be true before this step
• Postconditions - What must be true after this step

3. Copy Step & Implement

Click the 📋 Copy Step button to copy the step as markdown.

Paste into Claude, ChatGPT, or any AI assistant to get implementation code.

4. Verify & Progress

Click ✓ Verify when the step is complete.

The next step automatically unlocks for implementation.

Progressive Verification Flow

Step 1: Setup Database
  Status: IN-PROGRESS
  [📋 Copy Step] [✓ Verify]
  
Step 2: User Registration  
  Status: BLOCKED 🔒
  (Unlocks after Step 1 verified)
  
Step 3: Authentication
  Status: BLOCKED 🔒
  (Unlocks after Step 2 verified)

Only the current step is active. Previous steps are verified ✅. Future steps are blocked 🔒.

Example Workflow

1. Create Specification

Intent: "Build a blog API with posts and comments"

2. Define Steps

Step 1: Database Schema

• Preconditions: PostgreSQL installed
• Postconditions: Posts table exists, Comments table exists

Step 2: Create Post Endpoint

• Preconditions: Database schema created
• Postconditions: POST /posts endpoint works, Validates input

Step 3: Get Posts Endpoint

• Preconditions: Create endpoint works
• Postconditions: GET /posts returns all posts, GET /posts/:id returns single post

3. Implement Each Step

• Copy Step 1 → Share with AI → Get code → Implement
• Verify Step 1 ✓
• Copy Step 2 → Share with AI → Get code → Implement
• Verify Step 2 ✓
• Continue...

AI Validation (Optional)

Add your Anthropic API key to enable AI-powered validation:

# Create .env file
ANTHROPIC_API_KEY=sk-ant-your-key-here

Features with AI validation:

• Automatic code validation against postconditions
• Specification logic validation
• Next step suggestions

Commands

Keyboard Shortcuts

Requirements

• VS Code 1.80.0 or higher
• Node.js 20.0.0+ (for AI validation features)

Extension Settings

This extension contributes the following settings:

• Currently uses workspace storage (no additional settings required)

Known Issues

• Extension icon displays as default when sidebar is collapsed
• Very large specifications (100+ steps) may have UI performance issues

Roadmap

• [ ] Export specifications to various formats (JSON, YAML, Markdown)
• [ ] Team collaboration features
• [ ] Git integration for specification versioning
• [ ] Custom verification scripts
• [ ] Integration with CI/CD pipelines

Contributing

Found a bug? Have a feature request?

• GitHub: github.com/sovron-dev/sovron
• Issues: github.com/sovron-dev/sovron/issues

License

Apache 2.0 - See LICENSE file

About

Sovron helps developers maintain control in AI-assisted development by providing a formal framework for specifications and verification.

AI Assists. You Govern.

Version: 0.1.0 (Beta)
Author: Sovron, Inc.
Website: [Coming Soon]