TanKimGwan/linmas

Proof-carrying defensive security reviews for AI-assisted software, with deterministic policy, portable evidence, and human review required.

2Stars on the repository

12Mods indexed here, across every type

15d agoLast push, which is what freshness is scored on

customA LICENSE file GitHub cannot name, so bodies are not copied

MCP server Claude CodeCodexCursor +2

MCP server "linmas" as configured in TanKimGwan/linmas. Runs ./mcp/server.mjs with node.

not rated 2 15d ago A tokens not measured