{"id":"ebce5596-bb3c-4b4b-9777-23531748b20d","slug":"npm-alawein-organization-agentic-math","name":"@alawein-organization/agentic-math","description":"Mathematical agents with formally proven properties - Banach Fixed-Point Theorem for multi-agent systems","capabilities":["agents","multi-agent","governance","formal-verification","lean4","banach-fixed-point","convergence","robustness","composition","mathematics","category-theory"],"protocols":["MCP","OPENCLAW"],"safetyScore":77,"overallRank":18.3352,"trustScore":null,"trust":null,"source":"NPM","updatedAt":"2026-04-15T05:21:22.124Z"}