mv2a

mv2a/warrant

Humans state intent. Agents write the code. Evidence decides what ships. An open protocol and reference CLI for agent-built software that humans direct without reading the code.

9 good first / help-wanted issues · Python · last activity Sep 24, 2026

0 stars 0 forks 0 watchers Python Apache License 2.0
agentic-coding ai-agents assurance coding-agents formal-verification in-toto llm protocol software-engineering spec-driven-development
9 Open Issues Need Help Last updated: Sep 24, 2026

Open Issues Need Help

View All on GitHub
enhancement help wanted roadmap
mv2a/warrant
0

Humans state intent. Agents write the code. Evidence decides what ships. An open protocol and reference CLI for agent-built software that humans direct without reading the code.

Python
#agentic-coding#ai-agents#assurance#coding-agents#formal-verification#in-toto#llm#protocol#software-engineering#spec-driven-development
enhancement help wanted roadmap
mv2a/warrant
0

Humans state intent. Agents write the code. Evidence decides what ships. An open protocol and reference CLI for agent-built software that humans direct without reading the code.

Python
#agentic-coding#ai-agents#assurance#coding-agents#formal-verification#in-toto#llm#protocol#software-engineering#spec-driven-development
enhancement help wanted roadmap
mv2a/warrant
0

Humans state intent. Agents write the code. Evidence decides what ships. An open protocol and reference CLI for agent-built software that humans direct without reading the code.

Python
#agentic-coding#ai-agents#assurance#coding-agents#formal-verification#in-toto#llm#protocol#software-engineering#spec-driven-development
enhancement help wanted roadmap
mv2a/warrant
0

Humans state intent. Agents write the code. Evidence decides what ships. An open protocol and reference CLI for agent-built software that humans direct without reading the code.

Python
#agentic-coding#ai-agents#assurance#coding-agents#formal-verification#in-toto#llm#protocol#software-engineering#spec-driven-development
enhancement help wanted roadmap
mv2a/warrant
0

Humans state intent. Agents write the code. Evidence decides what ships. An open protocol and reference CLI for agent-built software that humans direct without reading the code.

Python
#agentic-coding#ai-agents#assurance#coding-agents#formal-verification#in-toto#llm#protocol#software-engineering#spec-driven-development
enhancement help wanted roadmap
mv2a/warrant
0

Humans state intent. Agents write the code. Evidence decides what ships. An open protocol and reference CLI for agent-built software that humans direct without reading the code.

Python
#agentic-coding#ai-agents#assurance#coding-agents#formal-verification#in-toto#llm#protocol#software-engineering#spec-driven-development
enhancement help wanted roadmap
mv2a/warrant
0

Humans state intent. Agents write the code. Evidence decides what ships. An open protocol and reference CLI for agent-built software that humans direct without reading the code.

Python
#agentic-coding#ai-agents#assurance#coding-agents#formal-verification#in-toto#llm#protocol#software-engineering#spec-driven-development
Run checks in a sandbox about 1 month ago
enhancement help wanted roadmap
mv2a/warrant
0

Humans state intent. Agents write the code. Evidence decides what ships. An open protocol and reference CLI for agent-built software that humans direct without reading the code.

Python
#agentic-coding#ai-agents#assurance#coding-agents#formal-verification#in-toto#llm#protocol#software-engineering#spec-driven-development
enhancement help wanted roadmap
mv2a/warrant
0

Humans state intent. Agents write the code. Evidence decides what ships. An open protocol and reference CLI for agent-built software that humans direct without reading the code.

Python
#agentic-coding#ai-agents#assurance#coding-agents#formal-verification#in-toto#llm#protocol#software-engineering#spec-driven-development