tool-contracts

Here are 4 public repositories matching this topic...

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

Governed registry for the code-mode MCP platform: add an API capability by submitting one declarative JSON tool contract - no server code. CI gates each contract, publishes it to the registry, and the engine turns it into a sandboxed MCP tool.

python registry json-schema mcp openapi api-governance salla code-mode tool-contracts

Updated Aug 25, 2026
Python

abduljaleel / lean-programming-for-ai-agents

Star

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 Oct 17, 2026
Lean

ordivon-org / ordivon-computing

Star

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."

Learn more

Navigation Menu