agenticraft/agenticraft-foundation

Formally verified mathematical foundations for multi-agent AI coordination — CSP process algebra, multiparty session types, spectral topology, temporal logic model checking, and probabilistic verification.

25
/ 100
Experimental
No Package No Dependents
Maintenance 13 / 25
Adoption 0 / 25
Maturity 9 / 25
Community 3 / 25

How are scores calculated?

Stars

—

Forks

2

Language

Python

License

Apache-2.0

Category

agent-governance-frameworks

Last pushed

Mar 07, 2026

Commits (30d)

0

GitHub
Agent Governance Frameworks · 93 agents

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/agents/agenticraft/agenticraft-foundation"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Featured in

Agent Governance in 2026: Who's Building the Guardrails?

Higher-rated alternatives

whataboutyou-ai/eunomia

Eunomia is the open-source authorization layer for AI Agents

46

DariuszNewecki/CORE

Governance runtime enforcing immutable constitutional rules on AI coding agents

44

rafapra3008/cervellaswarm

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent...

39

rokabytedev/proofrun

Teach your coding agent to prove its own work — evidence, not claims

38

imran-siddique/agent-os

[DEPRECATED] Moved to microsoft/agent-governance-toolkit

38

Explore AI Agents

All categories Trending AI Agent directory Insights