Google PageRank for AI agents. 25,000+ tools indexed.

Claim listing

yacine-kellib/agent-control-plane

A credential is not authorisation. ACP moves the authorise/refuse decision for AI agent actions outside the model, where prompt injection cannot reach it. Specification, Dafny proofs, and a reference implementation — every claim replays locally.

Claim your listing to add a tagline, logo, and category. Verified maintainers get a Verified Publisher badge and priority placement on the AgentRank index.

Leave your email to claim this listing. GitHub verification coming soon.