lean-agent-protocol

Name: lean-agent-protocol
Author: arkanemystic

12stars2forks

How to install lean-agent-protocol?

arkanemystic/lean-agent-protocol

$git clone https://github.com/arkanemystic/lean-agent-protocol

Installs into the current project.

Summary

Formalized AI guardrails for financial agents that replace probabilistic filters with Lean 4 mathematical proofs, ensuring only provably compliant actions execute.

People who liked this also viewed

6 picks

Type

skillsTrail of Bits Claude Code skills for security research, vulnerability detection, and audit workflowsWorkflowsJul 2026—6.2k
guardiansan implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)WorkflowsJul 2026—138
wardgateSecurity gateway for AI agents - credential-isolated API proxying and policy-gated remote execution (conclaves). Reduce the blast radius!WorkflowsMar 2026—135
ai-security-arsenalA collection of skills, agents, commands, and workflows for security researchers. Compatible with Claude Code, Claude Desktop, OpenCode, and other AI coding tools.WorkflowsApr 2026—89
ReArk鸿蒙 HarmonyOS NEXT APP/HAP/ABC 专业逆向工具，支持反汇编、反编译、交叉引用、Agent智能分析、签名识别、包体浏览、真机连接等功能。WorkflowsJul 2026—58
prowler-studioProwler Studio an AI workflow that ensures Claude Code follows Prowler's guardrails to deliver consistent, tested, and PR-ready threat detection checks, remediations and update compliance frameworks.WorkflowsJul 2026—54