Next-Gen Software Engineering:
Humans define. AI builds.
The spec stack for AI coding.
Specifications are the new source code. To build reliable software with AI, we need a new foundation: a database to store specs, a compiler to formalize them, and a Git workflow to integrate it all.
Specbase: The Spec Management System
Plain text, multidimensional semantics.
The single source of truth for your software design and implementation.
Formal Spec API
Provides standard interfaces to store and retrieve human-readable formal specs.
Retrieval for AI
Allows AI agents to query or update the underlying model, not just raw text.
Data Integrity
Maintains data integrity across all formal specs as the project scales.
Tigs: The Git-Based Spec-Driven Dev Toolchain
Minimal primitives, flexible workflows.
Integrate spec-driven development directly into your existing Git workflow.
Chat-to-Git
Stores and manages source specs and chats directly in Git notes.
Version Control for Specs
Manages formal specs in Git through standard CLIs.
Agent Integration
Triggers spec generation, compilation, and maintenance with AI agents.
WellTested: Your Personal API Testing Agent
Autonomous when it should be. Interactive when it needs to be.
A local AI agent that takes API testing off your plate.
Runs Locally
Your machine, your LLMs, your data. Nothing leaves your infrastructure.
Gets Faster Over Time
Agents learn from your corrections. Minutes on first tests, seconds on the rest.
Git-Native Export
Commit tests to your repo or export to Postman. Ready for CI integration.