Ai agentic evolving

Skill r-irbe/proof-skills/skills/ai-agentic-evolving

USE FOR: Agentic AI systems, multi-agent coordination, evolving agents, agent lifecycle management, emergent behavior, and trust dynamics in autonomous systems. Use for reasoning about agent architectures, communication protocols, coalition formation, reputation systems, and the mathematical foundations of agentic safety and multi-agent trust formalization. DO NOT USE FOR: formal verification of those AI systems (use @lean-ai-formalization); high-stakes / verifiable AI mode (use @ai-high-stakes-verifiable); causal/deontic reasoning (use @ai-causal-deontic). TRIGGERS: agentic AI, multi-agent, evolving agent, agent lifecycle, emergent behavior, trust dynamics, autonomous system.From its SKILL.md

Install

npx -y skills add r-irbe/proof-skills --skill ai-agentic-evolving

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

One thing to look at

2 stars2 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.

SKILL.md

4.3 KB, 776 tokens by cl100k_base, as published. Nobody here has run it

Agentic & Evolving AI Systems

Mathematical and architectural foundations for autonomous agents, multi-agent systems, evolving capabilities, and formally verified trust/safety dynamics.

Routing

USE FOR: Agentic AI systems, multi-agent coordination, evolving agents, agent lifecycle management, emergent behavior, and trust dynamics in autonomous systems. Use for reasoning about agent architectures, communication protocols, coalition formation, reputation systems, and the mathematical foundations of agentic safety and multi-agent trust formalization.
DO NOT USE FOR: formal verification of those AI systems (use @lean-ai-formalization); high-stakes / verifiable AI mode (use @ai-high-stakes-verifiable); causal/deontic reasoning (use @ai-causal-deontic).
TRIGGERS: agentic AI, multi-agent, evolving agent, agent lifecycle, emergent behavior, trust dynamics, autonomous system.

Workflow

Frame the system: how many agents, what each agent optimises for, what coordination signal exists, and which lifecycle phase (spawn / coordinate / evolve / retire) the question is about.
Pick the matching theoretical lens from the body — emergence, multi-agent game theory, mechanism design, evolutionary dynamics, or trust dynamics.
Run the reasoning at the methodological level; do not attempt formal proofs here. Belief floor 0.90 before publishing.
Hand off: to @lean-ai-formalization if a property needs Lean proof, to @ai-high-stakes-verifiable if the agents are safety-critical, to @lean-zettelkasten for the durable note.

Recovery & STOP

STOP if the question is about formal AI verification rather than agentic dynamics — hand to @lean-ai-formalization.
STOP if the system collapses to single-agent — switch to whichever non-agentic AI skill matches (e.g., @ai-symbolic-neuro for KR, @ai-commonsense-reasoning for reasoning).
STOP if emergence analysis would require empirical simulation rather than methodological reasoning — escalate to @research-council.

Handoffs

Predecessors: agent:gateway, skill:lean-research.
Successors: skill:lean-ai-formalization, skill:ai-high-stakes-verifiable, skill:lean-zettelkasten.

Detailed reference

Full content for ai-agentic-evolving lives in references/ai-agentic-evolving-handbook.md. Load that file when the skill is convened; the SKILL.md only carries the dispatch contract and the parts index.

Section	Topic
Part 1	Agent Architectures
Part 2	Multi-Agent Coordination
Part 3	Evolving Agents
Part 4	Safety in Agentic Systems
Part 5	Reputation & Trust Systems
Part 6	Connection to Project Lean Modules
Part 7	Research Frontiers

What ships with it

Read from the repository

Just SKILL.md. No reference files, no scripts.