DEV Community

Kotaro Andy profile picture

Kotaro Andy

404 bio not found

Joined Joined on  Personal website https://github.com/kotaroyamame github website
What Should Humans Design When AI Can Write Most of the Code?
kotaroyamame profile

What Should Humans Design When AI Can Write Most of the Code?

#ai #softwaredevelopment #formalmethods #vdm
Comments
8 min read
I Built a Claude Code Plugin for Formal Specifications and Ran a 30-Trial Evaluation. Here's What I Found.
kotaroyamame profile

I Built a Claude Code Plugin for Formal Specifications and Ran a 30-Trial Evaluation. Here's What I Found.

#claude #ai #formalmethods #testing
Comments
5 min read
Formal Agent Contracts: Bring Mathematical Rigor to Multi-Agent Development with a Claude Code Plugin
kotaroyamame profile

Formal Agent Contracts: Bring Mathematical Rigor to Multi-Agent Development with a Claude Code Plugin

#claudecode #ai #formalmethods #agents
1
Comments
4 min read
GitHub Spec Kit Is 80% Right — Here's the Missing 20% That Would Make It Transformative
kotaroyamame profile

GitHub Spec Kit Is 80% Right — Here's the Missing 20% That Would Make It Transformative

#ai #github #softwaredevelopment #opensource
2
Comments
7 min read
Stop Writing Tests First — Write Formal Specs. Let AI Agent Teams Build Your System.
kotaroyamame profile

Stop Writing Tests First — Write Formal Specs. Let AI Agent Teams Build Your System.

#ai #softwareengineering #architecture #opensource
2
Comments
7 min read
The End of Test-Driven Development: Best Practices for AI Agent-Driven Development with Formal Methods
kotaroyamame profile

The End of Test-Driven Development: Best Practices for AI Agent-Driven Development with Formal Methods

#agents #ai #llm #softwaredevelopment
2
Comments
23 min read
loading...