{"full_name":"michael-denyer/agent-formal-verify","owner":"michael-denyer","name":"agent-formal-verify","url":"https://github.com/michael-denyer/agent-formal-verify","description":"Model-check protocols with TLA+, prove invariants with Lean 4, and check bounded Rust functions with Kani.","description_zh":"使用 TLA+ 对协议进行模型检查，使用 Lean 4 证明不变量，并使用 Kani 检查有界的 Rust 函数。","homepage":null,"topics":["models","tools","server"],"tag_pages":["models","server","tools"],"language":"plugin","license":"GPL-3.0-only","avatar":"https://github.com/michael-denyer.png","created_at":"2026-10-28T20:54:14.610Z","pushed_at":"2026-11-03T17:28:08.431Z","metrics":{"stars":45,"downloads30d":1200,"downloads_month":null},"source_repo":"michael-denyer/agent-formal-verify","npm_id":"agent-formal-verify","verification":{"status":"unverified","level":null,"run_url":null},"approval":"legacy","capabilities":{"findings":["network-call:package/CHANGES.md"],"red_flags":[]},"type":"plugin","contains":["plugin","skill"],"deprecated":false,"deprecated_message":null,"maintainers":["code-den"],"growth":{"day":{"stars":0,"downloads30d":0,"base_day":"2026-11-12"},"week":{"stars":7,"downloads30d":1200,"base_day":"2026-11-06"}},"history":{"dates":["2026-10-29","2026-10-30","2026-10-31","2026-11-01","2026-11-02","2026-11-03","2026-11-05","2026-11-06","2026-11-07","2026-11-08","2026-11-09","2026-11-10","2026-11-11","2026-11-12","2026-11-13"],"stars":[35,35,35,35,35,36,37,38,40,40,41,42,45,45,45],"downloads30d":[0,0,0,0,0,0,0,0,0,0,0,0,0,1200,1200],"downloads_month":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null]},"boards":{"weekly":25,"monthly":98,"new":77},"same_owner":[],"latest_release":{"name":"0.4.3","tag":"0.4.3","published_at":"2026-11-03T17:28:08.431Z","body":null,"url":"https://www.npmjs.com/package/agent-formal-verify/v/0.4.3"},"readme":false,"readme_zh":false,"news":[],"stale":false,"snapshot_at":"2026-11-12T16:49:14Z","history_start":"2026-09-13"}