#

tool-contracts

Here are 3 public repositories matching this topic...

abduljaleel / lean-programming-for-ai-agents

Companion Lean 4 listings for Lean Programming for AI Agents (Award Winning Creations, 2026).

dependent-types functional-programming theorem-proving lean formal-verification ai-agents lake lean4 tool-contracts machine-checked

Updated Nov 7, 2026
Lean

hamlet-lab / AiNIR

Semantic trust layer that checks AI-agent actions and MCP tool calls before execution.

python mcp ai-safety ai-agents ai-security policy-as-code conformance-testing tool-calling agent-governance trust-layer semantic-verification pre-execution-validation tool-contracts

Updated Sep 8, 2026
Python

ordivon-org / ordivon-computing

System-level research, protocols, reference implementations, conformance, and evaluation for the Ordivon agent-native computing stack.

open-source research architecture computing conformance semantic-kernel agent-native task-continuity tool-contracts ordivon

Updated Sep 5, 2026
MDX

Add this topic to your repo

To associate your repository with the tool-contracts topic, visit your repo's landing page and select "manage topics."