#formal-methods
GitHub Topic「formal-methods」がついているAI関連リポジトリの集計。Topicはリポジトリ作者が自己申告するメタタグで、AI関連の文脈で何が「formal-methods」と分類されているかを可視化します。
REPOS #formal-methods のRepo (TOP 3 / Stars降順)
Autonomy Composition Abstraction: a machine-readable charter format for defining authority, obligations, constraints, and escalation paths in multi-agent systems
Furox-Art/plan-auditorMake an AI agent's 'done' mean 'here is the command output that proves it.' Deterministic, LLM-free verification for AI coding agents: sealed plans, SHA-256 hash-chained evidence, STRIPS/PDDL reachability, and a fail-closed completion gate.
KimSeogyu/specification-guided-developmentSpecification-guided development for AI agents: TLA+ models, TLC automata, Pele visualization, and generated TypeScript 7 and Rust linters.
RELATED 他のTopicも見る · 全Topicランキング →
#claude-code
2,958#ai-agents
2,300#llm
1,750#claude
1,519#mcp
1,438#python
1,403#developer-tools
1,281#codex
1,065#ai
1,063集計対象: 各Repoの最新contentスナップショットの topics_json に小文字一致でマッチしたもの。 算出方法