TaskHawk Systems

All

2 repositories

kevros-formal-verification
Public
Formal verification of the Kevros AI Governance Enforcement Kernel. 1.94B states exhaustively checked (TLC), 20 machine-checkable theorems (Lean 4, 0 sorry), 71…
state-machine model-checking formal-verification
state-machine model-checking formal-verification autonomous-agents ai-safety safety-critical ai-agents runtime-verification tlaplus lean4
Lean
•
MIT License
•0•1•0•0•Updated Apr 8, 2026Apr 8, 2026
kevros-mcp
Public
Runtime intelligence server for autonomous AI agents. Governance verification, cryptographic provenance, and post-quantum attestation over MCP.
mcp provenance runtime-intelligence
mcp provenance runtime-intelligence autonomous-agents post-quantum ai-agents hash-chain ai-governance llm-tools l402
MIT License
•0•0•0•0•Updated Apr 4, 2026Apr 4, 2026

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.