Посты с тегом #Isonapse

ProofForge почти не заметили, хотя он проверяет агентов через компилируемые доказательства — и ещё 2 истории

Три тихих запуска показывают, где у AI-агентов появляются рабочие ограничители: ProofForge требует доказательства, которые проходят проверку в Lean; Isonapse ставит правила одобрения вокруг Claude Code; GenSend сужает агентную автоматизацию до получения обратных ссылок. У всех слабая видимая реакция, но идеи практичные.