tetrionlabs

mathema

tetrionlabs

Claim-Driven Development: turn software intent into verifiable evidence.

Python

Other 最后更新 2026年10月12日活跃

ai-assisted-development claim-driven-development code-review design-by-contract mcp-server property-based-testing software-verification spec-driven-development system-0-engine test-driven-development

在 GitHub 查看官方网站

80

Stars

0

Forks

2

Watchers

9

Issues

Star 增长

今日0

近 7 天0

近 30 天0

综合评分36

默认分支main

暂无 README 内容

项目可能尚未同步完成，请稍后查看