Instructions file
Instructions for automators-com/flowproof, covering claude.md, what flowproof is, repository layout, commands and things that will fail ci if you get them wrong.
5 2d ago A 1,368 tokens
original Apache-2.0
MCP server Claude CodeCodexCursor
MCP server "datamaker-mcp" as configured in automators-com/datamaker-mcp. Runs locally from the @automators/datamaker-mcp npm package.
1 8d ago A
tokens not measured
original MIT