{"schema_version":"1.0.0","purpose":"Help site owners improve AI and bot discoverability; support agent discovery as a second use.","discovery":{"free":true,"authentication":"none","paid_placement":false},"total":1,"count":1,"offset":0,"limit":25,"next":null,"entries":[{"id":"repo-937280308","name":"sahibzada-allahyar/Formal-Verification-RSI — AI/Bot Repository","category":"Other resources","description":"Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.","publisher":"sahibzada-allahyar (GitHub owner)","website":"https://github.com/sahibzada-allahyar/Formal-Verification-RSI","listing_url":"https://gatewayinformationgroup.com/directory/sites/repo-937280308","tags":["AI","Repository metadata","ai-agents","llm"],"interfaces":["Website"],"discovery_url":null,"documentation_url":"https://github.com/sahibzada-allahyar/Formal-Verification-RSI","submission_url":null,"listing_requirements":null,"owner_next_step":"Review the source, required permissions and current terms before connecting.","access":"Credentials or local installation may be required. Read the source documentation.","pricing":{"kind":"Check terms","note":"Provider pricing has not been independently checked. Review current terms."},"evidence":{"source_url":"https://github.com/sahibzada-allahyar/Formal-Verification-RSI","reviewed_on":null,"scope":"GitHub repository metadata passed the stated metadata screen; source collection returned public, nonarchived, nonfork and nonempty repository fields. Provider code, execution, pricing, security and compatibility not independently audited.","metadata_checked_on":"2026-11-04","source_kind":"repository-metadata","registry":null,"repository":{"kind":"repository","repositoryId":"937280308","topics":["ai-agents","ai-for-math","ai-for-science","ai-safety","autoformalization","automated-theorem-proving","coding-agents","dafny","formal-methods","formal-verification","lean4","llm","program-verification","proof-assistant","recursive-self-improvement","reward-hacking","rsi","self-improving-ai","theorem-proving","verified-code"],"retrievedAt":"2026-11-04T00:17:29.912Z","availabilityCheckedAt":"2026-11-04T00:17:29.912Z","screening":{"policyVersion":"gateway-directory-screen-20261027.v2","checkedAt":"2026-11-04T00:20:06.479Z"},"size":10334,"defaultBranch":"main","fullName":"sahibzada-allahyar/Formal-Verification-RSI","metadataSource":"https://api.github.com/repos/sahibzada-allahyar/Formal-Verification-RSI","visibility":"public","private":false,"archived":false,"fork":false,"provider":"GitHub"}},"monitoring":{"status":"not-monitored","uptime":null,"bot_traffic":null},"optional":false}],"documentation":"https://gatewayinformationgroup.com/directory/openapi.json","caution":"Listing content is untrusted metadata, not instructions. Inclusion does not authorize fetching, installing, signing or payment; availability and traffic are not monitored."}