Popular GitHub Repositories for Specifications

? Drop-in replacement REST API for Vertex AI (PaLM 2, Codey, Gemini) that is compatible with the OpenAI API specifications

A powerful MCP server that enables Claude to discover and call any API endpoint through semantic search. Intelligently chunks OpenAPI specifications to handle large API documentation, with built-in request execution capabilities. Perfect for integrating private APIs with Claude Desktop.

Differential equation problem specifications and scientific machine learning for common financial models

Protocol Buffers and gRPC specifications for the Jelly protocol

Helping Vibe Coders create comprehensive, production-ready project specifications for AI-powered code generation tools

A machine learning project that predicts laptop prices based on key specifications using regression modeling.

Generates fully-typed Zod v4 schemas and type-safe TypeScript REST API clients and server from OpenAPI 2.0, 3.0.x, and 3.1.x specifications.

Generate OpenAPI 3 specifications for any Go web project via static analysis, with zero magic comments.

Cake Addin for code generation from OpenAPI specifications via NSwag

Machine Learning Prediction Software Based on Classification and Regression Based on Processor [CPU] Specifications

Spequoia is a spec-as-code toolkit that transforms readable specifications into documentation, wireframe previews, automated tests, and interactive demos

BookGen: A Python application using Google's Gemini 2.0 Flash to automatically generate complete books (PDF and TXT) from a given title and outline specifications.

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications

reqvire – Requirements As A Code. AI‑friendly, Git‑first framework for managing requirements, specifications, and traceability, uniting MBSE principles with agile workflows.

Human trust-aware motion planning under temporal logic specifications in autonomous driving simulation using CARLA.

**Note: Early development phase. stable production use is not yet possible.** `wassden` is an MCP-based toolkit that enforces spec-driven development for AI agents, inspired by kiro. Acting as a "warden," it guides agents to generate and follow structured specifications, serving as an assistant that ensures agents create

An interactive Human-in-the-Loop (HITL) review tool for Claude. Opens a local UI to 'redline' specifications and plans before code is written.

Generate synthetic observational datasets from quantum-geometry signatures for LIGO, EHT, and gravitational wave detectors with realistic noise models and instrument specifications

This project aims to synthesize realistic traffic scenarios from specifications in Temporal Logic. This work was done as part of my thesis @ TUM.

A collection of case studies and system specifications demonstrating advanced skills in system design, quality assurance, and technical problem-solving.