{"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":null,"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"}},"history":{"dates":["2026-11-12","2026-11-13"],"stars":[45,45],"downloads30d":[1200,1200],"downloads_month":[null,null]},"boards":{"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:43:02Z","history_start":"2026-11-12"}