Maina

https://github.com/mainahq/maina

Maina is a CLI and MCP server that proves AI-generated code is correct before it merges using a...

Tokens:90,559
Snippets:1,596
Trust Score:2.8
License:Apache-2.0
Update:2 months ago
Tokens:
Raw