AI-native methodology for Go backend microservices: rebuild the whole codebase from docs/ + .claude/skills, driven by a 12-lens high-performance architecture decision framework with mechanical doc↔code sync.

AI-native methodology for Go backend microservices: rebuild the whole codebase from docs/ + .claude/skills, driven by a 12-lens high-performance architecture decision framework with mechanical doc↔code sync.

Coq Implementation of the (vis, ar) Specification Framework for Replicated Data Types

Portable Spec Kit — A lightweight, zero-install specification-driven development framework for AI-assisted engineering.