Sdd Python Packages

pysdd

Python package for Sentential Decision Diagrams (SDD)

13K 74 21

fia-harness

Local, dependency-free spec-driven development harness for AI agents: spec-first, machine-validated state and CI enforcement of golden rules. No cloud, no telemetry. Español + English.

8K 1 0

attune-ai

Persistent memory and receipt-verified workflows for Claude Code — plugin, MCP server, and spec-driven dev framework in one pip install.

7K 10 3

codexspec

A Requirements-First Spec-Driven Development (SDD) toolkit for Codex and Claude Code with multi-language support

4K 5 0

dadaia-workspace

A local-first, spec-driven workspace that gives AI agents current context, a document-governed lifecycle, visible concurrency and anti-slop boundaries.

3K 1 0

empathy-framework

Persistent memory and receipt-verified workflows for Claude Code — plugin, MCP server, and spec-driven dev framework in one pip install.

2K 10 3

libspec

A python based class system for declaring specs

1K 5 1

pb-spec

plan-build spec driven development pattern for AI coding agent

1K 2 0

mcp-as-a-judge

MCP as a Judge is a behavioral MCP that strengthens AI coding assistants by requiring explicit LLM evaluations

730 17 9

specpulse

Specification-Driven Development (SDD) Framework

720 392 32

devspec

Enterprise-ready spec-driven development framework that helps software teams and technical leaders standardize AI-assisted delivery across architecture, planning, implementation, review, governance, and recovery.

667 4 0

dxrk

Dxrk — orquestador local-first de ecosistemas para agentes de IA: 14 agentes, DxrkMemory 2.0, SDD, MCP y multi-tenant

650 1 0

openspec-mcp

Spec-driven development (SDD) for AI coding assistants.

625 72K 5K

devplane

The desktop workbench for spec-driven agentic development. Write the spec, dispatch any agent that speaks the Agent Client Protocol, verify against your own gates, and keep the record of who decided what while you were not looking. One local-first binary: no account, no cloud relay, loopback only.

494 0 0

specleft

Turn your code in to specs. Spec driven framework with multi language support. Trace feature coverage as machine verifiable contracts for an AI agent — without BDD ceremony or framework lock-in.

427 3 1

mk-spec-master

AI 規格大師 — MCP server bridging specs (Linear / JIRA / GitHub Issues / Notion / Markdown / Figma) to tests, with bidirectional traceability and a spec-quality coach. Sibling to mk-qa-master.

266 2 0