{"name":"formal-ai","description":"Symbolic first, formal, logical, and data driven associative language processor. A template for AI driven development pipeline for Rust.","screenshots":["/contribute_ss.webp","/contribute_ss.webp"],"sites":["https://github.com/link-assistant/formal-ai"],"archived":false}