Search Results for "contracts"

ZAPI is a developer-centric API framework that streamlines building, testing, and deploying APIs with strong type safety and minimal boilerplate, helping teams deliver backend services faster with fewer errors. It emphasizes a declarative router and schema model that uses types to define request and response formats, providing clear contracts for frontend and backend teams while automatically generating documentation. Zapi abstracts many repetitive tasks such as validation, authentication flows, and error handling so developers can focus on business logic instead of infrastructure plumbing. It integrates smoothly into modern development stacks, supports hot reloading for rapid iteration, and includes a command-line toolchain for scaffolding new endpoints or services with sensible defaults. ...

...Users can easily add the marketplace to a Claude Code environment, browse available plugins, and install specific skills for tasks like automatic Semgrep rule creation, entry-point analysis in smart contracts, or insecure defaults detection. This project leverages the agent skills architecture to let AI assistants take on detailed, repeatable security procedures that are typically manual, such as parsing Burp Suite projects or conducting variant analysis across codebases.

agents-aea by Fetch.ai is a framework for building autonomous economic agents (AEAs) that can act independently, communicate, and transact on decentralized networks. It focuses on enabling AI-driven agents to participate in digital marketplaces and ecosystems.

...It uses a combination of expert system and A* algorithm. Dinapter is the prototype resulting from a couple of research papers: * J.A. Martín, E. Pimentel. Automatic Generation of Adaptation Contracts, FOCLASA'08, ENTCS, 2008 - http://goo.gl/21iJZ * J.A. martín, E. Pimentel. Dinapter: Automatic Adapter Specification for Software Composition, PROLE'08, ENTCS, 2008 - http://goo.gl/VrQvG ...and later integrated and improved within the ITACA toolbox (http://itaca.gisum.uma.es/): * J. Camara, J.A. Martín, G. Salaun, J. Cubo, M. ...